Alexey V. Khoroshilov
- Associate Professor:Faculty of Computer Science / Joint Department with the RAS Institute for System Programming
- Alexey V. Khoroshilov has been at HSE University since 2015.
Education and Degrees
- 2006
Candidate of Sciences* (PhD)
- 2001
Degree
Lomonosov Moscow State University
* Candidate of Sciences
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
Courses (2023/2024)
- Development of Operating Systems (Bachelor’s programme; Faculty of Computer Science; 4 year, 1-3 module)Rus
- Operating System Kernel Construction (Master’s programme; Faculty of Computer Science; 1 year, 3, 4 module)Rus
- Past Courses
Courses (2022/2023)
- Development of Operating Systems (Bachelor’s programme; Faculty of Computer Science; 4 year, 1-3 module)Rus
- Operating System Kernel Construction (Master’s programme; Faculty of Computer Science; 1 year, 3, 4 module)Rus
Courses (2021/2022)
- Development of Operating Systems (Bachelor’s programme; Faculty of Computer Science; 4 year, 1-3 module)Rus
- Operating System Kernel Construction (Master’s programme; Faculty of Computer Science; 1 year, 3, 4 module)Rus
Courses (2020/2021)
Operating System Kernel Construction (Master’s programme; Faculty of Computer Science; 1 year, 3, 4 module)Rus
Courses (2019/2020)
Operating System Kernel Construction (Master’s programme; Faculty of Computer Science; 1 year, 3, 4 module)Rus
Courses (2018/2019)
Operating System Kernel Construction (Master’s programme; Faculty of Computer Science; 1 year, 3, 4 module)Rus
Publications28
- Article Андрианов П. С., Мутилин В. С., Khoroshilov A. V. CPALockator: Thread-Modular Analysis with Projections // Lecture Notes in Computer Science. 2021. Vol. 12652. P. 423-427. doi
- 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 Kamkin A., Khoroshilov A. V., Коцыняк А. М., Путро П. А. Deductive Binary Code Verification Against Source-Code-Level Specifications // Lecture Notes in Computer Science. 2020. Vol. 12165. P. 43-58. doi
- 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 Barladian B. K., Shapiro L. Z., Mallachiev K. A., Khoroshilov A. V., Solodelov Y. A., Voloboy A. G., Galaktionov V. A., Koverninskii I. V. Visualization Component for the Aircraft Real-Time Operating System JetOS // Programming and Computer Software. 2020. Vol. 46. No. 3. P. 167-175. doi
- Article Хорошилов А. В. Верификация соответствия между разноуровневыми моделями функциональных требований // Труды Института системного программирования РАН. 2020. Т. 32. № 6. С. 19-30. doi
- Article Девянин П., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы // Труды Института системного программирования РАН. 2020. Т. 32. № 1. С. 7-26. doi
- Article Петренко А. К., Ефремов Д. В., Корныхин Е. В., Кулямин В. В., Хорошилов А. В., Щепетков И. В. Мониторинг и тестирование на основе многоуровневых спецификаций программ // Труды Института системного программирования РАН. 2020. Т. 32. № 6. С. 7-18. doi
- Article Барладян Б. Х., Шапиро Л. З., Маллачиев К. А., Хорошилов А. В., Солоделов Ю. А., Волобой А. Г., Галактионов В. А., Ковернинский И. В. Система визуализации для авиационной ОС реального времени JetOS // Труды Института системного программирования РАН. 2020. Т. 32. № 1. С. 57-70. doi
- Chapter Kuliamin V., Khoroshilov A. V., Medvedev D. L. Formal Modeling of Multi-Level Security and Integrity Control Implemented with SELinux, in: Actual Problems of Systems and Software Engineering APSSE 2019 (Invited Papers). Los Alamitos, Washington, Tokyo : IEEE Computer Society, 2019. P. 131-136. doi
- Article D.S. Kildishev, A.V. Khoroshilov. Formalizing Metamodel of Requirement Management System // Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 30. No. 5. P. 163-176. doi
- 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.
- Article Горелиц Н. К., Кильдишев Д. С., Хорошилов А. В. Управление требованиями к ответственным системам. Обзор решений. // Труды Института системного программирования РАН. 2019. Т. 31. № 1. С. 25-48. doi
- Chapter Khoroshilov A. V., Мандрыкин М. У. A Memory Model for Deductively Verifying Linux Kernel Module, in: 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 P. 256-275. doi
- Article Кулямин В. В., Петренко А. К., Хорошилов А. В. Компонентная верификация операционных систем // Труды Института системного программирования РАН. 2018. Т. 30. № 6. С. 367-382. doi
- Article Хорошилов А. В., Щепетков И. ADV_SPM — Формальные модели политики безопасности на практике // Труды Института системного программирования РАН. 2017. Т. 29. № 3. С. 43-56. doi
- Article Mallachiev K. A., Pakulin N. V., Khoroshilov A. V., Buzdalov D. V. Using modularization in embedded OS // Proceedings of the Institute for System Programming of the RAS. 2017. Vol. 29. No. 4. P. 283-294. doi
- Article Маллачиев К., Пакулин Н. В., Хорошилов А. В., Буздалов Д. Использование модульного подхода во встраиваемых операционных системах // Труды Института системного программирования РАН. 2017. Т. 29. № 4. С. 283-294. doi
- 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 Mallachiev K., Pakulin N. V., Khoroshilov A. V. Design and architecture of real-time operating system // Proceedings of the Institute for System Programming of the RAS. 2016. Vol. 28. No. 2. P. 181-192. doi
- Article Mandrykin M., Khoroshilov A. V. Region analysis for deductive verification of C programs // Programming and Computer Software. 2016. Vol. 42. No. 5. P. 257-278. doi
- Article Mandrykin M., Khoroshilov A. V. Towards deductive verification of C programs with shared data // Programming and Computer Software. 2016. Vol. 42. No. 5. P. 324-332. 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 Khoroshilov A. V., Мандрыкин М. У. High-Level Memory Model with Low-Level Pointer Cast Support for Jessie Intermediate Language // Programming and Computer Software. 2015. Vol. 41. No. 4. P. 197-207. 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