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

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. 103-118