Alexander K. Petrenko

Publications¹⁹

• Chapter Khoroshilov A. V., Kuliamin V., Petrenko A. K., Shchepetkov I. A State-based Refinement Technique for Event-B, in: Proceedings of the 2020 Ivannikov Memorial Workshop. Los Alamitos : IEEE Communications Society, 2020. P. 55-60.
• Article Devyanina P. N., Khoroshilov A. V., Kuliamin V., Petrenko A. K., Shchepetkov I. Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System // Programming and Computer Software, Pleiades Publishing, Ltd.. 2020. Vol. 46. No. 7. P. 1-11. (in press)
• Article Девянин П., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы // Труды Института системного программирования РАН. 2020. Т. 32. № 1. С. 7-26. doi
• Article Петренко А. К., Ефремов Д. В., Корныхин Е. В., Кулямин В. В., Хорошилов А. В., Щепетков И. В. Мониторинг и тестирование на основе многоуровневых спецификаций программ // Труды Института системного программирования РАН. 2020. Т. 32. № 6. С. 7-18. doi
• Book Actual Problems of System and Software Engineering. Proceedings of the 6th International Conference Actual Problems of System and Software Engineering. Moscow, Russia, 12-14 November, 2019 / Ed. by A. R. Cavalli, A. K. Petrenko, B. Pozin. Vol. 2514. CEUR Workshop Proceedings, 2019.
• Article Буздалов Д. В., Petrenko A. K., Khoroshilov A. V. On Representation of Simulation Time in Functional Programming Style // Programming and Computer Software. 2019. Vol. 45. No. 8. P. 485-496. doi
• 
  Book Девянин П. Н., Ефремов Д. В., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В. Моделирование и верификация политик безопасности управления доступом в операционных системах. М. : Научно-техническое издательство «Горячая линия – Телеком», 2019.
• Book Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science / Ed. by A. K. Petrenko, A. Voronkov. Vol. 10742. Springer, 2018. doi
• Article Кулямин В. В., Петренко А. К., Хорошилов А. В. Компонентная верификация операционных систем // Труды Института системного программирования РАН. 2018. Т. 30. № 6. С. 367-382. doi
• Book Actual Problems of System and Software Engineering 2017. Proceedings of the 5th International Conference on Actual Problems of System and Software Engineering Supported by Russian Foundation for Basic Research. Project #17-07-20565 Moscow, Russia, November 14-16, 2017, 408 P. / Ed. by A. R. Cavalli, Alexander Petrenko, Boris Pozin. Vol. 1989. Aachen : CEUR Workshop Proceedings, 2017.
• Chapter Петренко А. К., Хорошилов А. В. Программный комплекс проектирования и анализа программно-аппаратных систем на основе архитектурных моделей // В кн.: Actual Problems of System and Software Engineering 2017. Proceedings of the 5th International Conference on Actual Problems of System and Software Engineering Supported by Russian Foundation for Basic Research. Project #17-07-20565 Moscow, Russia, November 14-16, 2017, 408 P. / Ed. by A. R. Cavalli, Alexander Petrenko, Boris Pozin. Vol. 1989. Aachen : CEUR Workshop Proceedings, 2017. С. 202-208.
• Article Devyanin P., Kuliamin V., Petrenko A. K., Khoroshilov A., Shchepetkov I. Comparison of specification decomposition methods in Event-B // Programming and Computer Software. 2016. Vol. 42. No. 4. P. 198-205. doi
• Book Preliminary Proceedings of the 10th Spring /Summer Young Researchers’ Colloquium on Software Engineering / Ed. by A. S. Kamkin, A. K. Petrenko, A. N. Terekhov. -, 2016.
• Article Kuliamin V., Lavrischeva E. M., Mutilin V. S., Petrenko A. K. Verification and analysis of variable operating systems // Proceedings of the Institute for System Programming of the RAS. 2016. Vol. 28. No. 3. P. 189-208. doi
• Article Кулямин В. В., Лаврищева Е., Мутилин В., Петренко А. К. Верификация и анализ вариабельных операционных систем // Труды Института системного программирования РАН. 2016. Т. 28. № 3. С. 189-208. doi
• Article Khoroshilov A. V., Мандрыкин М. У., Мутилин В. С., Новиков Е. М., Petrenko A. K., Захаров И. С. Configurable toolset for static verification of operating systems kernel modules // Programming and Computer Software. 2015. Vol. 41. No. 1. P. 49-64. doi
• Article Петренко А. К., Кулямин В. В., Хорошилов А. В. Об интеграции формальных методов в задачах верификации операционных систем // Труды Института системного программирования РАН. 2015. Т. 27. № 5. С. 175-190. doi
• Chapter Khoroshilov A. V., Petrenko A. K., Девянин П. Н., Kuliamin V., Щепетков И. В. Formal Verification of OS Security Model with Alloy and Event-B, in: Abstract State Machines, Alloy, B, TLA, VDM, and Z. Heidelberg : Springer, 2014. P. 309-313. doi
• Article Khoroshilov A. V., Petrenko A. K., Альбицкий Д., Ковернинский И. В., Ольшанский М. Ю., Угненко А. А. AADL-Based Toolset for IMA System Design and Integration // SAE International Journal of Aerospace. 2012. Vol. 5. No. 2. P. 294-299. doi