Alexey Khoroshilov

Alexey Khoroshilov

Institute for System Programming Russian Academy of Sciences - Moscow / Russia
Engineering & Technology / Computer Science
AD Scientific Index ID: 4409626
Институт системного программирования Российской академии наук
person_outline Alexey Khoroshilov's MOST POPULAR ARTICLES
1-) Establishing Linux Driver Verification ProcessA Khoroshilov, V Mutilin, A Petrenko, V ZakharovPerspectives of Systems Informatics, 165-176, 2010602010
2-) Configurable toolset for static verification of operating systems kernel modulesIS Zakharov, MU Mandrykin, VS Mutilin, EM Novikov, AK Petrenko, ...Programming and Computer Software 41, 49-64, 2015582015
3-) Инструментальные средства проектирования систем интегрированной модульной авионикиДВ Буздалов, СВ Зеленов, ЕВ Корныхин, АК Петренко, АВ Страх, ...Труды Института системного программирования РАН 26 (1), 201-230, 2014402014
4-) Моделирование и верификация политик безопасности управления доступом в операционных системахПН Девянин, ДВ Ефремов, ВВ Кулямин, АК Петренко, АВ Хорошилов, ...М., Горячая линия–Телеком, 2019422019
5-) Подход UniTesK к разработке тестов: достижения и перспективыИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ...Труды Института системного программирования РАН 5, 121-156, 2004352004