RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Proceedings of ISP RAS:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


2018, Volume 30, Issue 3  


Dynamic detection of use after free bugs
S. A. Asryan, S. S. Gaysaryan, Sh. F. Kurmangaleev, A. M. Aghabalyan, N. H. Hovsepyan, S. S. Sargsyan
7
Buffer overflow detection via static analysis: expectations vs. reality
I. A. Dudina
21
Extracting architectural information from source code of ARINC 653-compatible application software using CEGAR-based approach
S. L. Lesovoy
31
Applying synchronization contracts approach for dynamic detection of data races in industrial applications
V. Yu. Trifanov
47
Applying deep learning to C# call sequence synthesis
A. E. Chebykin, I. A. Kirilenko
63
Stealth debugging of programs in Qemu emulator with WinDbg debugger
M. A. Abakumov, P. M. Dovgalyuk
87
Configurable system call tracer in QEMU emulator
A. V. Ivanov, P. M. Dovgaluk, V. A. Makarov
93
Analysis of methods for assessing the reliability of equipment and systems. Practice of methods
N. V. Pakulin, E. M. Lavrischeva, A. G. Ryzhov, S. V. Zelenov
99
In-kernel memory-mapped I/O device emulation
V. Yu. Cheptsov, A. V. Khoroshilov
121
Building modular real-time software from unified component model
K. A. Mallachiev, A. V. Khoroshilov
135
Methods of protecting decentralized autonomous organizations from crashes and attacks
A. A. Andryukhin
149
Cryptographic stack machine notation one
S. E. Prokopev
165
Construction of validation modules based on reference functional models in a standalone verification of communication subsystem
D. A. Lebedev, I. A. Stotland
183
Verification of system on chip integrated communication controllers
M. V. Petrochenkov, R. E. Mushtakov, D. I. Shpagilev
195
Dynamically changing user interfaces: software solutions based on automatically collected user information
V. V. Zosimov, O. V. Khrystodorov, O. S. Bulgakova
207
Variants of chinese postman problems and a way of solving through transformation into vehicle routing problems
M. K. Gordenko, S. M. Avdoshin
221
Analysis of mathematical formulations of capacitated vehicle routing problem and methods for their solution
E. Beresneva, S. Avdoshin
233
Applying the methods of system analysis to teaching assistants’ evaluation
E. Beresneva, M. Gordenko
251
Static dependency analysis for semantic data validation
D. V. Ilyin, N. Yu. Fokina, V. A. Semenov
271
Simulating behavior of multi-agent systems with acyclic interactions of agents
R. A. Nesterov, A. A. Mitsyuk, I. A. Lomazova
285
On the model checking of finite state transducers over semigroups
A. R. Gnatenko, V. A. Zakharov
303
On the verification of strictly deterministic behavior of timed finite state machines
E. M. Vinarskii, V. A. Zakharov
325
Toward construction of a modular model of distributed intelligence
Yu. L. Slovokhotov, I. S. Neretin
341
Proceedings of the Institute for System Programming of the RAS
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2018