Публикации


Публикации

Диссертации

  1. А.Д. Татарников Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций Диссертация на соискание ученой степени к.т.н., Москва, 2017 г.
  2. М.У. Мандрыкин Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей Диссертация на соискание ученой степени к.ф-м.н., Москва, 2016 г.
  3. Е.М. Новиков. Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы Linux. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2013 г.
  4. В.С. Мутилин. Верификация драйверов операционной системы Linux при помощи предикатных абстракций. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2012 г.
  5. М.М.Чупилко. Динамическая верификация цифровой аппаратуры на основе формальных спецификаций. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2012 г.
  6. Д.Ю. Кичигин. Метод редукции тестового набора для интеграционного тестирования. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2010 г.
  7. Е. В.Корныхин. Построение тестовых программ для проверки подсистем управления памяти микропроцессоров. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2010 г.
  8. Д.В.Силаков. Методы информационно-аналитической поддержки разработки и использования стандартов на интерфейсы операционной системы Linux. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2010 г.
  9. А.С. Камкин. Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2009 г.
  10. В.В.Рубанов. Автоматизация построения инструментария кросс-разработки программного обеспечения для расширяемых встраиваемых систем. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2008 г.
  11. И.Б.Бурдонов. Теория конформности для функционального тестирования программных систем на основе формальных моделей. Диссертация на соискание учёной степени д.ф.-м.н., Москва, 2008.
  12. А.В.Демаков. Объектно-ориентированное описание графового представления программ и моделей. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2006 г.
  13. М.В.Архипова. Автоматическая генерация тестов для семантических анализаторов трансляторов. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2006 г.
  14. Н.В.Пакулин. Формализация стандартов и тестовых наборов протоколов интернета. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2006 г.
  15. А.В.Хорошилов. Спецификация и тестирование компонентов с асинхронным интерфейсом. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2006 г.

Монографии

  1. И.Б. Бурдонов, А.В. Максимов Компьютерная структуризация канонических текстов М.: ИСП РАН, 2023 — 294 с.
  2. П.Н. Девянин, Д.В. Ефремов, В.В. Кулямин, А.К. Петренко, А.В. Хорошилов, И.В. Щепетков Моделирование и верификация политик безопасности управления доступом в операционных системах
  3. А. С. Камкин Введение в формальные методы верификации программ: Учебное пособие. Москва: МАКС Пресс, 2018. – 272 с.
  4. Е.М. Лаврищева. Теория объектно-компонентного моделирования программных систем. Препринт ИСП РАН 29, 2016 г., стр. 1-48.
  5. Буздалов Д.В., Корныхин Е.В., Панфёров А.А., Петренко А.К., Хорошилов А.В. Практикум по дедуктивной верификации программ. М.-МАКС Пресс, 2014.
  6. Лаврищева Е.М. Software Engineering компьютерных систем. Парадигмы, технологии, CASE-средства программирования. Наук. думка, 2013, 283 c.
  7. И.Б. Бурдонов. Теория конформности (функциональное тестирование программных систем на основе формальных моделей). LAP Lambert Academic Publishing, 2011.
  8. И.Б.Бурдонов, Косачев А.С., В.В.Кулямин. Теория соответствия для систем с блокировками и разрушением. М.: Наука. Глав. ред. физ.-мат. лит., 2008. 412 c.
  9. В.В. Кулямин. Технологии программирования. Компонентный подход. М. Интернет-университет информационных технологий - БИНОМ. Лаборатория знаний, 2007.
  10. Игорь Бурдонов, Александр Косачев. Удаление из спецификации неконформных трасс. Препринты Института системного программирования РАН, Препринт 23, 2011 г., стр. 1-219.

Другие публикации

2022

  1. С.К. Митрофанов, В.Ю. Чепцов, М.Ю. Кричанов, А.В. Хорошилов Безопасная загрузка ядра Linux в UEFI окружении: проблемы и перспективы Конференция OS DAY 2022. Технологические основы безопасности операционных систем

2021

  1. Lavrischeva E. M. Petrenko A. K. Kozin V. P. Technology of assembly creation of an experimental version OS Linux kernels with quality assurance for applied and subject areas of knowledge Euroazian Science Assosiation, № 11 (81), November-2021. pp. 94-105.
  2. Лаврищева Е.М., Петров И.Б. Технология моделирования физических и математических задач предметных областей знаний «Евразийское Научное Объединение», Физико-математические науки, № 1 (71), Январь, 2021.

2020

  1. Лаврищева E.M. Развитие программного обеспечения вычислительной техники в СССР и в рамках межправительственной комиссии (МПК) СССР-СЭВ (1969-1991) Материалы V Международной конференции Развитие вычислительной техники в России, странах бывшего СССР и СЭВ (SoRuCom-2020)

2019

  1. Е.М. Лаврищева, А.К. Петренко Технология сборки интеллектуальных и информационных ресурсов Интернет Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции (23-28 сентября 2019 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2019. — С. 469-488
  2. E. M. Lavrischeva The Theory Graph Modeling and Programming Systems from Module Elements to the Application Areas Computer and Information Science; Vol. 12, No. 4; 2019
  3. E. M. Lavrischeva The Theory Graph Modeling Systems From Quality Modules of the Application Areas CEUR Workshop Proceedings, 2514, 2019. pp. 235-247

2018

  1. Е.М. Лаврищева, А.Г. Рыжов Подход к моделированию систем и сайтов из готовых ресурсов Конференция "Научный сервис в сети интернет", Новороссийск, 17-22 сентября
  2. E. M. Lavrischeva Scientific Basis of System Programming Journal of Software Engineering and Applications, 2018, 11, 408-434.
  3. E. M. Lavrischeva The Scientific Basis of Software Engineering International Journal of Applied and Natural Sciences (IJANS), Vol. 7, Issue 5, Aug - Sep 2018; 15-32.

2017

  1. Е.М. Лаврищева, В.С. Мутилин, А.Г. Рыжов. Аспекты моделирования вариабельных программных и операционных систем. Научный сервис в сети Интернет: труды XIX Всероссийской научной конференции (18-23 сентября 2017 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2017. — С. 327-340.
  2. Лаврищева Е.М. Фундаментальные основы программной инженерии. Сборник научных трудов 5-международной конференции «Актуальные проблемы системной и программной инженерии». - Сборник трудов АПСПИ-2017, 14-16 октября 2017. - с.163-177.
  3. Лаврищева Е.М. Научные основы программной инженерии (Понятия, Парадигмы, Технологии, СASE-средства). Theoretical and Applied Aspects of Program Systems Development» (TAAPSD’2017), 4-8 дек. 2017. - с. 201-214.
  4. Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин. Подходы к представлению научных знаний в Интернет науке. Сб. XIX Всероссийский научной конференции «Научный сервис в сети Интернет», Новороссийск, 18-23 сентября 2017.-с.310-326.
  5. Лаврищева Е.М., Рыжов А.Г. Применение теории общих типов данных стандарта ISO/IEC 12207 GDT к Big Data. «Актуальные проблемы в современной науке и пути их решения», 27 декабря 2016.
  6. Лаврищева E.M. Развитие теории программ и систем в СССР: История и современные теории Сборник трудов SoRuCom-2017. Четвертая Международная конференция «Развитие вычислительной техники в России и странах бывшего СССР: история и перспективы». Зеленоград, 3–5 октября 1917 г.
  7. Лаврищева Е.М. Развитие теории программ и систем в СССР. История и современные теории программ и систем. Сборник SORUCOM-2017.- Развитие ВТ в России и в странах бывшего СССР. История и перспективы. 3-5 октября 2017.-с.162-176.
  8. Е.М. Лаврищева «Научные основы программ и технологии программирования систем» Доклад Е.М. Лаврищевой в Центральном доме учёных РАН 15.03.2017.
  9. E.M. Lavrischeva, I.B. Petrov. Ways of Development of Computer Technologies to Perspective Nano. Preceeding of Future Technologies Conference (FTC) 2017, 29-30 November 2017. Vancouver, Canada, рр.539-548.
  10. А. Карнов, С. Зеленов Cтохастические методы анализа комплексных программно-аппаратных систем Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 191-202.
  11. А.Р. Волков, М.У. Мандрыкин Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 203-216
  12. С.В. Козин, В.С. Мутилин Статическая верификация конфигураций ядра Linux Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 217-230.
  13. М.М. Чупилко, А.С. Камкин, М.С. Лебедев, С.А. Смолов Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 247-256.
  14. К.A. Маллачиев, Н.В. Пакулин, А.В. Хорошилов, Д.В. Буздалов Использование модульного подхода во встраиваемых операционных системах Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 283-294.
  15. А.Н. Емеленко, К.А. Маллачиев, Н.В. Пакулин Отладчик для операционной системы реального времени: проблемы мультиплатформенности Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 295-302.
  16. Зеленов С.В., Зеленова С.А. Моделирование программно-аппаратных систем и анализ их безопасности Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 257-282.
  17. Бурдонов И., Косачев А., Сортов А. Распределённые алгоритмы на корневых неориентированных графах Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 283-310.
  18. Лаврищева Е.М., Мутилин В.С., Рыжов А.Г. Проектирование моделей вариабельности для программных, операционных систем и их семейств Труды Института системного программирования РАН. Том 29, выпуск 5, 2017 г. Стр. 93-110.
  19. Зеленова С.А., Зеленов С.В. Критерий существования бесконфликтного расписания для системы строго периодических задач Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 183-202.
  20. Захаров И.С., Новиков Е.М. Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 25-48.
  21. Ефремов Д.В, Мандрыкин М.У. Формальная верификация библиотечных функций ядра Linux Труды Института системного программирования РАН. Том 29, выпуск 6, 2017 г. Стр. 49-76.

2016

  1. Ekaterina M.Lavrischeva. Assemblling Paradigms of Programming in Software Engineering. Journal of Software Engineering and Applications, 2016, 9, 296-317.
  2. Mordan V., Mutilin V. Checking several requirements at once by CEGAR Lecture Notes in Computer Science. — 2016. — Vol. 9609. — P. 218–232.
  3. И. Бурдонов, А. Косачев. Исследование графа автоматом. Программная инженерия. №11, 2016 , стр. 498-508.
  4. И. Бурдонов, А. Косачев. Исследование графов коллективом двигающих автоматов. Программная инженерия, №12, 2016 , стр. 559-567
  5. Лаврищева Е.М. Научные основы построения программных и информационных систем. Е-обучение теории и методам. XII Научно-практическая конференция «Современные информационные технологии и ИТ-образование», 25-26 ноября 2016, МГУ им. М.В.Ломоносова.
  6. И. Бурдонов, А. Косачев. Обобщенная модель системы автоматов. Вестник Томского государственного университета. Управление, вычислительная техника и информатика, №4(37), 2016, стр. 89-97.
  7. S. Apel, D. Beyer, V. Mordan, V. Mutilin and A. Stahlbauer. On-The-Fly Decomposition of Specifications in Software Model Checking 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering. – 2016.
  8. Лаврищева Е.М., Рыжов А.Г. Применение теории общих типов данных стандарта ISO/IEC 11404 GDT к Big Data. «Актуальные проблемы в современной науке и пути их решения» , 27 октября 2016.
  9. Лаврищева Е.М. Программная инженерия. Тема 1. Теория программирования. Учебно-методическое пособие. Москва, МФТИ, 2016. 48 с.
  10. Лаврищева Е.М. Программная инженерия. Тема 2. Технология программирования. Учебно-методическое пособие. Москва, МФТИ, 2016. 52 с.
  11. Лаврищева Е.М. Программная инженерия. Тема 3. Базовые основы программной инженерии. Учебно-методическое пособие. Москва, МФТИ, 2016. 52 с.
  12. Мордань В. О., Мутилин В. С. Проверка нескольких требований за один запуск инструмента статической верификации с помощью CEGAR Программирование. — 2016. — № 4. — С. 50–68.
  13. E.М. Лаврищева, Л. Е. Карпов, А. Н. Томилин. Семантические ресурсы для разработки онтологии научной и инженерной предметных областей. Научный сервис в сети Интернет: труды XVIII Всероссийской научной конференции (19-24 сентября 2016 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2016. — С. 223-239.
  14. Denis Buzdalov. Simulation of AADL models with software-in-the-loop execution ACM SIGAda’s High Integrity Language Technology (HILT16) International Workshop on Model-Based Development and Contract-Based Programming as part of Embedded Systems Week (ESWEEK)
  15. Девянин П. Н., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В. Сравнение способов декомпозиции спецификаций на Event-B. Программирование, 42(4):17-26, 2016
  16. Лаврищева Е.М. Теоретические основы моделирования программных систем из объектов и компонентов. Сборник трудов международной научно-практической конференции «Теория активных систем» (ТАС-2016), 16-17 ноября 2016.- ИПУ РАН им. В.А.Трапезникова.
  17. И. Бурдонов, А. Косачев. Тестирование системы автоматов. Новые информационные технологии в исследовании сложных структур. Материалы 11-ой международной конференции. Томск, Издательский дом Томского государственного университета, 2016. Стр. 47-48.
  18. И.Б. Бурдонов, А.С. Косачев Тестирование системы автоматов с буферизацией сообщений Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 103-130.
  19. И.Б. Бурдонов, А.С. Косачев Система автоматов: композиция по графу связей Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 131-150.
  20. И.Б. Бурдонов, А.С. Косачев Система автоматов: условия детерминизма и тестирование Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 151-184.
  21. А.М. Троицкий, Д.В. Буздалов Способ статической оценки времени работы компонентов AADL-моделей Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 157-172.
  22. К.М. Маллачиев, Н.В. Пакулин, А.В. Хорошилов Устройство и архитектура операционной системы реального времени Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 181-192.
  23. А.Н. Емеленко, К.А. Маллачиев, Н.В. Пакулин Разработка отладчика для операционной системы реального времени Труды Института системного программирования РАН. Том 28, выпуск 2, 2016 г. Стр. 193-204.
  24. В.В. Кулямин, Е.М. Лаврищева, В.С. Мутилин, А.К. Петренко Верификация и анализ вариабельных операционных систем Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 189-208.
  25. В.C. Буренков, А.C. Камкин Проверка параметризованных Promela-моделей протоколов когерентности памяти Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 57-76.
  26. А.Д. Татарников Язык описания шаблонов для генерации тестовых программ для микропроцессоров Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 77-98.
  27. А.С. Камкин, А.М. Коцыняк Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификации Труды Института системного программирования РАН. Том 28, выпуск 4, 2016 г. Стр. 99-114.
  28. Е.М. Лаврищева, А.К.Петренко Моделирование семейств программных систем Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 49-64.
  29. П.С. Андрианов, В.С. Мутилин, А.В. Хорошилов Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 65-86.
  30. А.С. Камкин, А.М. Коцыняк, А.Д. Татарников, М.М. Чупилко Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Труды Института системного программирования РАН. Том 28, выпуск 6, 2016 г. Стр. 87-102.

2015

  1. С.А. Смолов. Метод извлечения расширенных конечных автоматов из HDL-описаний. Сборник трудов ежегодной научно-практической конференции студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского, с.48-50.
  2. А.Д. Татарников. Инструмент автоматизации разработки генераторов тестовых программ для микропроцессоров на основе формальных спецификаций. Сборник трудов ежегодной научно-практической конференции студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского, с. 53-54.
  3. Денис Буздалов, Алексей Хорошилов. О формальной интерпретации архитектурных моделей. The Second Architecture Centric Virtual Integration (ACVI) Workshop Madrid, Spain on June, 26.
  4. Бурдонов И. Б., Косачев А. С., Кулямин В. В. Исследование графа набором автоматов. Программирование, 41(6):3-7, 2015.
  5. И.С. Захаров, М.У. Мандрыкин, В.С. Мутилин, Е.М. Новиков, А.К. Петренко, А.В. Хорошилов. Конфигурируемая система статической верификации модулей ядра операционных систем. Программирование, №1, 2015, с. 44-67.
  6. Д.В. Ефремов, Н.Ю. Комаров, А.В. Хорошилов. Конструирование ядра операционной системы. М., Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова (лицензия ИД No 05899 от 24.09.2001); МАКС Пресс, 2015. — 160 с.
  7. М. У. Мандрыкин, А. В. Хорошилов. Высокоуровневая модель памяти промежуточного языка Jessie с поддержкой произвольного приведения типов указателей. Программирование том 41, №4, 2015, с. 23-39.
  8. Лаврищева Е.М., Слабоспитская О.А. Коллекция CASE-Tools для сборки вариабельных систем из готовых ресурсов. Сб. статей «Технология разработки информационных систем -2015» НИИ Моделирования и проектирования информационных систем, РФФИ.- Таганрог, с.148-1.
  9. Е.М. Лаврищева. Компонентная теория и коллекция технологий для разработки индустриальных приложений из готовых ресурсов. Труды Четвертой научно-практической конференции «Актуальные проблемы системной и программной инженерии», АПСПИ-2015, 20-21мая 2015, c 101-119.
  10. И.С. Захаров, В.С. Мутилин, А.В. Хорошилов. Моделирование окружения с использованием шаблонов для статической верификации модулей ядра Linux Программирование, Том 41, 2015, №3, сс. 183-195.
  11. Никешин А.В., Пакулин Н.В., Шнитман В.З. Мутационное тестирование сетевых протоколов с использованием формальных моделей. В сборнике: Научный сервис в сети Интернет труды XVII Всероссийской научной конференции. ИПМ им. М.В.Келдыша. Москва, 2015. С. 259-266.
  12. Е.М.Лаврищева. Object modelling of subject domains. Заочный журнал «Объектные системы», 2015, с.34-40.
  13. Lavrischeva Ekaterina. Ontological Approach to the Formal Specification of the Standard Life Cycle. "Science and Information Conference-2015", Jule 28-30, London, UK, p.965-972.
  14. Ekaterina M. Lavrischeva. Ontology of Domains. Ontological Description Software Engineering Domain—The Standard Life Cycle The Standard Life Cycle, Journal of Software Engineering and Applications, 2015, 8, p.1-15.
  15. Бурдонов И. Б., Косачев А. С., Кулямин В. В. Параллельные вычисления на графе. Программирование, 41(1):3-17, 2015.
  16. А.С. Камкин. Проецирование систем переходов: преодоление комбинаторного взрыва при верификации параллельных систем. Программирование, том 41, №6, 2015.
  17. Alexey Khoroshilov, Eugene Kornykhin. PyCL – Python-based AADL Constraint Language. Proceedings of the Second International Workshop on Architecture Centric Virtual Integration - ACVI 2015, Madrid, Spain, June 26, 2015.
  18. Лаврищева Е.М., Карпов Л.Е., Томилин А.Н. Системная поддержка решения бизнес-задач в глобальной информационной сети Научный сервис в сети Интернет: труды XVII Всероссийской научной конференции (21-26 сентября 2015 г., г. Новороссийск), место издания ИПМ им. М.В.Келдыша М, с. 193-218
  19. Lavrischeva E.M. Software Engineering: New Disciplines And E-Learning Theme For Development Of Applied Systems. European Journal of Engineering and Technology, Progressive Academic Publishing, 2015, 3 (3), 36-63.
  20. М. Чупилко, А. Камкин, А. Коцыняк, А. Проценко, С. Смолов, А. Татарников. Генерация тестовых программ для устройств управления памятью ARM VMSAv8-64 на основе спецификаций. Труды семинара Microprocessor Test and Verification (MTV), 2015.
  21. Николай Пакулин, Алексей Хорошилов. Свободная реализация ARINC-653-совместимой операционной системы реального времени. Сборник докладов Двенадцатой конференции разработчиков свободных программ, сс. 23-27, Калуга, 17-18 октября 2015 г.
  22. Лаврищева Е.М., Слабоспитская О.А. Технология моделирования изменяемых программных продуктов и систем. XII Межд. Научно-практ. конф. «Теоретические и прикладные аспекты построения программных систем».-TAAPSD’2015, 23-26 ноября, 2015.-с.118-128.
  23. Mikhail Mandrykin, Alexey Khoroshilov. Towards Deductive Verification of Concurrent Linux Kernel Code with Jessie. Proceedings of the CSIT 2015.
  24. P. N. Devyanin, A. V. Khoroshilov, V. V. Kuliamin, A. K. Petrenko, and I. V. Shchepetkov. Using Refinement in Formal Development of OS Security Model. Proceedings of PSI 2015.
  25. Е.М. Лаврищева, Л.Е. Карпов, А.Н. Томилин Сервисные средства интернет для решения бизнес-задач Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 125-150.
  26. Игорь Бурдонов, Александр Косачев Обход неизвестного графа коллективом автоматов. Недетерминированный случай Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 51-68.
  27. Игорь Бурдонов, Александр Косачев Мониторинг динамически меняющегося графа Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 69-96.
  28. С.А. Смолов Обзор методов извлечения моделей из HDL-описаний Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 97-124.
  29. А.В.Никешин, Н.В.Пакулин, В.З. Шнитман Тестирование реализаций клиента протокола TLS Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 145-160.
  30. Игорь Бурдонов, Александр Косачев Параллельные вычисления на динамически меняющемся графе Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 189-220.
  31. В.А.Захаров Моделирование и анализ поведения последовательных реагирующих программ Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 221-250.
  32. А.С. Камкин, А.С. Проценко, А.Д. Татарников Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 125-138.
  33. А.С. Камкин, М.В. Петроченков Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 149-160.
  34. И.В. Мельниченко, А.С. Камкин, С.А. Смолов Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 161-182.
  35. К. Маллачиев, Н. Пакулин Удаленное обслуживание системных вызовов в микроядерном гипервизоре Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 267-278.
  36. А.С. Камкин, А.К. Петренко, А.Н. Терехов Предисловие Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 7-8
  37. М.У. Мандрыкин , А.В. Хорошилов О дедуктивной верификации Си программ, работающих с разделяемыми данными Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 49-68.
  38. М.У. Мандрыкин, В.С. Мутилин Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 117-142.
  39. Е.В. Корныхин, А.В. Хорошилов Использование языка программирования Python для описания ограничений на архитектурные модели Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 143-156.
  40. А.В. Цыварев, А.В. Хорошилов Использование симуляции сбоев при тестировании компонентов ядра ОС Linux Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 157-174.
  41. А.К.Петренко, В.В.Кулямин, А.В.Хорошилов Об интеграции формальных методов в задачах верификации операционных систем Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 175-190.
  42. П.С. Андрианов, В.С. Мутилин, А.В. Хорошилов Метод легковесного статического анализа для поиска состояний гонок Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 87-116.

2014

  1. D.Buzdalov, A.Khoroshilov. A discrete-event simulator for early validation of avionics systems. Proceedings of the First International Workshop on Architecture Centric Virtual Integration - ACVI 2014, Valencia, Spain, September 29, 2014. CEUR WS Vol-1233, pp.28-38.
  2. А. Коцыняк, А. Татарников. Универсальная база знаний для генерации тестов. Весенне-летний коллоквиум молодых исследователей в области программной инженерии, 2014.
  3. А.С. Камкин, С.А. Смолов. Метод извлечения EFSM-моделей из HDL-описаний: применение к функциональной верификации. Проблемы разработки перспективных микро- и наноэлектронных систем – 2014. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть II. С. 113-118.
  4. А.С. Камкин, М.В. Петроченков. Система поддержки верификации реализаций протоколов когерентности с использованием формальных методов. Вопросы радиоэлектроники, серия ЭВТ, №3, 2014. С. 27-38.
  5. Андрианов Павел, Мутилин Вадим, Хорошилов Алексей Легковесный метод для поиска состояний гонок. Сборник трудов Весеннего/Летнего коллоквиума молодых ученых по программной инженерии. ИСП РАН, 2014. сс. 27-33.
  6. I.Burdonov, A. Kossachev, V. Kuliamin. Building direct and back spanning trees by automata on a graph. French-Russian Seminar on Software Verification, Testing, and Quality Estimation, Paris, France, November 24-25, 2014.
  7. S. Löwe, M. Mandrykin, P. Wendler. CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). Proceedings of TACAS. 2014. pp. 392-394.
  8. I.Burdonov, A. Kossachev, N. Yevtushenko. Deriving complete finite tests based on state machines. Proceedings of 12-th IEEE East-West Design& Tests Symposium (EWDTS 2014), Kharkov National University of Radioelectronics, 2014, pp. 100-103.
  9. М.У. Мандрыкин, А. В. Хорошилов Extended High-Level C-Compatible Memory Model with Limited Low-Level Pointer Cast Support for Jessie Intermediate Language. Материалы Международной научно-практической конференции: Tools & Methods of Program Analysis, TMPA-2014, место издания Кострома: КГТУ, с. 36-45
  10. А.С. Камкин, Т.И. Сергеева, С.А. Смолов, А.Д. Татарников, М.М. Чупилко. Расширяемая среда генерации тестовых программ для микропроцессоров. Программирование №1, 2014, с. 3-14.
  11. Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov. Formal Verification of OS Security Model with Alloy and Event-B. Proceedings of the 4th International Conference, ABZ 2014, pages 309-314.
  12. И.Б. Бурдонов, А.А. Косачев. Исследование графа взаимодействующими автоматами. Вестник Томского государственного университета. Управление, вычислительная техника и информатика, №3, 2014, стр. 67-75.
  13. И.Б. Бурдонов, А.А. Косачев. Исследование графа взаимодействующими автоматами. Новые информационные технологии в исследовании сложных структур. Материалы 10-ой российской конференции с международным участием. 2014, изд. Томского госуниверситета, стр.47-48.
  14. Девянин П.Н., Ляпин В.Р., Хорошилов А.В. Комплексное научно-обоснованное решение по разработке отечественной защищенной ОССН Astra Linux Special Edition. Материалы XXIII Научно-технической конференции «Методы и технические средства обеспечения безопасности информации», Санкт-Петербург, 30 июня - 03 июля 2014 г.
  15. Андрианов Павел, Мутилин Вадим, Хорошилов Алексей Легковесный статический анализ для поиска состояний гонок в ядрах операционных систем. Материалы международной научно-практической конференции Инструменты и Методы Анализа Программ(TMPA-2014), с.128-135, 14-15 ноября 2014, Кострома, Россия.
  16. Хорошилов А.В., Цыварев А.В. Метод систематического тестирования устойчивости к сбоям в ядре операционных систем. Тезисы конференции «Тихоновские чтения», Москва, 2014. С. 10.
  17. V. Mordan, E. Novikov. Minimizing the number of static verifier traces to reduce time for finding bugs in Linux kernel modules. Proceedings of the 8th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2014), editors A. Kamkin, A. Petrenko, A. Terekhov, Saint Petersburg, Russia, May 29-31. ISP RAS, Moscow, 2014.
  18. Khoroshilov A., Mutilin V., Novikov E., Zakharov I. Modeling Environment for Static Verification of Linux Kernel Modules. Proceedings of PSI, pp. 116-125, 2014.
  19. Н. Г. Кушик, В. В. Кулямин, Н. В. Евтушенко. О сложности проверки существования установочных последовательностей для недетерминированных автоматов. Программирование, 40(6):48-53, 2014.
  20. Ekaterina Lavrischeva, Andrey Stenyashin, Andrii Kolesnyk. Object-Component Development of Application and Systems. Theory and Practice. Journal of Software Engineering and Applications, 2014, 7, Published Online August 2014 in SciRes.
  21. Лаврищева Е.М. От информационных технологий к нанотехнологиям. УСиМ, №4, 2014.
  22. Лаврищева Е.М. Парадигмы программирования сборочного типа в программной инженерии. Международная конференция, УкрПрог-2014.-Специальный сборник трудов, с. 76-92.
  23. Burdonov, A. Kossachev, V. Kuliamin. Parallel calculations by automata on direct and back spanning trees of a graph. French-Russian Seminar on Software Verification, Testing, and Quality Estimation, Paris, France, November 24-25, 2014.
  24. K. Mallachiev, N. Pakulin. Protecting Applications from Highly Privileged Malware Using Bare-metal Hypervisor. Proceedings of the 8th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2014), editors A. Kamkin, A. Petrenko, A. Terekhov, Saint Petersburg, Russia, May 29-31. ISP RAS, Moscow, 2014.
  25. Лаврищева Е.М. Развитие идей академика В.М. Глушкова по технологии компьютеров, систем и программ. Программная инженерия, №2, 2014, Москва. с.19-26.
  26. Лаврищева Е.М. Развитие отечественной технологии программирования. Кибернетика и системный анализ, 2014, том 50, № 3.
  27. А.С. Проценко, М.М. Чупилко. Распознавание и интерпретация ошибочного поведения при динамической верификации аппаратуры. Проблемы разработки перспективных микро- и наноэлектронных систем – 2014. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть II. С. 91-96.
  28. М. Чупилко, А. Проценко. Анализатор результатов динамической верификации аппаратуры: Диагностика. Весенне-летний коллоквиум молодых исследователей в области программной инженерии, 2014.
  29. Alexey Khoroshilov. The Experience of Increasing Linux File System Test Coverage. OSADL Networking Day 2014, 4 June 2014, Heidelberg, Germany.
  30. Alexey Khoroshilov, Vadim Mutilin. The Experience of Linux Driver Verification. Talk at Dagstuhl Seminar 14171, Schloss Dagstuhl, 25 April 2014.
  31. Lavrischeva Ekaterina. The Operating Computing Complex «Dnepr-2». Proceedings of the 2014 Third International Conference on Computer Technology in Russia and in the Former Soviet Union SoRuCom 2014.
  32. Денис Ефремов, Никита Комаров Инструментальная поддержка процесса дедуктивной верификации модулей ядра Linux. Труды SYRCoSE 2014.
  33. Илья Щепетков Rodin — платформа для разработки и верификации моделей на Event-B. Тезисы докладов одиннадцатой конференции разработчиков свободных программ, стр. 50-52.
  34. В.П. Иванников, А.С. Камкин, М.М. Чупилко. Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2(193), 2014, c. 130-142.
  35. Н.В. Пакулин, В.З. Шнитман, А.В. Никешин. Автоматизация тестирования соответствия для телекоммуникационных протоколов. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 109-148.
  36. А.С. Камкин, А.М. Коцыняк, С.А. Смолов, А.А. Сортов, А.Д. Татарников, М.М. Чупилко. Средства функциональной верификации микропроцессоров. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 149-200.
  37. Д.В. Буздалов, С.В. Зеленов, Е.В. Корныхин, А.К. Петренко, А.В. Страх, А.А. Угненко, А.В. Хорошилов. Инструментальные средства проектирования систем интегрированной модульной авионики. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 201-230.
  38. И.Б. Бурдонов, А.С. Косачев. Развитие теории конформности: семантики, формальные модели, алгоритмы. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 27-72.
  39. Е.А. Герлиц, В.В. Кулямин, А.В. Максимов, А.К. Петренко, А.В. Хорошилов, А.В. Цыварев. Тестирование операционных систем. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 73-108.
  40. В.В. Кулямин, А.К. Петренко. Развитие подхода к разработке тестов UniTESK. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 9-26.
  41. Игорь Бурдонов, Александр Косачев. Обход неизвестного графа коллективом автоматов. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 43-86.
  42. И.С. Захаров, М.У. Мандрыкин, В.С. Мутилин, Е.М. Новиков, А.К. Петренко, А.В. Хорошилов. Конфигурируемая система статической верификации модулей ядра операционных систем. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 5-42.
  43. Игорь Бурдонов, Александр Косачев. Построение прямого и обратного остовов автоматами на графе. Труды Института системного программирования РАН. Том 26, выпуск 6, 2014 г. Стр. 57-62.
  44. Игорь Бурдонов, Александр Косачев, Виктор Кулямин. Параллельные вычисления автоматами на прямом и обратном остовах графа. Труды Института системного программирования РАН. Том 26, выпуск 6, 2014 г. Стр. 63-66.

2013

  1. Benjamin Zeiss, Andras Kovacs, Nikolay Pakulin, Bogdan Stanca-Kaposta A conformance test suite for TTCN-3 tools. International Journal on Software Tools for Technology Transfer 01/2013.
  2. Бурдонов И.Б., Косачев А.С. Согласование конформности и композиции. Программирование, 2013, №6–стр. 3-15.
  3. Е.М. Новиков. Подход к реализации аспектно-ориентированного программирования для языка Си. Программирование, том 39, выпуск 4, страницы 47-65. Наука, Москва, 2013.
  4. Бурдонов И.Б., Косачев А.С. Обход неизвестного графа коллективом автоматов. Труды Международной суперкомпьютерной конференции "Научный сервис в сети Интернет: все грани параллелизма". 2013, Изд. МГУ.
  5. Новиков Е.М., Щепетков И.В. Диагностика синтаксической совместимости правил корректности с ядром ОС Linux при статической верификации драйверов. Сборник научных трудов Научно-практической конференции «Актуальные проблемы системной и программной инженерии», 2013, стр. 192-201.
  6. Р.А. Баратов, А.С. Камкин, В.М. Майорова, А.Н. Мешков, А.А. Сортов, М.А. Якушева. Трудности модульной верификации аппаратуры на примере буфера команд микропроцессора «Эльбрус-2S». Вопросы радиоэлектроники, серия ЭВТ, № 3, 2013. С. 84-96.
  7. Бурдонов И.Б., Косачев А.С. Формализация тестового эксперимента –II. Программирование, 2013, №4–стр. 3-27
  8. Zakharov I., Mutilin V., Novikov E., Khoroshilov A. Generating Environment Model for Linux Device Drivers. Proceedings of the 7th Spring/Summer Young Researchers' Colloquium on Software Engineering. Kazan. 2013.
  9. Е.А. Герлиц. Измерение тестового покрытия Си программ по критерию MC/DC. Университетский научный журнал. 2013. № 5, с. 203-210.
  10. А.С. Камкин, С.А. Смолов. Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода. Конференция «Методы и инструменты анализа программ», 2014.
  11. А. Камкин, Т. Сергеева, А. Татарников, А. Утехин. MicroTESK: Расширяемая среда для генерации тестовых программ. Весенне-летний коллоквиум молодых исследователей в области программной инженерии, 2013
  12. Бурдонов И.Б., Косачев А.С. Обход неизвестного графа коллективом автоматов. Труды Международной суперкомпьютерной конференции Научный сервис в сети Интернет: все грани параллелизма. 2013, изд. МГУ, стр. 228-232.
  13. Никита Комаров О реализации метода выявления состояний гонки для модулей ядра Linux на основе точек прерывания. Труды SYRCoSE 2013
  14. Андрианов П.С. Оценка покрытия кода при статическом анализе. Сборник тезисов десятой конференции разработчиков свободных программ, Калуга, 2013, сс. 35-38.
  15. Д. Бейер, Ш. Лёве, Е. Новиков, А. Стахлбауер, Ф. Вендлер. Повторное использования уточнений для эффективной регрессионной верификации. Труды 9й объединенной Европейской конференции по программной инженерии и Симпозиума по основам программной инженерии ACM SIGSOFT, страницы 389-399. ACM, New York, 2013.
  16. М. Чупилко, А. Проценко. Распознавание и объяснение некорректного поведения при проведении динамической верификации аппаратуры. Весенне-летний коллоквиум молодых исследователей в области программной инженерии, 2013.
  17. М. Чупилко, А. Камкин. Динамическая верификация, основанная на исполнимых моделях: сравнение временных трасс времени исполнения. Model-Based Testing Workshop (MBT), 2013. Стр. 67-81.
  18. Бурдонов И.Б., Косачев А.С. Согласование конформности и композиции. Программирование. № 6.
  19. А. Камкин, С. Смолов, И. Мельниченко. Статический Анализ HDL-описаний: Извлечение Моделей для Верификации. East-West Design & Test Symposium (EWDTS), 2013, стр. 1-4.
  20. Jens Grabowski, Victor Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Milan Zoric. Towards the Usage of MBT at ETSI. Proceedings of MBT 2013:30-34.
  21. Alexander K. Petrenko, Victor Kuliamin, Andrey Maksimov. UniTESK: Component Model Based Testing. ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (ICTERI-2013), Part II, 2nd International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verifica, 2013, p.573-589.
  22. В.П. Иванников, А.К. Петренко, В.В. Кулямин, А.В. Максимов. Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 207-218.
  23. М.У. Мандрыкин, В.С. Мутилин, А.В. Хорошилов. Введение в метод CEGAR — уточнение абстракции по контрпримерам. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 219-292.
  24. Е.М. Новиков. Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 293-316.
  25. Владимир Федотов. Автоматизация регрессионного тестирования при помощи анализа трасс событий. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 317-326.
  26. Захаров И.С., Мутилин В.С., Новиков Е.М., Хорошилов А.В. Моделирование окружения драйверов устройств операционной системы Linux. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 85-112.

2012

  1. Khoroshilov, A., Albitskiy, D., Koverninskiy, I., Olshanskiy, M., Petrenko, A., Ugnenko, A. AADL-Based Toolset for IMA System Design and Integration. SAE Int. J. Aerosp. 5(2):2012.
  2. Чупилко М.М. Разработка тестовых систем для многомодульных моделей аппаратуры. Программирование, 2012, №1, с.47-58.
  3. Buzdalov D. Enhancement of automated static verification efficiency through manual quantifiers instantiation. Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering SYRCoSE.
  4. Бурдонов И.Б., Косачев А.С. Финальные модели спецификаций и реализаций. Новые информационные технологии в исследовании сложных структур. Материалы 9-ой российской конференции, Томск «Издательство НТЛ».
  5. Мандрыкин М.У., Мутилин В.С., Новиков Е.М. и др. Использова­ние драйверов устройств операционной системы Linux для сравнения ин­струментов статической верификации. Программирование. Выпуск 5.
  6. Dirk Beyer and Alexander K. Petrenko. Linux Driver Verification. In T. Margaria and B. Steffen, editors, Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012, Part II, Heraklion, Crete, October 15-18), LNCS 7610, pages 1-6, 2012. Springer-Verlag, Heidelberg.
  7. Kamkin A., Tatarnikov A. MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors. Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE).
  8. Пакулин Н.В., Тугаенко А.Н., Шнитман В.З. Тестирование протоколов электронной почты Интернета с использованием моделей. Программирование. т. 37 №5 - Москва: МАИК “Наука/Интерпериодика”, 2012.
  9. Y. Gerlits, A. Khoroshilov. Model-Based Testing of Safety Critical Real-Time Control Logic Software. In Proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), Tallin, Estonia, March 25, 2012.
  10. A. Khoroshilov, I. Koverninskiy, M. Olshanskiy, A. Petrenko, A. Ugnenko. Model-based Tool Chain For System Design and System Integration of IMA. In Proceedings of the International Space System Engineering Conference DASIA-2012, pp. 67-71, Dubrovnik, Croatia, May 14-16, 2012.
  11. Захаров И.С. Моделирование окружения драйверов операционной системы Linux для поддержки процесса статической верификации. Сборник трудов 55-ой научной конференции МФТИ "Управление и прикладная математика". Том 2.
  12. Костычев Е.А., Омельченко В.А., Зеленов С.В. Нацеленная генерация данных для тестирования приложений над базами данных. Программирование, 2012, №6 сс. 63-73.
  13. Швед П.Е., Мутилин В.С., Мандрыкин М.У. Опыт развития инструмента статической верификации BLAST. Программирование. Выпуск 3.
  14. Shved P., Mandrykin M., Mutilin V. Predicate Analysis with Blast 2.7. Proceedings of TACAS. 2012. Vol. 7214. P. 525–527.
  15. Denis Efremov, Nikolay Pakulin. Sevigator: Network Confinement of Malware Applications and Untrusted Operating Systems. Proceedings of SECRYPT 2012, SciTePress 2012, pp.395-398.
  16. Бурдонов И.Б., Косачев А.С. Удаление из спецификации неконформных трасс. Новые информационные технологии в исследовании сложных структур. Материалы 9-ой российской конференции, Томск «Издательство НТЛ».
  17. M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov, and P. E. Shved. Using Linux Device Drivers for Static Verification Tools Benchmarking. Programming and Computer Software, 2012, Volume 38, Number 5, Pages 245-256.
  18. И. Бурдонов, А. Косачев. Финальные модели спецификации. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 233-280.
  19. М.У. Мандрыкин, В.С. Мутилин, Е.М. Новиков, А.В. Хорошилов. Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 293-326.
  20. В.С. Мутилин., М.У. Мандрыкин. Интерполяция формул с кванторами в CSIsat на основе инстанцирования. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 327-348.
  21. В.С. Мутилин, Е.М. Новиков, А.В. Хорошилов. Анализ типовых ошибок в драйверах операционной системы Linux. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 349-374.
  22. А. Третьяков. Автоматизация построения расписаний для периодических систем реального времени. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 375-400.
  23. Игорь Бурдонов, Александр Косачев. Зависимости между ошибками на класах тестируемых реализаций. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 323-358.
  24. В.В. Кулямин. Комбинаторная генерация программных конфигураций ОС. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 359-370.
  25. Е.М. Новиков, А.В. Хорошилов. Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 371-386.
  26. А.В. Никешин, Н.В. Пакулин, В.З. Шнитман. Разработка тестового набора для верификации реализаций протокола безопасности TLS. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 387-404.
  27. Д. Бейер, А.К. Петренко. Верификация драйверов операционной системы Linux. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 405-412.
  28. А.В. Цыварев, В.А. Мартиросян. Тестирование драйверов файловых систем в ОС Linux. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 413-426.

2011

  1. M. Chupilko, A. Kamkin. A TLM-based approach to functional verification of hardware components at different abstraction levels. Test Workshop (LATW), 2011 12th Latin American, 1-6.
  2. Vadim Mutilin, Evgeniy Gerlits, Vladimir Fedotov. Analysis of Complex Data Structures with PEX. SSSEV, 2011.
  3. Третьяков А.В. Автоматизация составления расписаний для систем реального времени. Труды 54-й научной конференции МФТИ "Проблемы фундаментальных и прикладных естественных и технических наук в современном информационном обществе". Управление и прикладная математика. Т.2 - М.: МФТИ, 2011, с. 70-71.
  4. M.Chupilko. C++TESK-SystemVerilog united approach to simulation-based verification of hardware designs. EWDTS-2011.
  5. V. Kuliamin, N. Pakulin, A. Tugaenko. Case Studies of Summer Model-based Testing Framework. Model-based Testing User Conference, October 18-20, 2011.
  6. O. Khorevsky, A. Khoroshilov, A. Ugnenko, S. Zelenov. Configurable AFDX network simulation. In Proceedings of the International Space System Engineering Conference DASIA-2011, pp. 31-34, San Anton, Malta, May 17-20, 2011.
  7. M.Chupilko. Developing test systems for multi-modules hardware designs. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 111-116.
  8. Д. В.Силаков, А. В. Хорошилов. Методы обеспечения переносимости ПО. Программирование, Том 37, 2011, №1 сс. 57-66.
  9. V.N. Fedotov. Fuzzy Matching for Partial XML Merge. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 42-44.
  10. A. Demakov, A. Kamkin, A. Sortov. High-Performance Testing: Parallelizing Functional Tests for Computer Systems Using Distributed Graph Exploration. Open Cirrus, 2011.
  11. Alexey Khoroshilov, Igor Koverninskiy, Alexander Petrenko, Alexender Ugnenko. Integrating AADL-based Tool Chain into Existing Industrial Processes. In Proceedings of 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2011), pp. 367-371, ISBN: 978-1-61284-853-2, Las Vegas, USA, April 27-29, 2011.
  12. Буздалов Д. В. Использование моделей при тестировании многопоточных программ. Сборник научных трудов конференции по актуальным проблемам системной и программной инженерии, Москва, 2011
  13. А.Н. Тугаенко. Метод тестирования соответствия для расширяемых протоколов сети Интернет. Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2011».
  14. N. Pakulin, A. Tugaenko. Model Based Conformance Testing for Extensible Internet Protocols. Proceedings of SYRCoSE 2011.
  15. A.V.Khoroshilov, A.K.Petrenko. Model Based Testing in LSB Compliance Program. MBT User Conference, Berlin, October 18-20th, 2011.
  16. В.П. Иванников, А.К. Петренко. Модели в разработке и анализе программных систем. Ломоносовские чтения, 2011.
  17. В.В. Кулямин, А.А. Петухов. Обзор методов построения покрывающих наборов. Программирование, 2011, №3, с. 3-41.
  18. E.M. Novikov. One Approach to Aspect-Oriented Programming Implementation for the C programming language. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 74-81.
  19. B. Bourdonov, V. P. Ivannikov, A.S.Kosachev, S. D. Kuznetsov A. N. Tomilin Operating System of the Multi-machine Computer AS-6. Perspectives on Soviet and Russian Computing. IFIP Advances in Information and Communication Technology, 2011, Volume 357/2011, pp. 31-35.
  20. В.А. Мартиросян, В.В. Рубанов, Е.А. Шатохин. Основы программирования в среде ОС Linux: учеб. пособие. М.: ИСП РАН; МФТИ, 2011.
  21. Бурдонов И.Б., Грошев С.Г., Демаков А.В., Камкин А.С., Косачев А.С., Сортов А.А. Параллельное тестирование больших автоматных моделей. Вестник ННГУ, №3, 2011 г., стр. 187-193.
  22. Бурдонов И.Б., Косачев А.С. Пополнение спецификации для ioco. Программирование. № 1.
  23. В. Рубанов, Д. Силаков, А. Хорошилов. Программы поддержки студентов и аспирантов для работы в открытых проектах. Сборник докладов Шестой конференции “Свободное программное обеспечение в высшей школе”, сс. 10-14, г. Переславль-Залесский, 29-30 января 2011 г.
  24. Евгений Новиков, Алексей Хорошилов. Реализация аспектно-ориентированного программирования для языка Си. Сборник докладов Восьмой конференции разработчиков свободных программ, с. 23-27, Обнинск, 25-26 июля 2011 г.
  25. A. Kamkin, E. Kornikhin, D. Vorobyev. Reconfigurable Model-Based Test Program Generator for Microprocessors. A-MOST, 2011.
  26. Vladimir V. Rubanov, Eugene A. Shatokhin. Runtime Verification of Linux Kernel Modules Based on Call Interception. Proc. of the Fourth IEEE International Conference on Software Testing, Verification and Validation (ICST'11), pp. 180-189. Berlin, Germany, March 2011.
  27. I.B.Bourdonov, A.S.Kossatchev. Safe simulation testing of systems with refusals and destructions. Automatic Control and Computer Sciences, Vol. 45, №7, 2011, pp. 380-389.
  28. И.Б.Бурдонов, А.С.Косачев. Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 2. Условия конечного полного тестирования Вестник Томского Государственного Университета, № 2(15), 2011.
  29. A. Kamkin. Simulation-Based Verification with Time-Abstract Models. Design & Test Symposium (EWDTS), 2011 9th East-West, 43-47.
  30. О. Л. Петренко, А. В. Хорошилов. Современные образовательные технологии в преподавании ИТ-дисциплин. Сборник докладов 9-ой всероссийской конференции “Преподавание информационных технологий в России”, Саратов, 15 17 мая 2011 г.
  31. P. Shved, V. Mutilin, M. Mandrykin. Static Verification Under The Hood: Implementation Details and Improvements of BLAST. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 54-60.
  32. А. Камкин, М. Чупилко. Обзор современных технологий имитационной верификации аппаратуры. Программирование. №3, стр. 42-49, 2011.
  33. И.Б.Бурдонов, В.П.Иванников, А.С.Косачев. Проект КЛАСТОС. Труды Sorucom-2011. Великий Новгород, 12–16 сентября, 2011.
  34. Khoroshilov A., Mutilin V., Novikov E., Shved P., Strakh A. Towards an Open Framework for C Verification Tools Benchmarking. In Proceedings of the Eighth International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» (PSI 2011), 82-91, Novosibirsk, Russia, June 27 - July 1, 2011.
  35. Е.М. Новиков. Упрощение анализа трасс ошибок инструментов статического анализа кода. АПСПИ, 2011.
  36. Д.В. Ефремов. Защита конфеденциальности приложений, работающих под управлением недоверенной операционной системы Сборник научных трудов конференции по актуальным проблемам системной и программной инженерии, Москва, 2011, с. 160-168.
  37. С.В. Зеленов. Планирование строго периодических задач в системах реального времени. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 113-122.
  38. Н.В. Пакулин, А.Н. Тугаенко. Тестирование протоколов электронной почты Интернета с использованием моделей. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 125-141.
  39. А.C. Камкин, М.M. Чупилко. Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 143-160.
  40. В.С. Мутилин, Е.М. Новиков, А.В. Страх, А.В. Хорошилов, П.Е. Швед. Архитектура Linux Driver Verification. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 163-187.
  41. Д.В. Силаков. Использование аппаратной виртуализации в контексте информационной безопасности. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 25-36.
  42. Е.А. Костычев, В.А. Омельченко, С.В. Зеленов. Нацеленная генерация данных для тестирования приложений над базами данных. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 253-268.

2010

  1. A. Berge, А. Baire, N. Pakulin. An approach to codec development for text-based protocols. TTCN3 User Conference 2010, Beijing, China. 8-10 June, 2010.
  2. D. Yefremov, P. Iakovenko. An approach to on the fly activation and deactivation of virtualization-based security systems. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 157-161.
  3. A. Kamkin, D. Vorobyev. An Approach to Test Programs Generation for Microprocessors Based on Pipeline Hazards Templates. Proceedings of the 4th Spring/Summer young Researchers Colloquium on Software Engineering, pp.130-135, 2010.
  4. Е.А. Герлиц. Апробация технологии тестирования UniTESK на реализациях паттернов управления взаимодействием в AJAX приложениях. Сборник тезисов XVII Международной научной конференции студентов, аспирантов и молодых ученых «Ломоносов 2010». М.: Издательский отдел факультета ВМК МГУ, 2010, C. 12.
  5. М. В. Екимов, И. В. Ковернинский, А. В. Хорошилов. АРМ ПТ: создание системы проектирования тестов для критических систем на основе СПО. Сборник докладов Всероссийской конференции “Свободное программное обеспечение – 2010”, стр.64-65, Санкт-Петербург, 26-27 октября 2010 г.
  6. А.В. Пономаренко, В.В. Рубанов, А.В. Хорошилов. Автоматическая генерация тестов для C/C++ библиотек. Сборник докладов Седьмой конференции разработчиков свободных программ, Переславль, 26-27 июля 2010 г.
  7. И.Б.Бурдонов, А.С.Косачев, Безопасное тестирование симуляции систем с отказами и разрушением. Моделирование и анализ информационных систем, Том 17, Номер 4, 2010. стр. 27—40.
  8. A. Khoroshilov, V. Kuliamin, A. Petrenko, O. Petrenko, V. Rubanov. Building open learning environment for software engineering students. Free and Open Source Software for E-Learning: Issues, Successes and Challenges / Betul Ozkan Czerkawski, editor, ISBN 978-1-61520-917-0, pp. 110-119, Information Science Reference, New York, 2011.
  9. A.Petrenko, Luis S. Barbosa, Antonio Cerone, and Siraj A. Shaikh. Certification of open-source software: A role for formal methods? International Journal of Computer Systems Science and Engineering (IJCSSE), Vol 25 No 4 July 2010.
  10. M. Chupilko, A. Kamkin. Contract Specification of Hardware Designs at Different Abstraction Levels: Application to Functional Verification. SYRCOSE-2010 (Spring-Summer Young Researchers' Colloquium on Software Engineering 2010), pp.125-129.
  11. V. Kuliamin, A. Petukhov. Covering arrays generation methods survey. Proceedings of ISoLA 2010, pp.382-397. Heraclion, Greece, 2010.
  12. A. Kamkin. CTestBench: A Lightweight C-Based Tool for Specification and Functional Verification of Hardware Designs. East-West Design & Test Symposium, September, 2010.
  13. M. Chupilko, A. Kamkin. Developing cycle-accurate contract specifications for synchronous parallel-pipeline hardware: application to verification. BEC-2010 (Baltic Electronics Conference 2010). Proceedings of the 12th Biennial Baltic Electronics Conference (BEC 2010), 185-188 pp.
  14. A.Petrenko, A.Khoroshilov, V.Mutilin, V.Zakharov. Establishing Linux Driver Verification Process. Proceedings of the PSI 2009, LNCS, Volume 5947/2010, 165-176.
  15. A. Kossachev, I.Burdonov. Formal Conformance Verifcation. Short Papers of the 22nd IFIP ICTSS, Alexandre Petrenko, Adenilso Simao, Jose Carlos Maldonado (eds.), Nov. 08-10, 2010, Natal, Brazil, pp.1-6.
  16. Корныхин Е.В. Генерация тестовых данных для тестирования механизмов кэширования и трансляции адресов микропроцессоров. Программирование, 36(1), 2010, с. 40-49.
  17. D. Silakov, A. Smachev. Improving Portability of Linux Applications by Early Detection of Interoperability Issues. Proceedings of ISoLA 2010. Heraclion, Greece, 2010, part II, pp. 357–370.
  18. D. Silakov. Informational System to Support Development and Usage of Linux Interface Standards. Proceedings of SYRCoSE 2010. Moscow, 2010, pp.9-16.
  19. Д. Силаков. Информационно-аналитическая система для разработки и использования базового стандарта операционной системы Linux (LSB). Информационные технологии. №5, 2010, стр. 53-58.
  20. L. Bing, Z. Linlin, R. Guofang, C. Viho, N. Pakulin, M. Zoric. Java-Based Test System Development with Open Source Components. TTCN3 User Conference 2010, Beijing, China. 8-10 June, 2010.
  21. В. В. Кулямин. Компонентная архитектура среды для тестирования на основе моделей. Программирование, 36(5):54-75, 2010.
  22. Д. Силаков. Linux: интерфейсные стандарты и профили. Открытые системы. №1, 2010, стр. 44-47.
  23. A.Petrenko, Yu.Gurevich, B.Finkbeiner. Model-Based Testing. Editor of proceddings. Electronic Note in Theoretical Computer Science, 2009.
  24. M. Chupilko. Models of Synchronous Hardware Designs Based on FSM at Different Abstraction Levels: Application to Functional Verification. EWDTS-2010 (East-West Design and Test Symposium 2010). Proceedings of IEEE East-West Design & Test Symposium (EWDTS 2010), 127-130 pp.
  25. В. Кулямин, В. Рубанов, А. Хорошилов. О комитете по образованию и высшей школе Российской Ассоциации Свободного Программного Обеспечения. Сборник докладов Пятой конференции “Свободное программное обеспечение в высшей школе”, сс. 46-50, г. Переславль-Залесский, 30 31 января 2010 г.
  26. В.В. Гингина. О методах анализа полноты требований. Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2010» (тезисы), стр.13-14.
  27. М.М. Чупилко. Об одном методе применения конечных автоматов для системного тестирования моделей аппаратуры (тезисы). МИЭТ-2010. Микроэлектроника и информатика - 2010. 17-я Всероссийская межвузовская научно-техническая конференция студентов и аспирантов: Тезисы докладов. - М.: МИЭТ, 2010. - 352 с., страница 230.
  28. V.Mutilin. On Context Switch Upper Bound for Checking Linearizability. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, pp. 106-112, Nizhniy Novgorod (2010).
  29. P. Shved. On Reasoning About Finite Sets in Software Model Checking. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, pp. 100-105, Nizhniy Novgorod, 2010.
  30. V.Gingina. On requirements completeness analysis method. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 29-32.
  31. Корныхин Е.В. Определение стратегии вытеснения PseudoLRU на ветвях бинарного дерева. // Сборник тезисов "Ломоносов-2010", с.20-21.
  32. А. В. Хорошилов. Открытость и стандартизация - на пути становления мобильных платформ. Сборник докладов 4-ой конференции “Стандартизация информационных технологий и интероперабельность”, Москва, 7 октября 2010 г.
  33. А.С. Косачев, И.Б.Бурдонов, С.Г. Грошев, А.С. Камкин, А.А. Сортов. Параллельное тестирование больших автоматных моделей. Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Всероссийской суперкомпьютерной конференции (21-24 сентября 2010 г., г. Новороссийск). - М.: Изд-во МГУ, 2010, с. 224-228.
  34. Е.М. Новиков, В.С. Мутилин, А.В. Хорошилов. Применение аспектно-ориентированного программирования для поддержки верификация ядра операционной системы Linux. Труды 52-й Научной Конференции МФТИ стр. 31-33.
  35. О. Л. Петренко, А. В. Хорошилов. Реализация контекстного подхода на основе проблемных ситуаций в ИТ образовании. Сборник докладов 8-ой всероссийской конференции “Преподавание информационных технологий в России”, Петрозаводск, 17-18 мая 2010 г.
  36. А.С. Косачев, И.Б.Бурдонов. Семантики взаимодействия с отказами, дивергенцией и разрушением. "Программирование", 2010, №5–стр 3-23.
  37. И.Б.Бурдонов, А.С.Косачев, Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 1. Гипотеза о безопасности и безопасная конформность. Вестник Томского государственного университета. Управление, вычислительная техника и информатика, №4, 2010, стр.124-133
  38. V. Fedotov. Service-oriented approach to integration testing in distributed systems. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 58-59.
  39. В.Н. Федотов. Сервисно-ориентированный подход к тестированию интеграции в распределенных системах. 5-ый Международный симпозиум по компьютерным наукам в России. Семинар «Семантика, спецификация и верификация программ: теория и приложения». Казань 2010, стр. 144-149.
  40. А.С. Косачев, И.Б.Бурдонов. Симуляция систем с отказами и разрушением. 5-ый Международный симпозиум по компьютерным наукам в России. // Семинар «Семантика, спецификация и верификация программ: теория и приложения».Казань 2010, стр. 43-48.
  41. N. Pakulin, A. Tugaenko. Specification Based Conformance Testing for Email Protocols. Proceedings of ISoLA 2010, pp.371-382. Heraclion, Greece, 2010.
  42. V. Omelchenko, S. Zelenov, E. Kostychev. Test data generation for covering functionality of database applications. Proceedings of the 4th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2010), 2010, 43-49.
  43. A. Tugaenko, N. Pakulin. Test suite development for conformance testing of email protocols. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 87-91.
  44. Y. Gerlits. Testing AJAX functionality with UniTESK. Proceedings of the 4th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCOSE), 2010, pp. 50-57.
  45. А.С. Косачев, И.Б.Бурдонов. Тестирование безопасной симуляции. 5-ый Международный симпозиум по компьютерным наукам в России. // Семинар «Семантика, спецификация и верификация программ: теория и приложения». Казань 2010, стр. 37-42.
  46. А.С. Косачев, И.Б.Бурдонов. Тестирование с преобразованием семантик. Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Всероссийской суперкомпьютерной конференции (21-24 сентября 2010 г., г. Новороссийск). - М.: Изд-во МГУ, 2010. с. 420-424.
  47. А.Н. Тугаенко. Тестирование соответствия почтовых протоколов сети Интернет. Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2010» (тезисы), стр.25-27.
  48. E. Chernov. Universal System for Creation and Installation Linux Packages. Proceedings of the SYRCoSE 2010, pp.17-19.
  49. А. Камкин. Верификация микропроцессоров: борьба с ошибками и управление качеством. Электроника: Наука, Технология, Бизнес, №3, 2010. С. 98-104.
  50. В. В. Кулямин, О. Л. Петренко, А. В. Хорошилов. Возможности свободного программного обеспечения для обучения студентов. Информационные технологии на базе свободного программного обеспечения: материалы всероссийской научно-практической конференции. – Елец: ЕГУ им. И.А. Бунина, 2010. – сс. 194-200.
  51. А.С. Косачев, И.Б.Бурдонов, П.Н.Яковенко. Защита целостности файлов на внешних носителях в условиях недоверенной операционной системы. Методы и технические средства обеспечения безопасности информации: респ. научно-технич. конф.: тез. докл. – СПб. Изд-во СПбГТУ, 2010.
  52. Д.Н. Воробьев, А.С. Камкин. Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 91-114.
  53. М.М. Чупилко. Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 115-128.
  54. А.С. Камкин. Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 129-150.
  55. А.В. Никешин, Н.В. Пакулин, В.З. Шнитман. Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 151-182.
  56. И.Б. Бурдонов, А.С. Косачев. Тестирование конформности на основе соответствия состояний. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 183-220.
  57. С.Г. Грошев. Технология создания гетерогенных трасс, их анализа и генерации из них отчётов. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 45-66.
  58. Е.В. Корныхин. Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 67-80.
  59. В.В. Кулямин. Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 9-44.

2009

  1. N. Pakulin, V. Rubanov. A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems. Ershov Memorial Conference 2009: 331-343.
  2. V.V. Rubanov. A System for Analysis of Backward Binary Compatibility of Shared Libraries in Linux. Proceedings of SECR 2009.
  3. И.Б. Бурдонов, А.С. Косачев. Аналитическая верификация конформности. Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность. Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск). - М.: Изд-во МГУ, 2009. – стр. 261-264.
  4. S. Smolov. Application of UniTESK Technology for Functional Testing of Infrastructural Grid Software. Proceedings of the Third Spring Young Researchers' Colloquium on Software Engineering, 2009, pp. 82-88.
  5. V.V. Rubanov. Automatic Analysis of Applications for Portability Across Linux Distributions. Electronic Communications of the EASST, Volume 20.
  6. Е.А. Герлиц. Автоматизация построения кода медиаторов для функционального тестирования веб-приложений по технологии UniTESK. Сборник тезисов XVI Международной научной конференции студентов, аспирантов и молодых ученых «Ломоносов 2010». М.: Издательский отдел факультета ВМК МГУ, 2009, C. 18.
  7. В. Мутилин, А. Хорошилов. База правил для верификации драйверов Linux. (тезисы) Сборник докладов Шестой конференции разработчиков свободных программ на Протве, стр.22, Обнинск, 27-28 июня 2009 г.
  8. Pavel Shved, Denis Silakov. Binary Compatibility of Shared Libraries Implemented in C++ on GNU/Linux Systems. Third Spring Young Researchers' Colloquium on Software Engeneering (SYRCoSE). Moscow, 2009, pp.17-26.
  9. S.G.Groshev. Bug localization by constructing reduced traces. Programming and Computer Software, Volume 35, Number 3, pp. 145-157, may 2009.
  10. A. Khoroshilov, V. Kuliamin, A. Petrenko, O. Petrenko, V. Rubanov. Building open learning environment for software engineering students. Skovde, Sweden, In Proceedings of the First International Workshop on “D4PL - Designing for participatory learning” (D4PL-2009), 6 June 2009, pp. 11-17.
  11. A.K.Petrenko. Certification of open-source software: A role for formal methods? International Journal of Computer Systems Science and Engineering (IJCSSE), 2009.
  12. M. Chupilko. Constructing Test Sequences for Hardware Designs with Parallel Starting Operations Using Implicit FSM Models. EWDTS-2009 (East-West Design and Test Symposium 2009). Proceedings of IEEE East-West Design & Test Symposium (EWDTS 2009), 393-396 pp.
  13. V.V. Rubanov. Creating Open Educational Environment Based on Open Source Software Projects. Proceedings of CSEDU 2009.
  14. Denis Silakov. Designing a Development Environment to Support Creation of Standard-Compliant Applications. Third Spring Young Researchers' Colloquium on Software Engeneering (SYRCoSE). Moscow, 2009, pp.7-16.
  15. M.V. Arkhipova, S.V. Zelenov. Directed Generation of Test Data for Static Semantics Checker. ISoLA 2008. Communications in Computer and Information Science, vol. 17, Springer Berlin Heidelberg, 2009, 753-768.
  16. N. Pakulin, V. Rubanov. Early creation of cross toolkits for embedded systems. In Proceedings of the 2nd NESTER workshop.
  17. В.Н. Федотов. Эффективное окружение для тестирования оркестраций сервисов. CEE-SECR (стендовый доклад), 2009.
  18. А.С. Косачев. Formal Approach to Software Testing. Сучаснi проблеми прикладноi математики та iнформатики, Львiв, 2009, стр.111-112.
  19. V. V. Kuliamin, V. A. Omelchenko, O. L. Petrenko. Formal Methods: for All or for Chosen? Proceedings of 1-st CSEDU, Lisboa, Portugal, 2009, pp. 217-222.
  20. Е.А. Герлиц. Функциональное тестирование AJAX приложений. Сборник научных трудов Научно-практической конференции «Актуальные проблемы программной инженерии». М.: Издательство МЭСИ, 2009. С. 217-221.
  21. А. В. Баранцев, С. Г. Грошев, В. А. Омельченко Генерация оптимизированных для ручного выполнения сценариев тестирования приложений с графическим интерфейсом пользователя. Сборник докладов международной конференции CEE-SECR-2009, Москва, 28-29 октября 2009 г.
  22. Е.В. Корныхин. Генерация тестовых данных для системного функционального тестирования FIFO-кэш-памяти микропроцессоров. Вычислительные методы и программирование, вып.10, стр. 218-227.
  23. В. В. Кулямин. Интеграция методов верификации программных систем. Программирование, 35(4):41-55, 2009.
  24. М.М. Чупилко. Интеграция подходов к тестированию моделей аппаратуры на основе методологии OVM. МСО-2009 Методы и средства обработки информации. Труды третьей Всероссийской научной конференции/ под ред. Л.Н. Королева. - М.:Издательский отдел факультета вычислительной математики и кибернетики МГУ имени М.В. Ломоносова, 2009., 481 с., страницы 91-96.
  25. А.С. Косачев, И.Б.Бурдонов, П.Н. Яковенко. Использование технологии аппаратной виртуализации для защиты выполнения приложения в недоверенной операционной системе. Методы и технические средства обеспечения безопасности информации: респ. научно-технич. конф.: тез. докл. – СПб. Изд-во СПбГТУ, 2009. – С. 38-39.
  26. М.М. Чупилко. Использование TLM при проектировании моделей аппаратуры. Микроэлектроника и информатика – 2009. 16-я Всероссийская межвузовская научно-техническая конференция студентов и аспирантов: Тезисы докладов. - М.: МИЭТ, 2009. - 372 с., страница 227.
  27. О. Петренко, А. Хорошилов. Контекстный подход как способ формирования новой образовательной среды. Сборник докладов Всероссийской научно-практической конференции "Человек в современном образовательном пространстве", 30 сентября 2009 г., Москва, Современная гуманитарная академия.
  28. П.Н. Яковенко. Контроль доступа процессов к сетевым ресурсам на базе аппаратной виртуализации. Методы и средства обработки информации. // Труды Третьей Всероссийской научной конференции, стр. 355-360. М. 2009.
  29. Денис Силаков. Linux Foundation: Консорциум, продвигающий Linux. Open Source - электронное приложение к журналу "Системный администратор". N53, декабрь 2009, с.4-6.
  30. P. Iakovenko. Log once, debug anywhere: a portable deterministic approach to record-replay test case execution. TTCN-3 User Conference. Sophia-Antipolis. France. 2009.
  31. Денис Силаков, Владимир Рубанов. LSB SDK - инструментарий разработки переносимых Linux приложений. Тезисы докладов VI конференции разработчиков свободных программ на Протве. Обнинск, 2009, с.37-41.
  32. A. Kamkin. MicroTESK: Automation of Test Program Generation for Microprocessors. East-West Design & Test Symposium, September 18-21, 2009, pp. 35-38.
  33. А.К. Петренко. Миссия научного коллектива в современном мире. 9-я конференция "Россия: ключевые проблемы и решения.
  34. В.С. Мутилин. Многопоточное тестирование программных интерфейсов. Программирование, Вып. 35, №6,, стр. 19-28, 2009.
  35. A.Petrenko. Model-Based Testing. Editor of proceedings. Electronic Note in Theoretical Computer Science, 2009.
  36. А.К. Петренко. На пути к технологии интегрированной поддержки всех фаз жизненного цикла программ. АППИ 2009, стр.61-66.
  37. П.Е. Швед В.С. Мутилин. О применении подхода CounterExample-Guided Abstraction Refinement к задаче статического анализа драйверов ядра «Линукc». Труды 52-й научной конференции МФТИ «Современные проблемы фундаментальных и прикладных наук», Часть VII, Том 2, стр. 52-54, Москва-Долгопрудный, 2009.
  38. П.Н. Яковенко. Обеспечение конфеденциальности информации, обрабатываемой на компьютере с сетевым подключением. Проблемы информационной безопасности. Компьютерные системы, №4(2009), стр.23-41. С.Петербург, 2009.
  39. A. Khoroshilov. Open Source Certification and Educational Process. York, United Kingdom, In Proceedings of the Third International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert’2009), 28 March 2009, pp. 28-35.
  40. И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Программирование, 2009, №6–стр 3-18.
  41. А. В. Хорошилов. Практикум по аналитической верификации программного обеспечения. Сборник докладов Четвёртой конференции “Свободное программное обеспечение в высшей школе”, сс. 29-32, Переславль, 30 января 1 февраля 2009 г.
  42. Е.М. Новиков, В.С. Мутилин, А.В. Хорошилов. Применение аспектно-ориентированного программирования для поддержки верификации ядра операционной системы Linux. Труды 52-й научной конференции МФТИ «Современные проблемы фундаментальных и прикладных наук», Часть VII, Том 2, стр.31-33, Москва-Долгопрудный, 2009.
  43. С.А. Смолов. Применение технологии UniTESK для функционального тестирования инфраструктурного ПО Грид. Сборник тезисов XVI международной научной конференции студентов, аспирантов и молодых ученых "Ломоносов - 2009". Секция "Вычислительная математика и кибернетика", 2009, стр. 78.
  44. В.А. Омельченко. Проблемы коммуникации в проектах с участием организаций разных организационных культур. Материалы II Международной научно-практической конференции, Одесса 2009, с. 184-187.
  45. В.А. Омельченко, О.Л. Петренко. Проблемы коммуникации в различных типах организационных культур. Труды 2-й Международной научно-теоретической конференции, Санкт-Петербург 2009, с. 228-233.
  46. С.А. Смолов. Разработка тестового набора для функционального тестирования инфраструктурного программного обеспечения Грид с применением технологии UniTESK. Сборник научных трудов научно-практической конференции "Актуальные проблемы программной инженерии", 2009, стр.183-189.
  47. Н.В.Пакулин, А.Н.Тугаенко. Разработка тестовых наборов для тестирования соответствия почтовых протоколов. Конференция АППИ-2009, стр. 154-160.
  48. О. Петренко, В. Рубанов, А. Хорошилов. Развитие компетенций студентов в условиях открытой образовательной среды. Сборник докладов Всероссийской научно-практической конференции "Модульно-компетентностный подход в разработке образовательного контента и обеспечении качества подготовки выпускников в условиях ИКТ-обучения", 25 июня 2009 г., Москва, Современная гуманитарная академия.
  49. А. Пономаренко, В. Рубанов, А. Хорошилов. Система анализа обратной бинарной совместимости библиотек Linux. Сборник докладов международной конференции “Software Engineering Conference (Russia)”, SEC(R)-2009, сс. 318 331, Москва, 28 29 октября 2009 г.
  50. Е.В. Корныхин. Система генерации тестовых данных для системного функционального тестирования микропроцессоров ТЕСЛА. "Микроэлектроника и информатика-2009", стр.87.
  51. Е.В. Корныхин. Система генерации тестовых программ с использованием ограничений ТЕСЛА. "Ломоносов-2009", стр. 38-39.
  52. Е. С. Чернов. Система поиска эквивалентных зависимостей пакетов для различных дистрибутивов ОС Linux. Сборник тезисов 52-ой научной конференции МФТИ 2009, 49-51.
  53. И.Б. Бурдонов, А.С. Косачев. Системы с приоритетами: конформность, тестирование, композиция. Программирование, 2009, №4–стр. 24-40.
  54. E. Kornikhin. SMT-based Test Program Generation for Cache-memory Testing. East and West-2009, pp124-127.
  55. О. Л. Петренко, А. В. Хорошилов. Создание контекстной среды для подготовки ИТ-специалистов. Сборник докладов 7-ой всероссийской конференции “Преподавание информационных технологий в России”, Йошкар-Ола, 18 19 мая 2009 г.
  56. A. Kamkin. Specification-Driven Construction of Testbench Checkers for RTL Models of Synchronous Parallel-Pipeline Hardware. Written for RTL and High-Level Testing Workshop, 2009.
  57. M. Chupilko, A. Kamkin. Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs. NorChip-2009, pp.1-4.
  58. V. Kuliamin. Standardization and Testing of Mathematical Functions. Proc. of PSI’2009, Novosibirsk, Russia, June 2009, LNCS 5947:257-268, Springer, 2009.
  59. N. Pakulin. Telecommunication Protocol Testing. Microsoft Research & Institute for System Programming RAS Joint Workshop, Moscow, 19-20 June, 2009.
  60. Evgeni Kornikhin. Test Data Generation for LRU Cache-Memory testing. SYRCoSE'09, pp. 88-92.
  61. И.Б. Бурдонов, А.С. Косачев. Тестирование конформности с открытым состоянием. Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск). - М.: Изд-во МГУ, 2009. – стр. 265-269.
  62. В.Н. Федотов. Тестирование SOA: реальность и перспективы. Сборник докладов АППИ-09, стр.193-202.
  63. Eugene Novikov, Denis Silakov. The Automated Analysis of Header Files for Support of the Standardization Process. Third Spring Young Researchers' Colloquium on Software Engeneering (SYRCoSE). Moscow, 2009, pp.27-34.
  64. S. Frenkel, A.Kamkin. Verification Methodology Based on Algorithmic State Machines and Cycle-Accurate Contract Specifications. East-West Design & Test Symposium, September 18-21, 2009, pp. 39-42.
  65. A. Kossachev, I. Burdonov, P.Iakovenko. Virtualization-based separation of privilege: working with sensitive data in untrusted environment. Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems,2009, pp.1-6.
  66. А.С. Камкин. Метод формальной спецификации аппаратуры с конвейерной организацией и его приложение к задачам функционального тестирования. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 107-128.
  67. В.В. Рубанов. Современная инфраструктура для обеспечения совместимости Linux-платформ и приложений. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 129-141.
  68. В. В. Кулямин. Перспективы интеграции методов верификации программного обеспечения. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 73-88.
  69. В.С. Мутилин. Метод проверки линеаризуемости многопоточных Java программ. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 89-106.
  70. Д.Н. Воробьев, А.С. Камкин. Генерация тестовых программ для подсистемы управления памятью микропроцессора. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 119-132.
  71. Я.С. Губенко, А.С. Камкин, М.М. Чупилко. Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 133-143.
  72. Е. В. Корныхин. Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетом кэширования и трансляции адресов. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 145-160.
  73. И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 161-192.
  74. И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 193-208.
  75. Д. В. Силаков, А.В. Хорошилов. Методы обеспечения переносимости ПО. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 25-39.
  76. Н.В. Пакулин, С.А. Смолов. Применение технологии UniTESK для функционального тестирования инфаструктурного ПО Грид. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 41-61.
  77. А. В. Баранцев, С. В. Грошев, В. А. Омельченко. Генерация оптимизированных для ручного выполнения сценариев тестирования приложений с графическим интерфейсом пользователя. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 75-92.
  78. В. В. Кулямин. Организация сложных тестовых наборов. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 9-24.
  79. М.В. Архипова, С.В. Зеленов. Направленная генерация тестовых данных для анализаторов статической семантики. Труды Института системного программирования РАН. Том 17, 2009 г. Стр. 93-117.

2008

  1. В. Рубанов, К. Власов, А. Смачев. Анализ совместимости Linux приложений с различными дистрибутивами. Тезисы докладов V Конференции разработчиков свободных программ на Протве. – М.: Институт Логики, 2008.
  2. К. Власов, В. Рубанов, А. Смачев. Автоматизация анализа совместимости Linux приложений с различными дистрибутивами. Тезисы докладов конференции «Software Engineering Conference Russia 2008», Москва 2008.
  3. Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin. Automated Formal Testing of C API Using T2C Framework. In Proceedings of the Third International Symposium «Leveraging Applications of Formal Methods, Verification and Validation» (ISoLA 2008), Porto Sani, Greece, October 13-15, 2008. pp 56-70.
  4. A. Kossachev Automated test Generation’s Technology. Сучаснi проблеми прикладноi математики та iнформатики, Львiв, 2008, стр.98.
  5. Р. С. Зыбин, В. В. Кулямин, А. В. Пономаренко, В. В. Рубанов, Е. С. Чернов. Автоматизация массового создания тестов работоспособности. Программирование, 34(6):64-80, 2008.
  6. Vladimir Rubanov, Denis Silakov. Certifcation Infrastructure for the Linux Standard Base (LSB). Proceedings of the second International Workshop on Foundations and Techniques for Open Source Software Certifcation (OpenCert 2008). Milan, Italy, 2008. pp. 79-88.
  7. A. Kamkin. Coverage-Directed Verification of Microprocessor Units Based on Contract Specifications. EWDTS 2008, pp. 84-87.
  8. В. В. Кулямин, Н. В. Пакулин, О. Л. Петренко. Единое научно-образовательное пространство СНГ — путь повышения конкурентоспособности на мировом рынке высоких технологий. Сборник трудов 5-й международной научно-практической конференции «Исследование, разработка и применение высоких технологий в промышленности», СПб., 2008, стр. 23-26.
  9. E.S. Chernov. Extension of interface signature descriptions for automatic test generation. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, Volume 2, pp. 37-42.
  10. A.Petrenko. Formal Methods and Innovation Economy: Facing New Challenges. Proceedings of the 6th IEEE International Conference on Software Enginering and Formal Methods, Cape Town, South Africa, 10-14 November 2008.
  11. A. Khoroshilov, V. Mutilin. Formal Methods for Open Source Components Certification. Milan, Italy, In Proceedings of the Second International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert’2008), 10 September 2008, pp. 52-63.
  12. A. Khoroshilov, V. Mutilin, V. Shcherbina, O. Strikov, S. Vinogradov, and V. Zakharov. How to Cook an Automated System for Linux Driver Verification. St. Petersburg, ISP RAS, In Proceedings of the Second Spring Young Researchers’ Colloquium on Software Engineering (SYRCoSE’2008), 2008, Vol 2, pp. 11-14.
  13. О. Л. Петренко, В. В. Кулямин. Интеграция ресурсов научных и учебных учреждений для подготовки специалистов. Труды конференции «Наука, образование, инновации» Москва, 10-12.11.2008.
  14. Vladimir Rubanov, Nikolay Pakulin. ISE language: the ADL for Efficient Development of Cross Toolkits. Proceedings of Model Based Architecting and Construction of Embedded Systems Conference 2008, France. pp. 87-98.
  15. А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Использование абстрактных моделей для генерации тестовых данных сложной структуры. Программирование, Москва, 2008, том. 34, N 6, 341-350.
  16. Д.В. Силаков. Использование базы данных для принятия решений в процессе стандартизации. IX международная научно-техническая конференция "Кибернетика и высокие технологии XXI века". Воронеж, 2008. Том 1, с. 220-229.
  17. А.К. Петренко, В. В. Кулямин, О. Л. Петренко, В. В. Рубанов, А. В. Хорошилов. Подход к преподаванию ИТ на основе проектов по разработке свободного программного обеспечения. Сборник докладов всероссийской конференции “Преподавание информационных технологий в России”, Нижний Новгород, 12 13 мая 2008 г.
  18. Denis Silakov. Linux Distributions and Applications Analysis During Linux Standard Base Development. Second Spring Young Researchers' Colloquium on Software Engeneering (SYRCoSE). St. Petersburg, 2008, V.1, pp.11-18.
  19. Денис Силаков, Владимир Рубанов. LSB Navigator - онлайн справочник для разработчиков Linux приложений. V Конференция разработчиков свободных программ на Протве. Обнинск, 2008, с.36-39.
  20. M.Chupilko, A.Kamkin, D.Vorobyev. Methodolody and Experience of Simulation-Based Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications. SYRCoSE'2008, том 2. (стр. 25-31).
  21. В. В. Кулямин. Методы верификации программного обеспечения. Конкурс обзорно-аналитических статей по направлению «Информационно-телекоммуникационные системы», 2008.
  22. М.М. Чупилко. Методика генерации тестов для устройств, работающих согласно стандарту IEEE 754. Тезисы докладов научно-технической конференции студентов, аспирантов и молодых специалистов МИЭМ. - М.: МИЭМ, 2008. (стр. 85-86).
  23. Хорошилов А.В., Силаков Д.В. Мобильность программного обеспечения в современных условиях. Сборник докладов 2-ой международной конференции “Стандартизация информационных технологий и интероперабельность”, сс. 23 27, Москва, 1 октября 2008 г.
  24. А.В. Никешин, Н.В. Пакулин, В.З. Шнитман Особенности тестирования сервисов безопасности сетевого уровня IPsec второй версии. Труды Всероссийской научной конференции. М.: Изд-во МГУ, 2008, стр. 468.
  25. В. В. Кулямин, А. В. Хорошилов. Построение практикума по информационным технологиям на основе открытого программного обеспечения. Сборник докладов Третьей конференции “Свободное программное обеспечение в высшей школе”, сс. 91-94, Переславль, 2 3 февраля 2008 г.
  26. Д. В. Силаков, А. В. Хорошилов. Проблема переносимости приложений – сорок лет спустя. Сборник докладов международной конференции “Software Engineering Conference (Russia)”, SEC(R)-2008, сс. 318 331, Москва, 21 25 октября 2008 г.
  27. М.А.Потапов, Е.А.Шатохин. Некоторые методы автоматизированного анализа и управляемого преобразования программ. Автоматика и телемеханика, №8, 2008. С.176-186.
  28. Д.В. Силаков. Создание единой системы документации для поддержки разработки приложений, удовлетворяющих стандарту LSB. Труды 51й Научной конференции МФТИ. Москва, 2008. Том 3, стр. 122-124.
  29. А.К.Петренко, О.Л.Петренко, В.В.Рубанов. Создание открытой образовательной среды на основе открытых проектов. Тезисы докладов Третьей конференции "Свободное программное обеспечение в высшей школе",Переславль Залесский, февраль 2008, стр. 12-16.
  30. В.В. Рубанов. Стандартизация и тестирование как составляющие обеспечения безопасности ОС Linux. Материалы XVII Общероссийской конференции «Методы и технические средства обеспечения безопасности информации», СПб.: Изд-во Политехнического университета, 2008.
  31. Е. С. Чернов. Технология Azov автоматизации массового создания тестов работоспособности. Сборник тезисов 51-ой научной конференции МФТИ 2008.
  32. V. Kuliamin. Test Construction for Mathematical Functions. K. Suzuki, T. Higashino, A. Ulrich, T. Hasegawa, eds. Testing of Software and Communicating Systems, proceedings of TESTCOM/FATES 2008, LNCS 5047, pp. 23-37.
  33. E. Kornikhin. Test Data Generation for Arithmetic Subsystem of CPUs MIPS64. Proceedings of SYRCoSE'08, Volume 2, pp.43-46.
  34. Н.В. Пакулин. Участие учреждений РАН в проектах рамочных программ ЕС. Международная научно-практическая конференция «Инновации РАН - 2008»
  35. А.К. Петренко. Унификация в автоматизации тестирования. Позиция UniTESK. Препринт ИСПРАН, т. 14, ч. 1, 2008, стр. 7-22.
  36. В. С. Мутилин, А. В. Хорошилов. Верификация безопасности драйверов ОС Linux. Материалы XVII Общероссийской научно-технической конференции «Методы и технические средства обеспечения безопасности информации», Санкт-Петербург, 7-11 июля 2008 г.
  37. Е.В. Корныхин. Генерация тестовых данных для тестирования арифметических операций центральных процессоров. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 107-117.
  38. А. К. Петренко, О. Л. Петренко, В. В. Кулямин. Роль научных организаций в подготовке ИТ- специалистов. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 41-49.
  39. И.Б. Бурдонов, А.С. Косачев. Обобщённые семантики тестового взаимодействия. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 69-105.
  40. В.В. Рубанов. Обзор методов описания встраиваемой аппаратуры и построения инструментария кросс-разработки. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 7-40.
  41. С.В. Зеленов, С.А. Зеленова. Автоматическое определение выполнимости наборов формул для операций сравнения. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 109-118.
  42. А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Генератор сложных данных Pinery: реализация новых возможностей UniTESK. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 119-136.
  43. С.Г. Грошев. Локализация ошибок методом сокращенного воспроизведения трассы. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 137-160.
  44. Е.С. Чернов, В. В. Кулямин. Тестирование современных библиотек тригонометрических функций. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 161-178.
  45. И.Б. Бурдонов, А.С. Косачев. Системы с приоритетами: конформность, тестирование, композиция. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 23-54.
  46. И.Б. Бурдонов, А.С. Косачев. Эквивалентные семантики взаимодействия. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 55-72.
  47. А.К. Петренко. Унификация в автоматизации тестирования. Позиция UniTESK. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 7-22.
  48. В.С. Мутилин. Многопоточное тестирование программных интерфейсов. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 73-88.
  49. В.В. Кулямин. Критерии тестового покрытия, основанные на структуре контрактных спецификаций. Труды Института системного программирования РАН. Том 14, часть 1, 2008 г. Стр. 89-108.
  50. Р.С. Зыбин, А.В. Пономаренко, В.В. Рубанов, Е.С. Чернов. Расширение описаний сигнатур операций для автоматической генерации тестов. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 109-128.
  51. А.В. Пономаренко, Е.С. Чернов. Алгоритм генерации тестов работоспособности на основе расширенной базы данных LSB. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 129-142.
  52. Р.С. Зыбин. Опыт применения технологии Azov для тестирования библиотеки Qt3. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 143-158.
  53. Д.В. Силаков. Автоматизация тестирования web-приложений, основанных на скриптовых языках. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 159-178.
  54. А.С. Камкин. Генерация тестовых программ для микропроцессоров. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 23-64.
  55. В.В. Рубанов, А.В. Хорошилов, Е.А. Шатохин. T2C: технология автоматизированной разработки тестов базовой функциональности программных интерфейсов. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 65-82.
  56. А.C. Камкин, М.M. Чупилко. Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 7-22.
  57. Р.С. Зыбин, В.В. Кулямин, А.В. Пономаренко, В.В. Рубанов, Е.С. Чернов. Технология Azov автоматизации массового создания тестов работоспособности. Труды Института системного программирования РАН. Том 14, часть 2, 2008 г. Стр. 83-108.

2007

  1. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Безопасность, верификация и теория конформности. "Материалы второй международной научной конференции по проблемам безопасности и противодействия терроризму. МГУ 2006", М., МЦНМО, 2007, стр. 135-158.
  2. В.В.Кулямин, А.К.Петренко, В.В.Рубанов, А.В.Хорошилов. Формализация интерфейсных стандартов и автоматическое построение тестов соответствия. Информационные технологии, 8:2-7, М. Новые технологии, 2007.
  3. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Формализация тестового эксперимента. Программирование, №5, 2007, стр. 3-32.
  4. А.В.Хорошилов. Формальное описание интерфейсов как средство улучшения интероперабельности. Сборник докладов международной конференции "Стандартизация информационных технологий и интероперабельность", стр. 61-67, Москва, 2-3 октября 2007 г.
  5. В.П.Иванников, А.С.Камкин, А.С.Косачев, В.В.Кулямин, А.К.Петренко. Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры. Программирование, №5, 2007, стр. 47-61.
  6. S.Zelenov, S.Zelenova. Model-Based Testing of Optimizing Compilers. Proc. of the 19th IFIP TC6/WG6.1 International Conference on Testing of Software and Communicating Systems - 7th International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2007), LNCS 4581, Springer-Verlag, Berlin, 2007, 365-377.
  7. А.В. Хорошилов О генерации последовательностей тестовых воздействий при тестировании телекоммуникационных протоколов на основе моделей. Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета", ИСП РАН, М., 2007 г., стр. 19-25.
  8. А.В.Демаков. Объектно-ориентированное описание графовых структур данных. Программирование, Вып.33, №5, 2007.
  9. Н.В. Пакулин, А.В. Хорошилов Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов. Журнал "Программирование" № 5, 2007 г., стр. 1-29.
  10. В.В.Кулямин. Стандартизация и тестирование реализаций математических функций, работающих с числами с плавающей точкой. Программирование, Вып.33, №3, 2007, стр. 44-72.
  11. В.С. Мутилин. Тестирование компонентов, взаимодействующих посредством удаленного вызова методов. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 103-122.
  12. А.С. Камкин. Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 123-142.
  13. Д. В. Силаков. Текущее состояние и перспективы развития инфраструктуры LSB. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 31-46.
  14. С.В. Зеленов, Н.В. Пакулин. Верификация компиляторов – систематический подход. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 47-64.
  15. В.В. Гингина, С.В. Зеленов, С.А. Зеленова. Тестирование трансляторов: проблема построения оракула для генератора кода. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 65-78.
  16. Н.В. Пакулин, А.К. Петренко, О.Л. Петренко, А.А. Сортов, А.В. Хорошилов. Открытые стандарты и новые формы международного сотрудничества. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 7-30.
  17. К.А. Власов, А.С. Смачёв. Методика автоматизированной проверки возвращаемых кодов ошибок при тестировании программных интерфейсов. Труды Института системного программирования РАН. Том 13, часть 1, 2007 г. Стр. 93-102.
  18. В.В. Рубанов, К.А. Власов. Разработка ОС реального времени для цифрового сигнального процессора. Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 165-178.

2006

  1. А.С.Косачев, В.Н.Пономаренко. Анализ подходов к верификации функций безопасности и мобильности. Препринт Института системного программирования РАН, № 15, 2006.
  2. S.Zelenov, S.Zelenova. Automated Generation of Positive and Negative Tests for Parsers. Proc. of the 5th Int. Workshop on Formal Approaches to Testing of Software (FATES 2005), LNCS 3997, Springer-Verlag, Berlin, 2006, 187-202.
  3. S.Zelenov, D.Silakov, A.K.Petrenko, M.Conrad, I.Fey. Automatic Test Generation for Model-Based code Generators. IEEE ISoLA 2006 Second Intern.Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Paphos, Cyprus, 2006, pp. 68-75.
  4. V.Mutilin. Concurrent Testing of Java Components Using Java PathFinder. IEEE ISoLA 2006 Second Intern.Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Paphos, Cyprus, 2006, pp. 45-51.
  5. I.B.Bourdonov, A.S.Kossatchev, V.V.Kuliamin. Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. Proceedings of the Workshop on Model Based Testing (MBT 2004), Elsevier, 2006.
  6. A.Grinevich, A.Khoroshilov, V.Kuliamin, D.Markovtsev, A.Petrenko, V.Rubanov. Formal Methods in Industrial Software Standards Enforcement. Proc. of PSI'2006, Novosibirsk, Russia, June 2006.
  7. В.В.Кулямин, Н.В.Пакулин, О.Л.Петренко, А.А.Сортов, А.В.Хорошилов. Формализация требований на практике. Препринт Института системного программирования РАН, №13, 2006.
  8. А.В. Хорошилов. Linux Standard Base: история успеха? Препринт Института системного программирования РАН, №10, 2006.
  9. И.Б. Бурдонов, А.С. Косачев, В.Н. Пономаренко, В.З. Шнитман Обзор подходов к верификации распределенных систем. Препринт 16. М.: ИСП РАН, 2006, стр. 61.
  10. И.Б.Бурдонов, А.С.Косачев, В.Н.Пономаренко. Операционные системы реального времени. Препринт Института системного программирования РАН, № 14, 2006.
  11. А.В.Демаков. TreeDL: язык описания графовых структур данных и операций над ними. Вычислительные методы и программирование, Том 7, 2006.
  12. А.В. Пономаренко. Разработка модельной реализации функций Бесселя из стандарта LSB. Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 115-142.
  13. А.С. Камкин. Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов. Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 143-166.
  14. А.И. Гриневич, Д.А. Марковцев, В.В. Рубанов. Проблемы совместимости Linux-систем. Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 15-28.
  15. А.В. Хорошилов. Linux Standard Base: история успеха? Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 29-50.
  16. А.И. Гриневич, В.В. Кулямин, Д.А. Марковцев, А.К. Петренко, В.В. Рубанов, А.В. Хорошилов. Использование формальных методов для обеспечения соблюдения программных стандартов. Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 51-68.
  17. В.В. Кулямин. Формальные подходы к тестированию математических функций. Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 69-114.
  18. В.П.Иванников, А.К. Петренко. Задачи верификации ОС Linux в контексте ее использования в государственном секторе. Труды Института системного программирования РАН. Том 10, 2006 г. Стр. 9-14.
  19. С.В. Зеленов, Д.В. Силаков. Автоматическая генерация тестовых данных для оптимизаторов графических моделей. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 129-142.
  20. В.В. Рубанов, А.С. Михеев. Интегрированная среда описания системы команд встраиваемых процессоров. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 143-158.
  21. В.В. Кулямин, В.А. Омельченко, О.Л. Петренко. Формирование профессиональных компетенций современного разработчика ПО. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 237-250.
  22. М.А. Владимиров. Критерии полноты тестового покрытия в генетических алгоритмах генерации тестов. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 57-66.
  23. С.Г. Грошев. Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 67-82.
  24. А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Генерация тестовых данных сложной структуры с учетом контекстных ограничений. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 83-96.
  25. В.С. Мутилин. Паттерны проектирования тестовых сценариев. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 97-128.

2005

  1. V.V.Kuliamin, V.A.Omelchenko, O.L.Petrenko. Active Learning Facilitates Success of Formal Methods in Practice. Formal Methods: Challenges in the business world. Proc. of 2-nd SEEFM, Ohrid, Macedonia, 18-19 Nov 2005, pp.132-141, SEERC, 2005.
  2. V.Kuliamin, A.Petrenko, N.Pakoulin. Extended Design-by-Contract Approach to Specification and Conformance Testing of Distributed Software. Proc. of 9-th WMSCI, Orlando, USA, July 2005, v. VII. Model Based Development and Testing, pp. 65-70.
  3. С.В.Зеленов, С.А.Зеленова. Генерация позитивных и негативных тестов для парсеров. Программирование, Вып.31, №6, 2005, стр. 25-40.
  4. А.С.Косачев, М.А.Посыпкин. Обзор методов тестирования компиляторов. Программирование, №1, 2005, стр. 15-28.
  5. В.В.Кулямин. Построение тестовых последовательностей при минимуме информации о тестируемой системе. Программирование, Вып.31, №6, 2005, стр. 13-24.
  6. V.Kuliamin, A.Petrenko, N.Pakoulin. Practical Approach to Specification and Conformance Testing of Distributed Network Applications. Proc. of 2-nd ISAS 2005, Berlin, Germany, April 2005, pp. 60-73 M. Malek, E. Nett, N. Suri, eds. Service Availability. LNCS 3694, pp. 68-83, Springer-Verlag, 2005.
  7. В.П.Иванников, А.С.Камкин, В.В.Кулямин, А.К.Петренко. Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения. Препринт Института системного программирования РАН, №8, 2005.

2004

  1. V.Kuliamin, A.K.Petrenko. Applying Model Based Testing in Different Contexts. Proc. of Seminar on Perspectives on Model Based Testing, Dagstuhl, Germany, September 2004.
  2. А.С.Косачев, Ф.Куттер, М.А.Посыпкин. Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования. Программирование, №4, 2004, стр. 52-67.
  3. V.Kuliamin. Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System. Proc of ISOLA 2004, Cyprus, October 2004, pp. 311-316.
  4. V.Kuliamin. Multi-paradigm Models as Source for Automated Test Construction. Proc. of Workshop on Model Based Testing, Barcelona, Spain, March 2004. Electronic Notes in Theoretical Computer Science 111:137-160, 2005, Elseveir.
  5. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированнный случай. Программирование, №1, 2004,стр. 4-24.
  6. И.Б.Бурдонов. Обход неизвестного ориентированного графа конечным роботом. Программирование, №4, 2004.
  7. И.Б.Бурдонов. Проблема отката по дереву при обходе неизвестного ориентированного графа конечным роботом. Программирование, №6, 2004.
  8. Н.В. Пакулин. Применение UniTesK к тестированию встроенных систем. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 117-136.
  9. В.В. Рубанов, А.И. Гриневич, Д.А. Марковцев. Использование особенностей ЦПОС в компиляторе языка 'С'. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 137-158.
  10. В.В. Кулямин. Комбинаторика слов и построение тестовых последовательностей. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 25-40.
  11. С.В. Зеленов, С.А. Зеленова. Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 41-58.
  12. М.В. Архипова. Генерация тестов для модулей проверки статической семантики в компиляторах. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 59-76.
  13. А.А. Сортов, А.В. Хорошилов. Функциональное тестирование Web-приложений на основе технологии UniTesK. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 77-98.
  14. А.В. Баранцев, В.В. Кулямин, В.А. Омельченко, О.Л. Петренко. Проблемы внедрения наукоемких технологий. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 9-24.
  15. А.Я. Калинов, А.С. Косачёв, М.А. Посыпкин, А.А. Соколов. Автоматическая генерация тестов для графического пользовательского интерфейса по UML диаграммам действий. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 99-116.
  16. В.В. Кулямин, В. А. Омельченко, О. Л. Петренко. Обучение передовым технологиям разработки ПО: проблемы и методы их решения. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 101-120.
  17. A.В. Баранцев, И.Б. Бурдонов, А.В. Демаков, С.В. Зеленов, А.С. Косачев, В.В. Кулямин, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, А.В. Хорошилов. Подход UniTesK к разработке тестов: достижения и перспективы. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 121-156.

2003

  1. С.В.Зеленов, С.А.Зеленова, А.С.Косачев, А.К.Петренко. Генерация тестов для компиляторов и других текстовых процессоров. Программирование, Вып.29, №2, 2003, стр. 59-69.
  2. V.V.Kuliamin, A.K.Petrenko, N.V.Pakoulin, A.S.Kossatchev, I.B.Bourdonov. Integration of Functional and Timed Testing of Real-time and Concurrent Systems. Proc. of PSI 2003, LNCS 2890, pp. 450-461, Springer-Verlag, 2003.
  3. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Неизбыточные алгоритмы обхода графов: детерминированный случай. Программирование, Вып.29, №5, 2003, стр. 59-69.
  4. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин, А.К.Петренко. Подход UniTesK к разработке тестов. Программирование, №6, 2003, стр. 25-43.
  5. Е.Н.Бритвина, С.Г.Грошев, А.Монахов, А.К.Петренко, О.Л.Петренко Тестирование на основе моделей. Открытые системы, Москва, № 9, 2003, стр. 41-47.
  6. V.Kuliamin, A.Petrenko, A.Kossatchev, I.Bourdonov. UniTesK: Model Based Testing in Industrial Practice. Proceedings of the 1-st European Conference on Model-Driven Software Engineering, Nurnberg, December 2003, pp. 55-63.
  7. Г.В. Ключников, А. С. Косачев, Н.В. Пакулин, А. К. Петренко, В.З. Шнитман Применение формальных методов для тестирования реализации IPv6. Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 121-140.
  8. В. В. Кулямин, О. Л. Петренко. Место тестирования среди методов оценки качества ПО. Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 163-175.
  9. И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин. Асинхронные автоматы: классификация и тестирование. Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 7-83.

2002

  1. I.Bourdonov, A.Kossatchev, V.Kuliamin, and A.Petrenko. UniTesK Test Suite Architecture. Proc. of FME 2002. LNCS 2391, pp. 77-88, Springer-Verlag, 2002.
  2. В.В. Рубанов. Способы отображения объектов в реляционных базах данных. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 139-164.
  3. В.В. Рубанов, М.А. Миткевич, Д.А. Марковцев, А.И. Гриневич. Ядро объектно-реляционной системы ODESTOR. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 165-179.

2001

  1. I.B.Bourdonov, A.V.Demakov, A.A.Jarov, A.S.Kossatchev, V.V.Kuliamin, A.K.Petrenko, and S.V.Zelenov. Java Specification Extension for Automated Test Development. Proceedings of PSI'01. LNCS 2244, pp. 301-307. Springer-Verlag, 2001.
  2. A.K.Petrenko. Specification Based Testing: Towards Practice. Perspectives of System Informatics. LNCS, No.2244, 2001, pp. 287-300.

2000

  1. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Использование конечных автоматов для тестирования программ. Программирование, №2, 2000, стр.12-28.
  2. И.Б. Бурдонов, А.В. Демаков, А.С. Косачев, А.В. Максимов, А.К. Петренко. Формальные спецификации в технологиях обратной инженерии и верификации программ. Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 39-54.

1999

  1. А.К.Петренко, Е.А.Кузьменкова. Формальная спецификация программ на языке RSL (методическое пособие по практикуму). МГУ им. М.В.Ломоносова, Москва, 1999.
  2. I.Burdonov, A.Kossatchev, A.Petrenko, D.Galter. KVEST: Automated Generation of Test Suites from Formal Specifications. Proceedings of Formal Method Congress, Toulouse, France, 1999, LNCS, No. 1708, pp.608-621.

1998

  1. А.В.Баранцев, Е.Н.Бритвина, И.Б.Бурдонов, А.С.Косачев, С.В.Гоманюк, А.В.Демаков, А.В.Иванов, А.В.Максимов, А.К.Петренко, Ю.Л.Сазанов, А.А.Сортов, В.П.Стефанов, Г.М.Сумар. Архитектура системы генерации тестов. Вопросы кибернетики. Москва, 1998.

1978-1997

  1. I.Burdonov, A.Kossatchev, S.Cheng, H.Wong. Formal Specification and Verification of SOS Kernel. BNR/NORTEL Design Forum, June 1996.
  2. А.К. Петренко. Технология программирования. Сборник "Современное состояние и тенденции развития информационных технологий в России", Миннауки, Научный совет по ГНТП "Информатизация России", 1995 г., стр.88-108.