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

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

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

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

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


http://www.mathnet.ru/rus/person116984
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
1. Моделирование семейств программных систем
Е. М. Лаврищева, А. К. Петренко
Труды ИСП РАН, 28:6 (2016),  49–64
2. Верификация и анализ вариабельных операционных систем
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко
Труды ИСП РАН, 28:3 (2016),  189–208
3. Об интеграции формальных методов в задачах верификации операционных систем
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
Труды ИСП РАН, 27:5 (2015),  175–190

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

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