|
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 |
|
|