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 | 56 | 2015 |
Establishing Linux Driver Verification Process A Khoroshilov, V Mutilin, A Petrenko, V Zakharov Perspectives of Systems Informatics, 165-176, 2010 | 55 | 2010 |
Инструментальные средства проектирования систем интегрированной модульной авионики ДВ Буздалов, СВ Зеленов, ЕВ Корныхин, АК Петренко, АВ Страх, ... Труды Института системного программирования РАН 26 (1), 201-230, 2014 | 47 | 2014 |
Моделирование и верификация политик безопасности управления доступом в операционных системах ПН Девянин, ДВ Ефремов, ВВ Кулямин, АК Петренко, АВ Хорошилов, ... М., Горячая линия–Телеком, 2019 | 41 | 2019 |
Подход UniTesK к разработке тестов: достижения и перспективы ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ... Труды Института системного программирования РАН 5, 121-156, 2004 | 35 | 2004 |
Формализация требований на практике ВВ Кулямин, НВ Пакулин, ОЛ Петренко, АА Сортов, АВ Хорошилов М.: ИСП РАН, 50, 2006 | 32 | 2006 |
Design and architecture of real-time operating system KM Mallachiev, NV Pakulin, AV Khoroshilov Труды Института системного программирования РАН 28 (2), 181-192, 2016 | 28 | 2016 |
Towards an open framework for C verification tools benchmarking A Khoroshilov, V Mutilin, E Novikov, P Shved, A Strakh Perspectives of Systems Informatics: 8th International Andrei Ershov …, 2012 | 28 | 2012 |
Deductive verification of unmodified Linux kernel library functions D Efremov, M Mandrykin, A Khoroshilov Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 27 | 2018 |
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 |
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 |
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 | 24 | 2012 |
Анализ типовых ошибок в драйверах операционной системы Linux ВС Мутилин, ЕМ Новиков, АВ Хорошилов Труды Института системного программирования РАН 22, 2012 | 24 | 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 | 24 | 2007 |
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 |
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 |
Tools for system design of integrated modular avionics DV Buzdalov, SV Zelenov, EV Kornykhin, AK Petrenko, AV Strakh, ... Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2014 | 16 | 2014 |
Использование формальных методов для обеспечения соблюдения программных стандартов АИ Гриневич, ВВ Кулямин, ДА Марковцев, АК Петренко, ВВ Рубанов, ... Труды Института системного программирования РАН 10, 51-68, 2006 | 16 | 2006 |