| Establishing Linux Driver Verification Process A Khoroshilov, V Mutilin, A Petrenko, V Zakharov Perspectives of Systems Informatics, 165-176, 2010 | 61 | 2010 |
| Configurable toolset for static verification of operating systems kernel modules IS Zakharov, MU Mandrykin, VS Mutilin, EM Novikov, AK Petrenko, ... Programming and Computer Software 41, 49-64, 2015 | 60 | 2015 |
| Инструментальные средства проектирования систем интегрированной модульной авионики ДВ Буздалов, СВ Зеленов, ЕВ Корныхин, АК Петренко, АВ Страх, ... Труды Института системного программирования РАН 26 (1), 201-230, 2014 | 48 | 2014 |
| Моделирование и верификация политик безопасности управления доступом в операционных системах ПН Девянин, ДВ Ефремов, ВВ Кулямин, АК Петренко, АВ Хорошилов, ... М., Горячая линия–Телеком, 2019 | 43 | 2019 |
| Подход UniTesK к разработке тестов: достижения и перспективы ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ... Труды Института системного программирования РАН 5, 121-156, 2004 | 35 | 2004 |
| Формализация требований на практике ВВ Кулямин, НВ Пакулин, ОЛ Петренко, АА Сортов, АВ Хорошилов М.: ИСП РАН, 50, 2006 | 33 | 2006 |
| Design and architecture of real-time operating system KM Mallachiev, NV Pakulin, AV Khoroshilov Труды Института системного программирования РАН 28 (2), 181-192, 2016 | 30 | 2016 |
| Deductive verification of unmodified Linux kernel library functions D Efremov, M Mandrykin, A Khoroshilov Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 29 | 2018 |
| Towards an open framework for C verification tools benchmarking A Khoroshilov, V Mutilin, E Novikov, P Shved, A Strakh International Andrei Ershov Memorial Conference on Perspectives of System …, 2011 | 28 | 2011 |
| Formal verification of OS security model with Alloy and Event-B PN Devyanin, AV Khoroshilov, VV Kuliamin, AK Petrenko, IV Shchepetkov Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International …, 2014 | 27 | 2014 |
| Analysis of typical faults in Linux operating system drivers VS Mutilin, EM Novikov, AV Khoroshilov Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2012 | 27 | 2012 |
| Formal methods in industrial software standards enforcement A Grinevich, A Khoroshilov, V Kuliamin, D Markovtsev, A Petrenko, ... Perspectives of Systems Informatics: 6th International Andrei Ershov …, 2007 | 25 | 2007 |
| AADL-based toolset for IMA system design and integration A Khoroshilov, D Albitskiy, I Koverninskiy, M Olshanskiy, A Petrenko, ... SAE International Journal of Aerospace 5 (2012-01-2146), 294-299, 2012 | 24 | 2012 |
| Анализ типовых ошибок в драйверах операционной системы Linux ВС Мутилин, ЕМ Новиков, АВ Хорошилов Труды Института системного программирования РАН 22, 2012 | 24 | 2012 |
| Separation of boron isotopes by chemical exchange in liquid-liquid systems AV Khoroshilov, PI Ivanov Journal of Physics: Conference Series 1099 (1), 012006, 2018 | 21 | 2018 |
| Using Linux device drivers for static verification tools benchmarking MU Mandrykin, VS Mutilin, EM Novikov, AV Khoroshilov, PE Shved Programming and Computer Software 38, 245-256, 2012 | 20 | 2012 |
| Архитектура Linux Driver Verification ВС Мутилин, ЕМ Новиков, АВ Страх, АВ Хорошилов, ПЕ Швед Труды Института системного программирования РАН 20, 163-187, 2011 | 18 | 2011 |
| Функциональное тестирование Web-приложений на основе технологии UniTesK АА Сортов, АВ Хорошилов Труды Института системного программирования РАН 8 (1), 77-98, 2004 | 18 | 2004 |
| Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем ПН Девянин, ВЮ Тележников, АВ Хорошилов Труды Института системного программирования РАН 33 (5), 25-40, 2021 | 17 | 2021 |
| Linux driver verification architecture VS Mutilin, EM Novikov, AV Strakh, AV Khoroshilov, PE Shved Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2011 | 17 | 2011 |
Alexander K. PetrenkoHead of Software Engineering Department ISPRAS, professor of MSU and NRU HSEVerified email at ispras.ru
