Volume 38, issue 5

Geryugova A.E., Lutsenko V.V., Sinitsyn A.A. Algorithm for Reverse Conversion from Hybrid Positional-Residue Number System pp. 7-20

Aleinik V.V., Fomin D.S, Cheptsov V.Y. Architecture for deterministic UDP/IP network stack in ARINC 653 real-time operating system pp. 21-36

Semenov G.V. An Epistemic Approach to Conflict-Free Replicated Data Types pp. 37-50

Kemaev I.O., Devyanin P.N. Method for detecting security violations (using the example of ransomware) in the Astra Linux OS using machine learning pp. 51-72

Alexandrov D.V., Vasilevskiy V.I., Rezunik L.A., Kuligin L.A., Manushkina A.V., Dumkin N.A., Prozorskiy M.A., Pinigin K.Y. JavaCapsule: Iterative Java Code Generation and Debugging Based on Structured Feedback pp. 73-90

Yanin A.S., Itsykson V.M., Kechin V.V., Kovalevsky V.M. DIFFuzzer: one more step toward specification-based file system quality checking pp. 91-102

Zhou J., Shershakov S.A. OCSD: Exploration of SOA-Based Systems Using Object-Centric Sequence Diagrams pp. 103-118

Timonin A.S., Shershakov S.A. On the Applicability of SOFA/SODA Antipattern Detection Approach to Multi-Module Solutions via a Pluggable Pre-Build Linter pp. 119-132

Yakushev A.Yu., Akimenkov A.A., Obydenkov D.O., Abud K.N., Tokarev S.E., Markin Yu.V. Image integrity control based on digital watermarking, perceptual hashing and digital signature pp. 133-154

Starodubcev N.O. Invertible few-step diffusion models for text-guided image editing pp. 155-174

Starodubcev N.O. Few-step diffusion models with progressive resolution scaling for image and video generation pp. 175-194

Velikonivtsev F.S. On Efficient Scaling of GNNs via IO-Aware Layers Implementations pp. 195-216

Velikonivtsev F.S. Challenges of Generating Structurally Diverse Graphs pp. 217-234

Bazhenov G.V. Evaluating Robustness and Uncertainty of Graph Models under Structural Distributional Shifts pp. 235-256

Bazhenov G.V. Evaluating Graph Machine Learning Models on Diverse Industrial Data pp. 257-286

Rubachev I.V. Tabular Deep Learning: From Reliable Evaluation to State-of-the-Art Results on Academic Benchmarks pp. 287-304

Rubachev I.V. Evaluating Tabular Deep Learning under Temporal Shift and Extensive Feature Engineering pp. 305-324

Akkuzina V.M., Vikentyeva O.L. A Method for Automatic Verification and Correction of Document Formatting in Educational Contexts pp. 325-336

Petrov O.M. Block-Abstraction Memoization for Symbolic Memory Graphs pp. 337-350