RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Петренко Александр Константинович

В базах данных Math-Net.Ru
Публикаций: 8
Научных статей: 7

Статистика просмотров:
Эта страница:224
Страницы публикаций:755
Полные тексты:235
Списки литературы:95
профессор
доктор физико-математических наук (2003)
Специальность ВАК: 05.13.11 (математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей)
Дата рождения: 11.06.1951
Сайт: http://www.ispras.ru/groups/se
Ключевые слова: Формальные методы, технологии программирования, формальные модели, верификация, тестирование.

Основные темы научной работы

Формальные методы разработки программ, технологии программирования, формальные модели, верификация, тестирование, информационная безопасность, системы реального времени, авионика, операционные системы


http://www.mathnet.ru/rus/person116984
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://orcid.org/0000-0001-7411-3831

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

8. А. С. Камкин, А. К. Петренко, А. Н. Терехов, “Предисловие”, Труды ИСП РАН, 27:3 (2015),  7–8  mathnet  elib

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020