ИСТИНА

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

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования, профессор, с 1 сентября 2004, по совместительству

доктор физико-математических наук с 2003 года

кандидат физико-математических наук с 1983 года

профессор по специальности № 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» с 1 января 2011 г.

Прежние места работы (Нажмите для отображения)

Институт системного программирования РАН, Москва, заведующий отделом

Соавторы: Хорошилов А.В., Кулямин В.В., Shchepetkov I.V., Девянин П.Н., Корныхин Е.В., Mutilin V.S., Мандрыкин М.У., Буздалов Д.В., Камкин А.С., Косачев А.С., Иванников В.П., Кузьменкова Е.А., Позин Б.А. показать полностью..., Ефремов Д.В., Лаврищева Е.М., Лаврищева Е.М., Batovrin V.K., Juris B., Schepetkov I., Schlingloff H., Starykh V.A., Stolyarov G.K., Wentzl W., Бурдонов И.Б., Васенин В.А., Герлиц Е.А., Грицай Д.В., ЕФРЕМОВ Д.В., Захаров В.Н., Зеленов С.В., Иванов Р.В., КОПАЧ В.В., Лаврищева Е.В., Лебединский А.И., Лозинский В.И., Оченашко О.В., Панфёров А.А., Посыпкин М.А., Рогульская Е.Ю., Ступников С.А., Цыварев А.В., Чупилко М.М., ЩЕПЕТКОВ И.В.

41 статья, 6 книг, 5 докладов на конференциях, 2 тезисов докладов, 2 НИР, 2 членства в редколлегиях журналов, 1 членство в редколлегии сборника, 2 членства в программных комитетах, 1 членство в диссертационном совете, 4 диссертации, 3 учебных курса

Количество цитирований статей в журналах по данным Web of Science: 40, Scopus: 67
РИНЦ:

IstinaResearcherID (IRID): 15338080

ResearcherID: D-8658-2014

Scopus Author ID: 8960673500

ORCID: 0000-0001-7411-3831

Деятельность

---

• Статьи в журналах

  • • 2021 Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы
    • ЕФРЕМОВ Денис Валентинович, КОПАЧ Виктория Владимировна, КОРНЫХИН Евгений Валерьевич, КУЛЯМИН Виктор Вячеславович, ПЕТРЕНКО Александр Константинович, ХОРОШИЛОВ Алексей Владимирович, ЩЕПЕТКОВ Илья Викторович
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 33, № 6, с. 15-26 DOI
  • • 2020 Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System
    • Petrenko A.K., Devyanin P.N., Efremov D.V., Khoroshilov A.V., Kuliamin V.V., Shchepetkov I.V.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 46, № 7, с. 443-453
  • • 2020 Technology of assembly of intellectual and information resources internet
    • Lavrischeva E.M., Petrenko A.K., Pozin B.A.
    • в журнале CEUR Workshop Proceedings, издательство M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen (Aachen, Germany), № 2543, с. 247-273
  • • 2020 Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы
    • Девянин П.Н., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 1, с. 7-26 DOI
  • • 2020 Мониторинг и тестирование на основе многоуровневых спецификаций программ
    • Петренко А.К., Ефремов Д.В., Корныхин Е.В., Кулямин В.В., Хорошилов А.В., Щепетков И.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 7-18 DOI
  • • 2019 On Representation of Simulation Time in Functional Programming Style
    • Buzdalov D.V., Petrenko A.K., Khoroshilov A.V.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 45, № 8, с. 485-496
  • • 2018 Информатика. становление программного обеспечения и технологий программных систем
    • Лаврищева Е.М., Петренко А.К.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 5, с. 7-30 DOI
  • • 2018 Компонентная верификация операционных систем
    • Кулямин В.В., Петренко А.К., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 6, с. 367-382 DOI
  • • 2018 Научно-технический вклад В.В.Липаева в инженерию разработки надежных и качественных программных систем
    • Васенин В.А., Лаврищева Е.М., Петренко А.К., Позин Б.А.
    • в журнале Программная инженерия, издательство Новые технологии (Москва), том 9, № 9, с. 387-392
  • • 2018 О представлении модельного времени при помощи механизмов функционального программирования
    • Буздалов Д.В., Петренко А.К., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 6, с. 341-366 DOI
  • • 2017 Верификация компонентов операционных систем
    • Кулямин В.В., Петренко А.К., Хорошилов А.В.
    • в журнале Системная информатика, № 10, с. 11-22
  • 
    • 2016 Comparison of specification decomposition methods in Event-B
    • Devyanin P.N., Kulyamin V.V., Petrenko A.K., Khoroshilov A.V., Shchepetkov I.V.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 42, № 4, с. 198-205 DOI
  • 
    • 2016 Using Refinement in Formal Development of OS Security Model
    • Devyanin Petr N., Khoroshilov Alexey V., Kuliamin Victor V., Petrenko Alexander K., Shchepetkov Ilya V.
    • в журнале Lecture Notes in Computer Science, том 9609, с. 107-115 DOI
  • • 2016 Верификация и анализ вариабельных операционных систем
    • Кулямин В.В., Лаврищева Е.М., Мутилин В.С., Петренко А.К.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 28, № 3, с. 189-208 DOI
  • • 2016 Моделирование семейств программных систем
    • Лаврищева Е.М., Петренко А.К.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 28, № 6, с. 49-64 DOI
  • • 2016 Сравнение способов декомпозиции спецификаций на Event-B
    • Девянин П.Н., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.
    • в журнале Программирование, № 4, с. 17-26
  • 
    • 2015 Analysis of a graph by a set of automata
    • Bourdonov I.B., Kossatchev A.S., Kulyamin V.V., Petrenko A.K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 41, № 6, с. 307-310 DOI
  • 
    • 2015 Configurable toolset for static verification of operating systems kernel modules
    • Khoroshilov A.V., Mandrykin M.U., Mutilin V.S., Новиков Е.М., Petrenko A.K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 41, № 1, с. 49-64 DOI
  • 
    • 2015 High-Level Memory Model with Low-Level Pointer Cast Support for Jessie Intermediate Language
    • Mandrykin M.U., Khoroshilov A.V., Petrenko A.K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 41, № 4, с. 197-207
  • 
    • 2015 Конфигурируемая система статической верификации модулей ядра операционных систем
    • Захаров И.С., Мандрыкин М.У., Mutilin V.S., Новиков Е.М., Петренко А.К., Хорошилов А.В.
    • в журнале Программирование, том 41, № 1, с. 44-67 DOI
  • • 2015 Об интеграции формальных методов в задачах верификации операционных систем
    • Петренко А.К., Кулямин В.В., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 5, с. 175-190 DOI
  • • 2015 Предисловие
    • Камкин А.С., Петренко А.К., Терехов А.Н.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 3, с. 7-8 DOI
  • 
    • 2015 Трансплантация криоконсервированных клеток фетальной печени, засеянных в макропористые альгинат-желатиновые матрицы, крысам с печеночной недостаточностью
    • Грицай Д.В., Лебединский А.С., Оченашко О.В., Рогульская Е.Ю., Петренко Ю.А., Лозинский В.И., Иванов Р.В., Петренко А.Ю.
    • в журнале Вестник трансплантологии и искусственных органов, том 17, № 3, с. 50-57
  • 
    • 2014 Evolution of UniTESK test development technology
    • Kuliamin V.V., Petrenko A.K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 40, № 5, с. 296-304 DOI
  • 
    • 2014 Formal Verification of OS Security Model with Alloy and Event-B
    • Devyanin Petr N., Khoroshilov Alexey V., Kuliamin Victor V., Petrenko Alexander K., Shchepetkov Ilya V.
    • в журнале Lecture Notes in Computer Science, том 8477, с. 309-313 DOI
  • • 2014 Инструментальные средства проектирования систем интегрированной модульной авионики
    • Буздалов Д.В., Зеленов С.В., Корныхин Е.В., Петренко А.К., Угненко А.А., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 1, с. 201-230 DOI
  • • 2014 Конфигурируемая система статической верификации модулей ядра операционных систем
    • Захаров И.С., Мандрыкин М.У., Mutilin V.S., Новиков Е.М., Петренко А.К., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 2, с. 5-42
  • • 2014 Предисловие
    • Евтушенко Н.В., Кавалли Ана Р., Петренко А.К.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 6, с. 5-10 DOI
  • • 2014 Развитие подхода к разработке тестов UniTESK
    • Кулямин В.В., Петренко А.К.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 1, с. 9-26 DOI
  • • 2014 Тестирование операционных систем
    • Герлиц Е.А., Кулямин В.В., Максимов А.В., Петренко А.К., Хорошилов А.В., Цыварев А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 1, с. 73-108 DOI
  • 
    • 2013 UniTESK: Component model based testing
    • Petrenko Alexander K., Victor Kuliamin, Andrey Maksimov
    • в журнале CEUR Workshop Proceedings, издательство M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen (Aachen, Germany), том 1000, с. 573-581
  • • 2013 Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей
    • Иванников В.П., Петренко А.К., Кулямин В.В., Максимов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 24, с. 207-218 DOI
  • 
    • 2012 Using Linux device drivers for static verification tools benchmarking
    • Mandrykin M.U., Mutilin V.S., Novikov E.M., Khoroshilov A.V., Petrenko A.K., Shved P.E.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 38, № 5, с. 245-256
  • • 2012 Верификация драйверов операционной системы Linux
    • Петренко А.К., Бейер Д.
    • в журнале Труды Института системного программирования РАН (электронный журнал), № 23, с. 405-412 DOI
  • 
    • 2011 Survey of modern technologies of simulation-based verification of hardware
    • Kamkin A.S., Chupilko M.M., Petrenko A.K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 37, № 3, с. 147-152
  • 
    • 2007 The use of contract specifications for representing requirements and for functional testing of hardware models
    • Ivannikov V.P., Kamkin A.S., Kossatchev A.S., Kuliamin V.V., Petrenko A.K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 33, № 5, с. 272-282 DOI
  • • 2007 Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры
    • Иванников В.П., Камкин А.С., Косачев А.С., Кулямин В.В., Петренко А.К.
    • в журнале Программирование, том 33, № 5, с. 47-62
  • 
    • 2003 Coverage-driven automated compiler test suite generation
    • Kalinov A., Kossatchev A., Petrenko A., Posypkin M., Shishkov V.
    • в журнале Electronic Notes in Theoretical Computer Science, издательство Elsevier BV (Netherlands), том 82, № 3, с. 500-514 DOI

• Статьи в сборниках

  • • 2020 A State-based Refinement Technique for Event-B
    • Khoroshilov Alexey, Kuliamin Victor, Petrenko Alexander K., Schepetkov Ilya
    • в сборнике 2020 Ivannikov Memorial Workshop
  • • 2019 Preface
    • Avetisyan A., Ivar J., Pozin B.A., Petrenko A.K., Pozin B.A., Petrenko A.K., Cavalli A.R., Petrenko A.K., Avetisyan A., Arlazarov V., Avdoshin S., Batovrin V.K., Bershadsky A.M., Boichenko A., Juris B., Vasenin V.A., Schlingloff H., Kalyanov G., Kantorovich G.G., Korolev A., Kosolapov M.S., Kostogryzov A.I., Koznov D.V., Kuznetsov S., Prokhorov S., Soyfer V.A., Starykh V.A., Stolyarov G.K., Stupnikov S.A., Telnov Y.Ph, Shmid A., Mira K.M M, Wentzl W., Mayer W.H., Yevtushenko N., Zakharov V., Zmeev O., Cavalli A.R., Petrenko A.K., Pozin B.A.
    • в сборнике Proceedings of the 6th International Conference Actual Problems of System and Software Engineering, серия CEUR Workshop Proceedings (CEUR-WS.org), место издания CEUR Workshop Proceedings http://ceur-ws.org, том 2514, с. 1-2
  • • 2014 Preface
    • Petrenko A.K., Schlingloff H.
    • в сборнике 9th Workshop on Model-Based Testing, MBT 2014; Grenoble; France; 6 April 2014 through ; Code 113234

• Книги

  • • 2020 Дедуктивная верификация блок-схем
    • Корныхин Е.В., Петренко А.К., Хорошилов А.В.
    • 84 с.
  • • 2019 Моделирование и верификация политик безопасности управления доступом в операционных системах
    • Девянин П.Н., Ефремов Д.В., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.
    • место издания Горячая линия – Телеком Москва, ISBN 978-5-9912-0787-4, 214 с.
  • • 2014 Практикум по дедуктивной верификации программ
    • Буздалов Д.В., Корныхин Е.В., Панфёров А.А., Петренко А.К., Хорошилов А.В.
    • место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова, МАКС Пресс, ISBN 978-5-89407-531-0, 100 с.
  • • 2008 Практикум по формальной спецификации программ на языке RSL: учебное пособие. М.: Издательский отдел факультета ВМК МГУ им
    • Кузьменкова Е.А., Петренко А.К.
    • место издания Издательский отдел факультета ВМК МГУ им. М.В.Ломоносова, МАКС Пресс Москва, ISBN 978-5-89407-338-5, 88 с.
  • • 2001 Формальная спецификация программ на языке RSL: конспект лекций
    • Кузьменкова Е.А., Петренко А.К.
    • место издания М.: Издательский отдел факультета ВМиК МГУ Москва, ISBN 5-89407-104-6, 107 с.
  • • 1999 Формальная спецификация программ на языке RSL (методическое пособие по практикуму)
    • Кузьменкова Е.А., Петренко А.К.
    • место издания М.: Издательский отдел факультета ВМиК МГУ Москва, ISBN 5-89407-050-3, 57 с.

• Доклады на конференциях

  • • 2019 Формальное моделирование механизмов управления доступом в современных операционных системах (Устный)
    • Авторы: Петренко А.К., Кулямин В.В., Щепетков И.В., Хорошилов А.В., Девянин П.Н.
    • «Ломоносовские чтения - 2019». Секция «ВМК», Москва, МГУ, Россия, 15-25 апреля 2019
  • • 2017 Верификация компонентов операционных систем (Приглашенный)
    • Авторы: Кулямин В.В., Хорошилов А.В., Петренко А.К.
    • Восьмой международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (Program Semantics, Specification and Verification: Theory and Applications, PSSV-2017), Москва, Россия, 26 июня 2017
  • • 2017 Проблемы статического и динамического анализа архитектурных моделей (Устный)
    • Авторы: Петренко А.К., Корныхин Е.В., Хорошилов А.В.
    • Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
  • • 2011 Модели в анализе и разработке программ (Устный)
    • Авторы: Петренко А.К., Иванников В.П.
    • Ломоносовские чтения - 2011, МГУ им. М.В.Ломоносова, Москва, Россия, 14-23 ноября 2011
  • • 2011 Модели в разработке и анализе программных систем (Устный)
    • Авторы: Иванников В.П., Петренко А.К.
    • Ломоносовские чтения - 2011, МГУ им. М. В. Ломоносова, Россия, 20-21 апреля 2011

• Тезисы докладов

  • • 2019 Формальное моделирование механизмов управления доступом в современных операционных системах
    • Петренко А.К., Кулямин В.В., Девянин П.Н., Хорошилов А.В., Щепетков И.В.
    • в сборнике Научная конференция ЛОМОНОСОВСКИЕ ЧТЕНИЯ. Тезисы докладов. 15-25 апреля 2019 г., серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, Факультет вычислительной математики и кибернетики, издательство ООО "МАКС Пресс" (Москва), тезисы, с. 49-50
  • • 2017 Проблемы статического и динамического анализа архитектурных моделей
    • Корныхин Е.В., Петренко А.К., Хорошилов А.В.
    • в сборнике Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В.Ломоносова, 17-26 апреля 2017 г. Тезисы докладов, место издания МАКС Пресс Москва, тезисы

• НИРы

  • • 1 января 2021 - 31 декабря 2025 Исследование методов построения систем анализа и проектирования программного обеспечения
    • Кафедра системного программирования
    • Руководитель: Аветисян А.И. Ответственный исполнитель: Корухова Л.С. Участники НИР: Архипенко К.В., Батузов К.А., Бахтин В.А., Белеванцев А.А., Богатенкова А.О., Гомзин А.Г., Дудина И.А., Иванишин В.А., Игнатьев В.Н., Корныхин Е.В., Кузнецов С.Д., Кузьменкова Е.А., Кулямин В.В., Майоров В.Д., Малышко В.В., Манушин Д.В., Падарян В.А., Перминов А.И., Петренко А.К., Петров О.М., Соловьев М.А., Турдаков Д.Ю., Хорошилов А.В.
  • • 1 января 2011 - 31 декабря 2015 Теоретические основы и методы анализа и проектирования программ
    • Кафедра системного программирования
    • Руководитель: Иванников В.П. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Алексиянц А.В., Андрианов И.А., Батузов К.А., Бахтин В.А., Белеванцев А.А., Буздалов Д.В., Вартанов С.П., Гайсарян С.С., Гомзин А.Г., Горемыкин О.В., Дудина И.А., Иванишин В.А., Камкин А.С., Карпов Л.Е., Клеменков П.А., Корныхин Е.В., Кошелев В.К., Крюков В.А., Кузнецов К.А., Кузнецов С.Д., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Мандрыкин М.У., Меркулов А.П., Морозов С.В., Падарян В.А., Петренко А.К., Посконин А.В., Притула М.Н., Серебряков В.А., Соловьев М.А., Тарлапан О.А., Теймуразов К.Б., Турдаков Д.Ю., Федоренко Д.Г., Хорошилов А.В., Шарыгин Е.Ю., Шуберт А.В.

• Участие в редколлегии журналов

  • • с 1 сентября 2012 Программная инженерия
    • издательство Новые технологии (Москва)
    • http://www.novtex.ru/prin/rus/index.html
  • • с 1 января 2010 Труды Института системного программирования РАН (электронный журнал)

• Участие в редколлегии сборников

  • • 2018 Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),
    • члены редколлегии: Петренко А.К., Камкин А.С.

• Участие в программных комитетах конференций

  • • 30 мая - 1 июня 2016 X Международная конференция молодых ученых в области программной инженерии SYRCoSE
    • Председатель организационного комитета
    • Московская область, Можайский район, деревня Красновидово, Россия
  • • 30 мая - 1 июня 2016 X Международная конференция молодых ученых в области программной инженерии SYRCoSE
    • Председатель программного комитета
    • Московская область, Можайский район, деревня Красновидово, Россия

• Членство в диссертационных советах

  • • с 20 августа 2022 МГУ.012.2(01.19), МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • 2.3.5 - Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей (физ.-мат. науки)
    • Действующие члены совета: Воеводин В.В., Машечкин И.В., Смелянский Р.Л., Антонов А.С., Аветисян А.И., Захаров В.Н., Кореньков В.В., Лукашевич Н.В., Местецкий Л.М., Петренко А.К., Смирнов А.В., Топорков В.В.

• Руководство диссертациями

  • • 2017 Методы верификации программ на основе композиции задач достижимости
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Мордань Виталий Олегович
    • Научный руководитель: Петренко Александр Константинович, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 002.087.01 при ИСП РАН
    • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова, Институт системного программирования РАН
    • Ведущая организация: Федеральный исследовательский центр «Информатика и управление» Российской Академии Наук
    • Оппоненты: Соколов Валерий Анатольевич, Волконский Владимир Юрьевич
  • • 2016 Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Мандрыкин Михаил Усамович
    • Научный руководитель: Петренко Александр Константинович, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 002.087.01 при ИСП РАН
    • Организация, в которой выполнялась работа: Федеральное государственное бюджетное образовательное учреждение высшего образования Московский государственный университет имени М. В. Ломоносова и Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук
    • Ведущая организация: Федеральное государственное бюджетное образовательное учреждение высшего образования «Санкт-Петербургский государственный университет»
    • Оппоненты: Галатенко Владимир Антонович, Климов Юрий Андреевич
  • • 2010 Построение тестовых программ для проверки подсистем управления памяти микропроцессоров
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Корныхин Е.В., к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Петренко А.К., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики

• Диссертация

  • • 2003 Тестирование на основе формальных спецификаций в процессах разработки программных комплексов
    • Докторская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Петренко Александр Константинович, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Защищена в совете при Институт системного программирования РАН
    • Организация, в которой выполнялась работа: Институт системного программирования РАН

• Авторство учебных курсов

  • • 2016 Формальные методы разработки программ
    • Авторы: Петренко Александр Константинович, Корныхин Евгений Валерьевич, Буздалов Денис Викторович, Хорошилов Алексей Викторович, Кузьменкова Евгения Анатольевна
  • • 2011 Производственная практика
    • Авторы: Иванников В.П., Гайсарян С.С., Петренко А.К., Серебряков В.А., Крюков В.А.
  • • 2008 Формальная спецификация и верификация программ
    • Авторы: Кузьменкова Е.А., Петренко А.К., Хорошилов А.В.

---