E. M. Lavrischeva, A. K. Petrenko, “Modeling of operational, software and technical systems in rfbr projects”, Proceedings of ISP RAS, 33:6 (2021), 265–280
2.
D. V. Efremov, V. V. Kopach, V. V. Kulyamin, E. V. Kornykhin, A. K. Petrenko, A. V. Khoroshilov, I. V. Shchepetkov, “Runtime verification of operating systems based on abstract models”, Proceedings of ISP RAS, 33:6 (2021), 15–26
A. K. Petrenko, D. V. Efremov, E. V. Kornykhin, V. V. Kuliamin, A. V. Khoroshilov, I. V. Shchepetkov, “Monitoring and testing based on multi-level program specifications”, Proceedings of ISP RAS, 32:6 (2020), 7–18
P. N. Devyanin, V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov, I. V. Shchepetkov, “Integrating RBAC, MIC, and MLS in verified hierarchical security model for operating system”, Proceedings of ISP RAS, 32:1 (2020), 7–26
V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov, “Component-based verification of operating systems”, Proceedings of ISP RAS, 30:6 (2018), 367–382
6.
D. V. Buzdalov, A. K. Petrenko, A. V. Khoroshilov, “On representation of simulation time in functional programming style”, Proceedings of ISP RAS, 30:6 (2018), 341–366
7.
E. M. Lavrischeva, A. K. Petrenko, “Informatics: Formation of computer software and technologies of software systems”, Proceedings of ISP RAS, 30:5 (2018), 7–30
2016
8.
K. M. Lavrischeva, A. K. Petrenko, “Software product lines modeling”, Proceedings of ISP RAS, 28:6 (2016), 49–64
V. V. Kulyamin, E. M. Lavrischeva, V. S. Mutilin, A. K. Petrenko, “Verification and analysis of variable operating systems”, Proceedings of ISP RAS, 28:3 (2016), 189–208
A. K. Petrenko, V. V. Kulyamin, A. V. Khoroshilov, “Integration points of operating system verification techniques”, Proceedings of ISP RAS, 27:5 (2015), 175–190
11.
A. S. Kamkin, A. K. Petrenko, A. N. Terekhov, “Foreword”, Proceedings of ISP RAS, 27:3 (2015), 7–8
Contact us: