Хорошилов Алексей Владимирович
- Доцент:Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)
- Начал работать в НИУ ВШЭ в 2015 году.
- Научно-педагогический стаж: 20 лет.
Образование, учёные степени
- 2006Кандидат физико-математических наук
- 2001
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Прикладная математика и информатика», квалификация «математик, системный программист»
Учебные курсы (2024/2025 уч. год)
- Конструирование ядра операционных систем (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 3, 4 модуль)Рус
- Разработка операционных систем (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1-3 модуль)Рус
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Конструирование ядра операционных систем (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 3, 4 модуль)Рус
- Разработка операционных систем (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1-3 модуль)Рус
Учебные курсы (2022/2023 уч. год)
- Конструирование ядра операционных систем (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 3, 4 модуль)Рус
- Разработка операционных систем (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1-3 модуль)Рус
Учебные курсы (2021/2022 уч. год)
- Конструирование ядра операционных систем (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 3, 4 модуль)Рус
- Разработка операционных систем (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1-3 модуль)Рус
Учебные курсы (2020/2021 уч. год)
Конструирование ядра операционных систем (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 3, 4 модуль)Рус
Публикации28
- Статья Андрианов П. С., Мутилин В. С., Khoroshilov A. V. CPALockator: Thread-Modular Analysis with Projections // Lecture Notes in Computer Science. 2021. Vol. 12652. P. 423-427. doi
- Глава книги 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.
- Статья 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
- Статья 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. (в печати)
- Статья 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
- Статья Хорошилов А. В. Верификация соответствия между разноуровневыми моделями функциональных требований // Труды Института системного программирования РАН. 2020. Т. 32. № 6. С. 19-30. doi
- Статья Девянин П., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы // Труды Института системного программирования РАН. 2020. Т. 32. № 1. С. 7-26. doi
- Статья Петренко А. К., Ефремов Д. В., Корныхин Е. В., Кулямин В. В., Хорошилов А. В., Щепетков И. В. Мониторинг и тестирование на основе многоуровневых спецификаций программ // Труды Института системного программирования РАН. 2020. Т. 32. № 6. С. 7-18. doi
- Статья Барладян Б. Х., Шапиро Л. З., Маллачиев К. А., Хорошилов А. В., Солоделов Ю. А., Волобой А. Г., Галактионов В. А., Ковернинский И. В. Система визуализации для авиационной ОС реального времени JetOS // Труды Института системного программирования РАН. 2020. Т. 32. № 1. С. 57-70. doi
- Глава книги 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
- Статья 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
- Статья Буздалов Д. В., 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
- Книга Девянин П. Н., Ефремов Д. В., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В. Моделирование и верификация политик безопасности управления доступом в операционных системах. М. : Научно-техническое издательство «Горячая линия – Телеком», 2019.
- Статья Горелиц Н. К., Кильдишев Д. С., Хорошилов А. В. Управление требованиями к ответственным системам. Обзор решений. // Труды Института системного программирования РАН. 2019. Т. 31. № 1. С. 25-48. doi
- Глава книги 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
- Статья Кулямин В. В., Петренко А. К., Хорошилов А. В. Компонентная верификация операционных систем // Труды Института системного программирования РАН. 2018. Т. 30. № 6. С. 367-382. doi
- Статья Хорошилов А. В., Щепетков И. ADV_SPM — Формальные модели политики безопасности на практике // Труды Института системного программирования РАН. 2017. Т. 29. № 3. С. 43-56. doi
- Статья 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
- Статья Маллачиев К., Пакулин Н. В., Хорошилов А. В., Буздалов Д. Использование модульного подхода во встраиваемых операционных системах // Труды Института системного программирования РАН. 2017. Т. 29. № 4. С. 283-294. doi
- Глава книги Петренко А. К., Хорошилов А. В. Программный комплекс проектирования и анализа программно-аппаратных систем на основе архитектурных моделей // В кн.: 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.
- Статья 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
- Статья 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
- Статья 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
- Статья 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
- Статья 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
- Статья Петренко А. К., Кулямин В. В., Хорошилов А. В. Об интеграции формальных методов в задачах верификации операционных систем // Труды Института системного программирования РАН. 2015. Т. 27. № 5. С. 175-190. doi
- Глава книги 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
- Статья 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
Опыт работы
Институт системного программирования РАН: с 1999 года, на 2014 год - ведущий научный сотрудник.
МГУ: кафедра Системного программирования факультета Вычислительной математики и кибернетики, с 2009 года.
Информация*
- Общий стаж: 25 лет
- Научно-педагогический стаж: 20 лет
Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки
Международная конференция Иванниковские чтения
3-4 мая 2018 г. в Российско-Армянском университете прошла международная конференция Иванниковские чтения (Ivannikov Memorial Workshop), посвященная памяти Виктора Петровича Иванникова, выдающегося ученого, основателя школы системного программирования, одного из первых разработчиков операционных систем в России.