Петренко Александр Константинович

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

1. Обзор механизмов усиления защищенности операционных систем и пользовательских приложений
   
   Труды ИСП РАН, 37:3 (2025),  325–354
2. Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом.
   
   Труды ИСП РАН, 37:3 (2025),  277–290
3. Конструирование программных систем, нацеленное на обеспечение безопасности
   
   Труды ИСП РАН, 36:5 (2024),  7–16
4. Моделирование операционных, программных и технических систем в проектах РФФИ
   
   Труды ИСП РАН, 33:6 (2021),  265–280
5. Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы
   
   Труды ИСП РАН, 33:6 (2021),  15–26
6. Мониторинг и тестирование на основе многоуровневых спецификаций программ
   
   Труды ИСП РАН, 32:6 (2020),  7–18
7. Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы
   
   Труды ИСП РАН, 32:1 (2020),  7–26
8. Компонентная верификация операционных систем
   
   Труды ИСП РАН, 30:6 (2018),  367–382
9. О представлении модельного времени при помощи механизмов функционального программирования
   
   Труды ИСП РАН, 30:6 (2018),  341–366
10. Informatics: Formation of computer software and technologies of software systems
    
    Труды ИСП РАН, 30:5 (2018),  7–30
11. Моделирование семейств программных систем
    
    Труды ИСП РАН, 28:6 (2016),  49–64
12. Верификация и анализ вариабельных операционных систем
    
    Труды ИСП РАН, 28:3 (2016),  189–208
13. Об интеграции формальных методов в задачах верификации операционных систем
    
    Труды ИСП РАН, 27:5 (2015),  175–190


14. Предисловие
    
    Труды ИСП РАН, 27:3 (2015),  7–8