Volume 38, issue 4, part 2

Tvardovskii A.S., Burdonov I.B., Yevtushenko N.V. State identification of Finite State Machines with timeouts and timed guards pp. 7-22

Gromov R.S., Nesterov R.A. On the Efficiency of Bounded Multi-Source Shortest Path Algorithm pp. 23-44

Shevtsov A.A., Churkin Y.A., Buchatskiy R.A., Kamkin A.S., Melnik D.M. Automatic Synthesizability Checking of Hardware Descriptions pp. 45-66

Kuliamin V.V., Petrenko A.K. On the assessment and metrics of the security of operating systems pp. 67-80

Efremov D.V. Comparative Quantitative Evaluation of Kernel Hardening Mechanisms in Operating Systems pp. 81-108

Antipov Z.A. Methodology for Comparing and Analyzing the Security of Interrupt-Handling Subsystems in Operating-System Kernels and Their Resilience to Interrupt Storms pp. 109-122

Marinin N.D., Getman A.I. Evaluating the effectiveness of DNS tunnel detection using a neural network in an intrusion detection system pp. 123-142

Bratenkov A. M., Stepina N. O., Nikiforov I. V., Yusupova O. A. Quantizing Ising model matrices for combinatorial optimization on RISC-V with Lichee Pi 4A pp. 143-160

Kurmangaleev S.F., Yurev A.S., Datsuk N.A. Methods for Constructing Request Structures to Mobile Application Server Endpoints for Attack Surface Identification pp. 161-176

Chernobrovenko A.E., Lylov D.A., Panchenko M.V. Comparative performance analysis of object-relational mapping libraries for Python pp. 177-192

Turdakov D.Yu., Mayorov V.D., Ryndin M.A. TDM: A Formal Data Model for Integrating Structured and Unstructured Data pp. 193-214

Joulitov A.K., Lomazova I.A. Synthesis of Acyclic Models for Processes Without Repeating Events pp. 215-224

Akimenkov A.A., Obydenkov D.O., Yakushev A.Yu., Abud K.N., Markin Yu.V. AWA: Activation-Based Weight Alignment for Robust Static Watermarking of Neural Networks pp. 225-244

Avdoshin S.M., Patrushev K.A. Discrete Markowitz Portfolio Optimization with Open-Source Classical and Quantum-Inspired Solvers: A Cross-Market Walk-Forward Study pp. 245-256

Chikake T.M., Mihailov A.A. A Hybrid Approach to Zero-Shot Cross-Corpus Essay Scoring via Rubric-Prompted LLM Agents and Deterministic Linguistic Features pp. 257-266

Kovylin S.V. Reflexes of Samoyed *j-: k-, tʲ-/ čʲ- and *-ŋk-: -ŋq-, -qq- in Selkup dialects pp. 267-278

Polygalov B.A., Lanin V.V. Development of a CASE Platform with Generative Artificial Intelligence and an MCP Agent Layer pp. 279-292