Proceedings of ISP RAS

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

Download full volume

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.

Kovalev S.G. Reading the contents of deleted and modified files in virtualization based black-box binary analysis system Drakvuf pp. 109-122.

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.

Back to the list of all volumes