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

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

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


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