Proceedings of the Institute for System Programming of the RAS
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
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


2020, Volume 32, Issue 6  


Monitoring and testing based on multi-level program specifications
A. K. Petrenko, D. V. Efremov, E. V. Kornykhin, V. V. Kuliamin, A. V. Khoroshilov, I. V. Shchepetkov
7–18
Verification of compliance for multilevel models in individual trace semantics
A. V. Khoroshilov
19–30
Formal verification of a mandatory integrity control model for the KasperskyOS operating system
V. S. Burenkov
31–48
A formal model of a partitioned real-time operating system in Promela
S. M. Staroletov
49–66
Towards developing of Oberon system with specific requirements of ergodicity
D. V. Dagaev
67–78
Designing highly loaded systems
V. A. Rudometkin
79–86
Symbolic execution based intra-procedural analysis for search for defects
A. E. Borodin, I. A. Dudina
87–100
Practical abstract interpretation of binary code
M. A. Solovev, M. G. Bakulin, S. S. Makarov, D. V. Manushin, V. A. Padaryan
101–110
Method of masking transmitted information
P. V. Zakalkin, S. A. Ivanov, E. V. Vershennik, A. V. Kir’yanov
111–126
Hierarchical rubrication of text documents
D. I. Sorokin, A. S. Nuzhny, E. A. Saveleva
127–136
A survey of network traffic classification methods using machine learning
A. I. Getman, M. K. Ikonnikova
137–154
Automated analysis of DP-systems using timed-arc Petri nets via TAPAAL tool
A. A. Izmaylov, L. W. Dworzanski
155–166
Modeling technical and mathematical tasks of applied knowledge areas on computers
E. M. Lavrischeva, I. B. Petrov
167–182
Architecture of open source program for numerical modeling of flows on mountain slopes
D. I. Romanova
183–200
Numerical simulation of internal waves and effects of accumulation of kinetic energy in large aspect ratio domains
S. A. Elistratov, K. A. Vatutin, I. N. Sibgatullin, E. V. Ermanyuk, E. A. Mikhajlov
200–212
Proceedings of the Institute for System Programming of the RAS
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025