Alexander K. Petrenko
- Professor:Faculty of Computer Science / Joint Department with the RAS Institute for System Programming
- Programme Academic Supervisor:System Programming
- Alexander K. Petrenko has been at HSE University since 2009.
Education, Degrees and Academic Titles
- 2011Professor
- 2004
Doctor of Sciences*
- 1974
Degree in Applied Mathematics
Moscow Institute of Electronic Engineering
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.
Courses (2023/2024)
- Mentor's Seminar (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Mentor's Seminar (Master’s programme; Faculty of Computer Science; 2 year, 1-3 module)Rus
- Research Seminar "System Programming 1" (Bachelor’s programme; Faculty of Computer Science; 3 year, 1-3 module)Rus
- Research Seminar "System Programming 2" (Bachelor’s programme; Faculty of Computer Science; 4 year, 1-3 module)Rus
- Past Courses
Courses (2022/2023)
- Mentor's Seminar (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Program Verification (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Rus
- Research Seminar "Software Engineering: Programming Technologies" (Master’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Research Seminar "System Programming 1" (Bachelor’s programme; Faculty of Computer Science; 3 year, 1-3 module)Rus
- Research Seminar "System Programming 2" (Bachelor’s programme; Faculty of Computer Science; 4 year, 1-3 module)Rus
Courses (2021/2022)
- Research Seminar "Software Engineering: Programming Technologies" (Master’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Research Seminar "Software Engineering: Programming Technologies" (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Research Seminar "System Programming" (Bachelor’s programme; Faculty of Computer Science; 4 year, 1-3 module)Rus
- Research Seminar "System Programming" (Bachelor’s programme; Faculty of Computer Science; 3 year, 1-3 module)Rus
Courses (2020/2021)
- Program Verification (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Rus
- Research Seminar "Software Engineering: Programming Technologies" (Master’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Research Seminar "Software Engineering: Programming Technologies" (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Research Seminar "System Programming" (Bachelor’s programme; Faculty of Computer Science; 3 year, 1-3 module)Rus
Courses (2019/2020)
- Research Seminar "Software Engineering: Programming Technologies" (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Research Seminar "Software Engineering: Programming Technologies" (Master’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
Courses (2018/2019)
Publications19
- 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
Conferences
- 2016
Международная научная студенческая конференция МНСК-2016 (Новосибирск). Presentation: Добротность программных систем
Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (Москва). Presentation: Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016)
Конференция "Разработка ПО" CEE-SECR 2016 (Москва). Presentation: Конференция "Разработка ПО" CEE-SECR 2016
TAROT Summer School 2016 on Software Testing, Verification & Validation (Париж). Presentation: Operating systems verification and seciruty issues
- 2015
Model Based Testing Workshop - MBT-2015 (Лондон). Presentation: Proceedings of Model Based Testing Workshop - MBT-2015
Конференция "Разработка ПО" CEE-SECR 2015 (Москва). Presentation: Сайт конференции
Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2015) (Самара). Presentation: Программа и труды конференции
Ershov Informatics Conference PSI-2015 (Казань). Presentation: Using Refinement in Formal Development of OS Security Model
- 2014
Model Based Testing Workshop - MBT-2014 (Гренобль, Франция). Presentation: Программа и труды семинара
Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2014 (Санкт-Петербург). Presentation: Программа и труды конференции
- 2013
Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2013 (Казань). Presentation: Программа и труды конференции