Follow
Alexey Khoroshilov
Alexey Khoroshilov
Senior Researcher of ISPRAS
Verified email at ispras.ru
Title
Cited by
Cited by
Year
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
552015
Establishing Linux Driver Verification Process
A Khoroshilov, V Mutilin, A Petrenko, V Zakharov
Perspectives of Systems Informatics, 165-176, 2010
542010
Инструментальные средства проектирования систем интегрированной модульной авионики
ДВ Буздалов, СВ Зеленов, ЕВ Корныхин, АК Петренко, АВ Страх, ...
Труды Института системного программирования РАН 26 (1), 201-230, 2014
462014
Моделирование и верификация политик безопасности управления доступом в операционных системах
ПН Девянин, ДВ Ефремов, ВВ Кулямин, АК Петренко, АВ Хорошилов, ...
М., Горячая линия–Телеком, 2019
392019
Подход UniTesK к разработке тестов: достижения и перспективы
ИБ Бурдонов, АВ Демаков, СВ Зеленов, АС Косачев, ВВ Кулямин, ...
Труды Института системного программирования РАН 5, 121-156, 2004
352004
Формализация требований на практике
ВВ Кулямин, НВ Пакулин, ОЛ Петренко, АА Сортов, АВ Хорошилов
М.: ИСП РАН, 50, 2006
322006
Design and architecture of real-time operating system
KM Mallachiev, NV Pakulin, AV Khoroshilov
Труды Института системного программирования РАН 28 (2), 181-192, 2016
282016
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
282012
Deductive verification of unmodified Linux kernel library functions
D Efremov, M Mandrykin, A Khoroshilov
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
262018
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
262014
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
252012
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
242012
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
242007
Анализ типовых ошибок в драйверах операционной системы Linux
ВС Мутилин, ЕМ Новиков, АВ Хорошилов
Труды Института системного программирования РАН 22, 2012
232012
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
202012
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
182011
Архитектура Linux Driver Verification
ВС Мутилин, ЕМ Новиков, АВ Страх, АВ Хорошилов, ПЕ Швед
Труды Института системного программирования РАН 20, 163-187, 2011
182011
Функциональное тестирование Web-приложений на основе технологии UniTesK
АА Сортов, АВ Хорошилов
Труды Института системного программирования РАН 8 (1), 77-98, 2004
182004
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
162014
Использование формальных методов для обеспечения соблюдения программных стандартов
АИ Гриневич, ВВ Кулямин, ДА Марковцев, АК Петренко, ВВ Рубанов, ...
Труды Института системного программирования РАН 10, 51-68, 2006
152006
The system can't perform the operation now. Try again later.
Articles 1–20