Хорошилов Алексей Владимирович

Публикации в базе данных Math-Net.Ru

1. Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом.
   
   Труды ИСП РАН, 37:3 (2025),  277–290
2. Решение проблемы многоязычия в международном научно-техническом информационном пространстве
   
   Труды ИСП РАН, 35:6 (2023),  337–346
3. Выявление функциональных требований в документации программного интерфейса приложения для функционального тестирования
   
   Труды ИСП РАН, 34:1 (2022),  7–22
4. Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы
   
   Труды ИСП РАН, 33:6 (2021),  15–26
5. Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем
   
   Труды ИСП РАН, 33:5 (2021),  25–40
6. Верификация соответствия между разноуровневыми моделями функциональных требований
   
   Труды ИСП РАН, 32:6 (2020),  19–30
7. Мониторинг и тестирование на основе многоуровневых спецификаций программ
   
   Труды ИСП РАН, 32:6 (2020),  7–18
8. Архитектура системы дедуктивной верификации машинного кода
   
   Труды ИСП РАН, 32:3 (2020),  7–19
9. Система визуализации для авиационной ОС реального времени JetOS
   
   Труды ИСП РАН, 32:1 (2020),  57–70
10. Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы
    
    Труды ИСП РАН, 32:1 (2020),  7–26
11. Управление требованиями к ответственным системам. Обзор решений
    
    Труды ИСП РАН, 31:1 (2019),  25–48
12. Компонентная верификация операционных систем
    
    Труды ИСП РАН, 30:6 (2018),  367–382
13. О представлении модельного времени при помощи механизмов функционального программирования
    
    Труды ИСП РАН, 30:6 (2018),  341–366
14. Formalizing metamodel of requirements management system
    
    Труды ИСП РАН, 30:5 (2018),  163–176
15. Building modular real-time software from unified component model
    
    Труды ИСП РАН, 30:3 (2018),  135–148
16. In-kernel memory-mapped I/O device emulation
    
    Труды ИСП РАН, 30:3 (2018),  121–134
17. Using modularization in embedded OS
    
    Труды ИСП РАН, 29:4 (2017),  283–294
18. ADV_SPM — Формальные модели политики безопасности на практике
    
    Труды ИСП РАН, 29:3 (2017),  43–56
19. Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций
    
    Труды ИСП РАН, 28:6 (2016),  65–86
20. Design and architecture of real-time operating system
    
    Труды ИСП РАН, 28:2 (2016),  181–192
21. Об интеграции формальных методов в задачах верификации операционных систем
    
    Труды ИСП РАН, 27:5 (2015),  175–190
22. Использование симуляции сбоев при тестировании компонентов ядра ОС Linux
    
    Труды ИСП РАН, 27:5 (2015),  157–174
23. Использование языка программирования Python для описания ограничений на архитектурные модели
    
    Труды ИСП РАН, 27:5 (2015),  143–156
24. Метод легковесного статического анализа для поиска состояний гонок
    
    Труды ИСП РАН, 27:5 (2015),  87–116
25. О дедуктивной верификации Си программ, работающих с разделяемыми данными
    
    Труды ИСП РАН, 27:4 (2015),  49–68