Proceedings of the Institute for System Programming. Volume 30, issue 5, 2018, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Edited by Corresponding Member of RAS A.I. Avetisyan
Table of Contents
Lavrischeva E.M., Petrenko A.K. Iformatics: Formation of computer software and technologies of software systems pp. 7-30.
Vishnyakov A.V., Nurmukhametov A.R., Kurmagaleev Sh.F., Gaisaryan S.S. Method for analysis of code-reuse attacks pp. 31-54.
Dudina A., Malyshev N.E. An approach to the C string analysis for buffer overflow detection pp. 55-74.
Kononov D.S. An approach to analyzing executable code based on recovery of software architecture pp. 75-88.
Aslanyan H.K. Platform for interprocedural static analysis of binary code pp. 89-100.
Stepanov V.M., Dovgalyuk P.M., Poletaev D.N. Tracing ext3 file system operations in the emulator QEMU pp. 101-108.
Samonov A.V., Samonova G.N. Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems pp. 123-146.
Kozachok A.V. TLA+ based access control model specification pp. 147-162.
Kildishev D.S., Khoroshilov A.V. Formalizing Metamodel of Requirements Management System pp. 163-176.
Alimova I.S., Tutubalina E.V. Entity-level classification of adverse drug reactions: a comparison of neural network models pp. 177-196.
Levin M.P. Rock Flow Simulation by High-Order Quasi-Characteristics Scheme pp. 197-212.
Sorokovikova O.S., Dzama D.V., Asfandiyarov D.G. Specialized robust CFD RANS microscale meteorological model for modelling atmospheric processes and contamination transport in urban and industrial areas. pp. 213-234.
Ovchinnikov K.D. Numerical simulation of motions of ship with moonpool in head waves pp. 235-248.
Zenkin V.A. Ontological CFD-repository pp. 249-264.
Shishkin E.S. Verifying functional properties of smart contracts using symbolic model-checking pp. 265-288.