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