Адрес:

109004, г. Москва,
ул. А. Солженицына,
дом 25.

Схема проезда

Факс:

+7(495) 912-15-24

E-mail:

info-isp@ispras.ru

Отдел «Технологий программирования»

Публикации

Диссертации

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

Mонографии

  1. И.Б.Бурдонов. Теория конформности (функциональное тестирование программных систем на основе формальных моделей). LAP Lambert Academic Publishing, 2011, 428 стр.
  2. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин Теория соответствия для систем с блокировками и разрушением. М.: Наука. Глав. ред. физ.-мат. лит., 2008.
  3. В.В.Кулямин. Технологии программирования. Компонентный подход. М. Интернет-университет информационных технологий - БИНОМ. Лаборатория знаний, 2007, 464 стр.

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


2011
  1. И.Б.Бурдонов, А.С.Косачев. Пополнение спецификации для ioco. // Программирование, №1, 2011, с. 3-18.
  2. Третьяков А.В. Автоматизация составления расписаний для систем реального времени. // Труды 54-й научной конференции МФТИ "Проблемы фундаментальных и прикладных естественных и технических наук в современном информационном обществе". Управление и прикладная математика. Т.2 - М.: МФТИ, 2011, с. 70-71.
  3. А.Н. Тугаенко. Метод тестирования соответствия для расширяемых протоколов сети Интернет. // Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2011».
  4. Н.В. Пакулин, А.Н. Тугаенко. Тестирование протоколов электронной почты Интернета с использованием моделей. // Труды Института системного программирования РАН, том 20, 2011 г.
  5. N. Pakulin, A. Tugaenko. Model Based Conformance Testing for Extensible Internet Protocols // Proceedings of SYRCoSE 2011.
  6. A. Demakov, A. Kamkin, A. Sortov. High-Performance Testing: Parallelizing Functional Tests for Computer Systems Using Distributed Graph Exploration. Open Cirrus, 2011.
  7. Д.В. Ефремов. Защита конфеденциальности приложений, работающих под управлением недоверенной операционной системы // Сборник научных трудов конференции по актуальным проблемам системной и программной инженерии, Москва, 2011, с. 160-168.
  8. С.В. Зеленов. Планирование строго периодических задач в системах реального времени. // Труды ИСП РАН, том 20, 2011, 113-122.
  9. A. Kamkin. Simulation-Based Verification with Time-Abstract Models. EWDTS, 2011.
  10. M. Chupilko, A. Kamkin. A TLM-based approach to functional verification of hardware components at different abstraction levels. LATW, 2011.
  11. А. Камкин, М. Чупилко. Обзор современных технологий имитационной верификации аппаратуры, Программирование, 2011.
  12. А. Камкин, М. Чупилко. Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции, Труды ИСП РАН, 2011.
  13. M.Chupilko. Developing test systems for multi-modules hardware designs. SYRCoSE, 2011.
  14. M.Chupilko. C++TESK-SystemVerilog united approach to simulation-based verification of hardware designs. EWDTS-2011.
  15. A. Kamkin, E. Kornikhin, D. Vorobyev. Reconfigurable Model-Based Test Program Generator for Microprocessors. A-MOST, 2011.
  16. Vladimir V. Rubanov, Eugene A. Shatokhin, Runtime Verification of Linux Kernel Modules Based on Call Interception, in Proc. of the Fourth IEEE International Conference on Software Testing,
  17. Verification and Validation (ICST'11), pp. 180-189. Berlin, Germany, March 2011.
  18. В.А. Мартиросян, В.В. Рубанов, Е.А. Шатохин. Основы программирования в среде ОС Linux: учеб. пособие. - М.: ИСП РАН; МФТИ, 2011. ISBN 978-5-7417-0348-8
  19. A.V.Khoroshilov. Linux Driver Verification Project. // Presentation at LinuxCon Europe 2011, Czech Republic, Prague, 26-28 October 2011.
  20. Е.А. Костычев, В.А. Омельченко, С.В. Зеленов. Нацеленная генерация данных для тестирования приложений над базами данных. // Труды ИСП РАН, том 20, 2011, 253—268.
  21. В.В. Кулямин, А.А. Петухов. Обзор методов построения покрывающих наборов // Программирование, 2011, №3, с. 3-41.
  22. И.Б.Бурдонов, В.П.Иванников, А.С.Косачев. Проект КЛАСТОС // Труды Sorucom-2011. Великий Новгород, 12–16 сентября, 2011.
  23. Мутилин В.С., Новиков Е.М., Страх А.В., Хорошилов А.В., Швед П.Е. Архитектура Linux Driver Verification. Труды Института Системного Программирования, Том 20, 2011, с. 163-187.
  24. 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.
  25. A.V.Khoroshilov, A.K.Petrenko. Model Based Testing in LSB Compliance Program. MBT User Conference, Berlin, October 18-20th, 2011.
  26. В. Рубанов, Д. Силаков, А. Хорошилов. Программы поддержки студентов и аспирантов для работы в открытых проектах. Сборник докладов Шестой конференции “Свободное программное обеспечение в высшей школе”, сс. 10-14, г. Переславль-Залесский, 29-30 января 2011 г.
  27. 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.
  28. О. Л. Петренко, А. В. Хорошилов. Современные образовательные технологии в преподавании ИТ-дисциплин. Сборник докладов 9-ой всероссийской конференции “Преподавание информационных технологий в России”, Саратов, 15 17 мая 2011 г.
  29. 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.
  30. Евгений Новиков, Алексей Хорошилов. Реализация аспектно-ориентированного программирования для языка Си. Сборник докладов Восьмой конференции разработчиков свободных программ, с. 23-27, Обнинск, 25-26 июля 2011 г.
  31. Е.М. Новиков. Упрощение анализа трасс ошибок инструментов статического анализа кода. АПСПИ, 2011.
  32. E.M. Novikov. One Approach to Aspect-Oriented Programming Implementation for the C programming language. SYRCoSE, 2011.
  33. Д. В.Силаков, А. В. Хорошилов. Методы обеспечения переносимости ПО. // Программирование, Том 37, 2011, №1 сс. 57-66.
  34. О.Л. Петренко, А.В. Хорошилов. Профессиональное самоопределение студентов в контекстной среде обучения в монографии "Образовательная среда вуза как фактор профессионального самоопределения студентов", Москва, 2011.
  35. V.N. Fedotov. Fuzzy Matching for Partial XML Merge. SYRCoSE, 2011.
  36. V. Kuliamin, N. Pakulin, A. Tugaenko. Case Studies of Summer Model-based Testing Framework, Model-based Testing User Conference, October 18-20, 2011.
  37. P. Shved, V. Mutilin, M. Mandrykin. Static Verification Under The Hood: Implementation Details and Improvements of BLAST. Syrcose, 2011.
  38. Vadim Mutilin. Evgeniy Gerlits. Vladimir Fedotov. Analysis of Complex Data Structures with PEX. SSSEV, 2011.
  39. И.Б.Бурдонов, А.С.Косачев. Удаление из спецификации неконформных трасс // Препринт Института системного программирования РАН, Препринт 23, 2011 г, с. 1-219.
  40. .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.
  41. И.Б.Бурдонов, А.С.Косачев. Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 2. Условия конечного полного тестирования // Вестник Томского Государственного Университета, № 2(15), 2011.
  42. В.П. Иванников, А.К. Петренко. Модели в разработке и анализе программных систем. Ломоносовские чтения, 2011.

2010
  1. В.В. Кулямин. Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий. // Труды Института системного программирования РАН, N 18, 2010, стр. 9-44.
  2. С.Г. Грошев. Технология создания гетерогенных трасс, их анализа и генерации из них отчётов. // Труды Института системного программирования РАН, N 18, 2010, стр. 45-66.
  3. Е.В. Корныхин. Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам. // Труды Института системного программирования РАН, N 18, 2010, стр. 67-80.
  4. Д.Н. Воробьев, А.С. Камкин. Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов. // Труды Института системного программирования РАН, N 18, 2010, стр. 91-114.
  5. М.М. Чупилко. Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций. // Труды Института системного программирования РАН, N 18, 2010, стр. 115-128.
  6. А.С. Камкин. Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров. // Труды Института системного программирования РАН, N 18, 2010, стр. 129-150.
  7. А.В. Никешин, Н.В. Пакулин, В.З. Шнитман. Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2. // Труды Института системного программирования РАН, № 18, 2010, стр. 151-182.
  8. И.Б. Бурдонов, А.С. Косачев. Тестирование конформности на основе соответствия состояний. // Труды Института системного программирования РАН, N 18, 2010, стр. 183-220.
  9. П.Н. Яковенко. Прозрачный механизм удаленного обслуживания системных вызовов. // Труды Института системного программирования РАН, N 18, 2010, стр. 221-242.
  10. A. Kamkin and D. Vorobyev. An Approach to Test Programs Generation for Microprocessors Based on Pipeline Hazards Templates. // The 4th Spring/Summer young Researchers Colloquium on Software Engineering, pp.130-135, 2010.
  11. Y. Gerlits. Testing AJAX functionality with UniTESK // Proceedings of the 4th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCOSE), 2010, pp. 50-57
  12. Е.А. Герлиц. Апробация технологии тестирования UniTESK на реализациях паттернов управления взаимодействием в AJAX приложениях // Сборник тезисов XVII Международной научной конференции студентов, аспирантов и молодых ученых «Ломоносов 2010». М.: Издательский отдел факультета ВМК МГУ, 2010, C. 12
  13. V. Omelchenko, S. Zelenov, E. Kostychev. Test data generation for covering functionality of database applications. // Proc. of the 4th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2010), 2010, 43-49.
  14. Корныхин Е.В. Генерация тестовых данных для тестирования механизмов кэширования и трансляции адресов микропроцессоров // Программирование, 36(1), 2010, с. 40-49
  15. Корныхин Е.В. Определение стратегии вытеснения PseudoLRU на ветвях бинарного дерева // Сборник тезисов "Ломоносов-2010", с.20-21
  16. А.С. Косачев, И.Б.Бурдонов. Симуляция систем с отказами и разрушением. 5-ый Международный симпозиум по компьютерным наукам в России. // Семинар «Семантика, спецификация и верификация программ: теория и приложения».Казань 2010, стр. 43-48.
  17. А.С. Косачев, И.Б.Бурдонов. Тестирование безопасной симуляции. 5-ый Международный симпозиум по компьютерным наукам в России. // Семинар «Семантика, спецификация и верификация программ: теория и приложения». Казань 2010, стр. 37-42.
  18. A. Kossachev, I.Burdonov. Short Papers of the 22nd IFIP ICTSS, Alexandre Petrenko, Adenilso Simao, Jose Carlos Maldonado (eds.), Nov. 08-10, 2010, Natal, Brazil, pp.1-6.
  19. А.С. Косачев, И.Б.Бурдонов. Тестирование с преобразованием семантик. // Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Всероссийской суперкомпьютерной конференции (21-24 сентября 2010 г., г. Новороссийск). - М.: Изд-во МГУ, 2010. с. 420-424.
  20. А.С. Косачев, И.Б.Бурдонов, С.Г. Грошев, А.С. Камкин, А.А. Сортов. Параллельное тестирование больших автоматных моделей. // Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Всероссийской суперкомпьютерной конференции (21-24 сентября 2010 г., г. Новороссийск). - М.: Изд-во МГУ, 2010, с. 224-228.
  21. А.С. Косачев, И.Б.Бурдонов. Семантики взаимодействия с отказами, дивергенцией и разрушением. // "Программирование", -2010, №5–стр 3-23.
  22. А.С. Косачев, И.Б.Бурдонов, П.Н.Яковенко. Защита целостности файлов на внешних носителях в условиях недоверенной операционной системы. // Методы и технические средства обеспечения безопасности информации: респ. научно-технич. конф.: тез. докл. – СПб. Изд-во СПбГТУ, 2010.
  23. 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).
  24. Е.М. Новиков, В.С. Мутилин, А.В. Хорошилов. Применение аспектно-ориентированного программирования для поддержки верификация ядра операционной системы Linux. Труды 52-й Научной Конференции МФТИ стр. 31-33
  25. A.Petrenko, A.Khoroshilov, V.Mutilin, V.Zakharov. Establishing Linux Driver Verification Process. // Proceedings of the PSI 2009, LNCS, Volume 5947/2010, 165-176.
  26. A.Petrenko, Yu.Gurevich, B.Finkbeiner. Model-Based Testing. Editor of proceddings // Electronic Note in Theoretical Computer Science, 2009.
  27. 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.
  28. Д. Силаков. Linux: интерфейсные стандарты и профили. // Открытые системы. №1, 2010, стр. 44-47.
  29. D. Silakov. Informational System to Support Development and Usage of Linux Interface Standards. // Proceedings of SYRCoSE 2010. Moscow, 2010, pp.9-16.
  30. Д. Силаков. Информационно-аналитическая система для разработки и использования базового стандарта операционной системы Linux (LSB). // Информационные технологии. №5, 2010, стр. 53-58.
  31. 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.
  32. В. Кулямин, В. Рубанов, А. Хорошилов. О комитете по образованию и высшей школе Российской Ассоциации Свободного Программного Обеспечения. // Сборник докладов Пятой конференции “Свободное программное обеспечение в высшей школе”, сс. 46-50, г. Переславль-Залесский, 30 31 января 2010 г.
  33. О. Л. Петренко, А. В. Хорошилов. Реализация контекстного подхода на основе проблемных ситуаций в ИТ образовании. // Сборник докладов 8-ой всероссийской конференции “Преподавание информационных технологий в России”, Петрозаводск, 17-18 мая 2010 г.
  34. В. В. Кулямин, О. Л. Петренко, А. В. Хорошилов. Возможности свободного программного обеспечения для обучения студентов. // Информационные технологии на базе свободного программного обеспечения: материалы всероссийской научно-практической конференции. – Елец: ЕГУ им. И.А. Бунина, 2010. – сс. 194-200.
  35. 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.
  36. А.В. Пономаренко, В.В. Рубанов, А.В. Хорошилов. Автоматическая генерация тестов для C/C++ библиотек. // Сборник докладов Седьмой конференции разработчиков свободных программ, Переславль, 26-27 июля 2010 г.
  37. А. В. Хорошилов. Открытость и стандартизация - на пути становления мобильных платформ. // Сборник докладов 4-ой конференции “Стандартизация информационных технологий и интероперабельность”, Москва, 7 октября 2010 г.
  38. М. В. Екимов, И. В. Ковернинский, А. В. Хорошилов. “АРМ ПТ: создание системы проектирования тестов для критических систем на основе СПО”. // Сборник докладов Всероссийской конференции “Свободное программное обеспечение – 2010”, стр.64-65, Санкт-Петербург, 26-27 октября 2010 г.
  39. E. Chernov. Universal System for Creation and Installation Linux Packages. // Сборник 4-ой международной конференции SYRCoSE 2010б pp.17-19.
  40. М.М. Чупилко. Об одном методе применения конечных автоматов для системного тестирования моделей аппаратуры (тезисы) // МИЭТ-2010. Микроэлектроника и информатика - 2010. 17-я Всероссийская межвузовская научно-техническая конференция студентов и аспирантов: Тезисы докладов. - М.: МИЭТ, 2010. - 352 с., страница 230.
  41. 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.
  42. 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.
  43. 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.
  44. 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.
  45. В.В. Гингина. О методах анализа полноты требований. // Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2010» (тезисы), стр.13-14.
  46. V.Gingina. On requirements completeness analysis method. // Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 29-32.
  47. А.Н. Тугаенко. Тестирование соответствия почтовых протоколов сети Интернет. // Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2010» (тезисы), стр.25-27.
  48. 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.
  49. 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.
  50. 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.
  51. N. Pakulin, A. Tugaenko. Specification Based Conformance Testing for Email Protocols. // Proceedings of ISoLA 2010, pp.371-382. Heraclion, Greece, 2010.
  52. V. Kuliamin, A. Petukhov. Covering arrays generation methods survey. // Proceedings of ISoLA 2010, pp.382-397. Heraclion, Greece, 2010.
  53. В.Н. Федотов. Сервисно-ориентированный подход к тестированию интеграции в распределенных системах. 5-ый Международный симпозиум по компьютерным наукам в России. // Семинар «Семантика, спецификация и верификация программ: теория и приложения». Казань 2010, стр. 144-149.
  54. A. Berge, А. Baire, N. Pakulin. An approach to codec development for text-based protocols. TTCN3 User Conference 2010, Beijing, China. 8-10 June, 2010.
  55. 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.
  56. В. В. Кулямин. Компонентная архитектура среды для тестирования на основе моделей. // Программирование, 36(5):54-75, 2010.
  57. А. Камкин. Верификация микропроцессоров: борьба с ошибками и управление качеством. //Электроника: Наука, Технология, Бизнес, №3, 2010. С. 98-104.
  58. A. Kamkin. CTestBench: A Lightweight C-Based Tool for Specification and Functional Verification of Hardware Designs. // East-West Design & Test Symposium, September, 2010.

2009
  1. А. В. Баранцев, С. В. Грошев, В. А. Омельченко. Генерация оптимизированных для ручного выполнения сценариев тестирования приложений с графическим интерфейсом пользователя.// Труды Института системного программирования РАН, N 17, 2009, стр. 75-92.
  2. И.Б. Бурдонов, А.С. Косачев. Системы с приоритетами: конформность, тестирование, композиция. // "Программирование", -2009, №4–стр. 24-40.
  3. И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. // Труды Института системного программирования РАН, N 17, 2009, стр.161-192.
  4. И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. // "Программирование", -2009, №6–стр 3-18.
  5. И.Б. Бурдонов, А.С. Косачев. Тестирование с преобразованием семантик. // Труды Института системного программирования РАН, N 17, 2009, стр.193-208.
  6. И.Б. Бурдонов, А.С. Косачев. Аналитическая верификация конформности. // Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность. Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск). - М.: Изд-во МГУ, 2009. – стр. 261-264.
  7. И.Б. Бурдонов, А.С. Косачев. Тестирование конформности с открытым состоянием. // Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск). - М.: Изд-во МГУ, 2009. – стр. 265-269.
  8. S.G.Groshev. Bug localization by constructing reduced traces.// Programming and Computer Software, Volume 35, Number 3, pp. 145-157, may 2009.
  9. А. В. Баранцев, С. Г. Грошев, В. А. Омельченко. Генерация оптимизированных для ручного выполнения сценариев тестирования приложений с графическим интерфейсом пользователя. Сборник докладов международной конференции CEE-SECR-2009, Москва, 28-29 октября 2009 г.
  10. 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.
  11. М.В. Архипова, С.В. Зеленов. Направленная генерация тестовых данных для анализаторов статической семантики. // Труды ИСП РАН, Москва, 2009, т.17, 93-117.
  12. A. Kamkin. MicroTESK: Automation of Test Program Generation for Microprocessors. // East-West Design & Test Symposium, September 18-21, 2009, pp. 35-38.
  13. 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.
  14. 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.
  15. Д. Воробьев, А. Камкин. Генерация тестовых программ для подсистемы управления памятью микропроцессора. // Институт системного программирования РАН, 2009, стр. 119-132.
  16. Е.В. Корныхин. Система генерации тестовых программ с использованием ограничений ТЕСЛА // "Ломоносов-2009", стр. 38-39.
  17. Е.В. Корныхин. Система генерации тестовых данных для системного функционального тестирования микропроцессоров ТЕСЛА // "Микроэлектроника и информатика-2009", стр.87.
  18. Е.В. Корныхин. Генерация тестовых данных для системного функционального тестирования FIFO-кэш-памяти микропроцессоров // журнал "Вычислительные методы и программирование", вып.10, стр. 218-227.
  19. Е.В. Корныхин. Test Data Generation for LRU Cache-Memory testing. // SYRCoSE'09, pp.88-92.
  20. Е.В. Корныхин. SMT-based Test Program Generation for Cache-memory Testing // East and West-2009, pp124-127.
  21. А.С. Косачев. Formal Approach to Software Testing. // Сучаснi проблеми прикладноi математики та iнформатики, Львiв, 2009, стр.111-112.
  22. В. В. Кулямин. Интеграция методов верификации программных систем. // Программирование, 35(4):41-55, 2009.
  23. В. В. Кулямин. Перспективы интеграции методов верификации программного обеспечения. // Труды ИСП РАН, 16:73-88, 2009.
  24. В.С. Мутилин. Многопоточное тестирование программных интерфейсов // Программирование, Вып. 35, №6,, стр. 19-28, 2009.
  25. 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.
  26. В.А. Омельченко. Проблемы коммуникации в проектах с участием организаций разных организационных культур, Материалы II Международной научно-практической конференции, Одесса 2009, с. 184-187.
  27. В.А. Омельченко, О.Л. Петренко. Проблемы коммуникации в различных типах организационных культур, Труды 2-й Международной научно-теоретической конференции, Санкт-Петербург 2009, с. 228-233.
  28. N. Pakulin, V. Rubanov. Early creation of cross toolkits for embedded systems. In Proceedings of the 2nd NESTER workshop.
  29. N. Pakulin, V. Rubanov. A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems. //Ershov Memorial Conference 2009: 331-343.
  30. N. Pakulin. Telecommunication Protocol Testing. Microsoft Research & Institute for System Programming RAS Joint Workshop, Moscow, 19-20 June, 2009.
  31. А.К. Петренко. На пути к технологии интегрированной поддержки всех фаз жизненного цикла программ. // АППИ 2009, стр.61-66.
  32. А.К. Петренко. Миссия научного коллектива в современном мире. // 9-я конференция "Россия: ключевые проблемы и решения
  33. А.К. Петренко. Certification of open-source software: A role for formal methods? // International Journal of Computer Systems Science and Engineering (IJCSSE), 2009.
  34. V.V. Rubanov. Creating Open Educational Environment Based on Open Source Software Projects. // Proceedings of CSEDU 2009.
  35. V.V. Rubanov. Automatic Analysis of Applications for Portability Across Linux Distributions // Electronic Communications of the EASST, Volume 20
  36. V.V. Rubanov. A System for Analysis of Backward Binary Compatibility of Shared Libraries in Linux. // Proceedings of SECR 2009.
  37. Денис Силаков, Владимир Рубанов. LSB SDK - инструментарий разработки переносимых Linux приложений. // Тезисы докладов VI конференции разработчиков свободных программ на Протве. Обнинск, 2009, с.37-41.
  38. 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.
  39. 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.
  40. 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.
  41. Денис Силаков. Linux Foundation: Консорциум, продвигающий Linux. //Open Source - электронное приложение к журналу "Системный администратор". N53, декабрь 2009, с.4-6.
  42. В.Н. Федотов. Тестирование SOA: реальность и перспективы. // Сборник докладов АППИ-09, стр.193-202.
  43. В.Н. Федотов. Эффективное окружение для тестирования оркестраций сервисов. // CEE-SECR (стендовый доклад), 2009.
  44. А. В. Хорошилов. Практикум по аналитической верификации программного обеспечения. // Сборник докладов Четвёртой конференции “Свободное программное обеспечение в высшей школе”, сс. 29-32, Переславль, 30 января 1 февраля 2009 г.
  45. 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.
  46. О. Л. Петренко, А. В. Хорошилов. Создание контекстной среды для подготовки ИТ-специалистов. // Сборник докладов 7-ой всероссийской конференции “Преподавание информационных технологий в России”, Йошкар-Ола, 18 19 мая 2009 г.
  47. 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.
  48. A. Khoroshilov, V. Mutilin, A. Petrenko, V. Zakharov. Establishing Linux Driver Verification Process, // In Proceedings of the Seventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» (PSI 2009), Novosibirsk, Russia, June 15-19, 2009, Volume 5947/2010, 165-176.
  49. О. Петренко, В. Рубанов, А. Хорошилов. Развитие компетенций студентов в условиях открытой образовательной среды. // Сборник докладов Всероссийской научно-практической конференции "Модульно-компетентностный подход в разработке образовательного контента и обеспечении качества подготовки выпускников в условиях ИКТ-обучения", 25 июня 2009 г., Москва, Современная гуманитарная академия.
  50. О. Петренко, А. Хорошилов. Контекстный подход как способ формирования новой образовательной среды. // Сборник докладов Всероссийской научно-практической конференции "Человек в современном образовательном пространстве", 30 сентября 2009 г., Москва, Современная гуманитарная академия.
  51. В. Мутилин, А. Хорошилов. База правил для верификации драйверов Linux. // (тезисы) Сборник докладов Шестой конференции разработчиков свободных программ на Протве, стр.22, Обнинск, 27-28 июня 2009 г.
  52. А. Пономаренко, В. Рубанов, А. Хорошилов. Система анализа обратной бинарной совместимости библиотек Linux. // Сборник докладов международной конференции “Software Engineering Conference (Russia)”, SEC(R)-2009, сс. 318 331, Москва, 28 29 октября 2009 г.
  53. Е.М. Новиков, В.С. Мутилин, А.В. Хорошилов. Применение аспектно-ориентированного программирования для поддержки верификации ядра операционной системы Linux. // Труды 52-й научной конференции МФТИ «Современные проблемы фундаментальных и прикладных наук», Часть VII, Том 2, стр.31-33, Москва-Долгопрудный, 2009.
  54. Д. Силаков, А. Хорошилов. Методы обеспечения переносимости ПО. // Сборник трудов ИСП РАН, том 17, 2009, стр. 25-39.
  55. М.М. Чупилко. Интеграция подходов к тестированию моделей аппаратуры на основе методологии OVM. // МСО-2009 Методы и средства обработки информации. Труды третьей Всероссийской научной конференции/ под ред. Л.Н. Королева. - М.:Издательский отдел факультета вычислительной математики и кибернетики МГУ имени М.В. Ломоносова, 2009., 481 с., страницы 91-96.
  56. 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.
  57. М.М. Чупилко. Использование TLM при проектировании моделей аппаратуры. // Микроэлектроника и информатика – 2009. 16-я Всероссийская межвузовская научно-техническая конференция студентов и аспирантов: Тезисы докладов. - М.: МИЭТ, 2009. - 372 с., страница 227.
  58. M. Chupilko, A. Kamkin. Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs. // NorChip-2009, pp.1-4.
  59. Я.С. Губенко, А.С. Камкин, М.М. Чупилко. Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения. // Труды ИСП РАН 2009, том17, стр.133-143.
  60. 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.
  61. П.Н. Яковенко. Контроль доступа процессов к сетевым ресурсам на базе аппаратной виртуализации. // Методы и средства обработки информации. // Труды Третьей Всероссийской научной конференции, стр. 355-360. М. 2009.
  62. П.Н. Яковенко, А.В. Сапожников. Инфраструктура тестирования веб-сервисов на базе технологии TTCN-3 и платформы .NET. // Труды ИСП РАН, Т.16, стр. 63-74, 2009
  63. A. Khoroshilov. Linux Device Driver Verification. // Invited talk at seminar of Distributed Systems Research Group, Charles University. 8 December 2009, Prague.
  64. Е.А. Герлиц. Функциональное тестирование AJAX приложений // Сборник научных трудов Научно-практической конференции «Актуальные проблемы программной инженерии». М.: Издательство МЭСИ, 2009. С. 217-221.
  65. Е.А. Герлиц. Автоматизация построения кода медиаторов для функционального тестирования веб-приложений по технологии UniTESK. // Сборник тезисов XVI Международной научной конференции студентов, аспирантов и молодых ученых «Ломоносов 2010». М.: Издательский отдел факультета ВМК МГУ, 2009, C. 18
  66. А.С. Косачев, И.Б.Бурдонов, П.Н. Яковенко. Использование технологии аппаратной виртуализации для защиты выполнения приложения в недоверенной операционной системе. Методы и технические средства обеспечения безопасности информации: респ. научно-технич. конф.: тез. докл. – СПб. Изд-во СПбГТУ, 2009. – С. 38-39.
  67. V. Kuliamin. Standardization and Testing of Mathematical Functions. // Proc. of PSI’2009, Novosibirsk, Russia, June 2009, LNCS 5947:257-268, Springer, 2009.
  68. В. В. Кулямин. Организация сложных тестовых наборов. // Труды ИСП РАН, 17:9-24, 2009.
  69. A.Petrenko. Model-Based Testing. Editor of proceedings // Electronic Note in Theoretical Computer Science, 2009.
  70. Е. С. Чернов. Система поиска эквивалентных зависимостей пакетов для различных дистрибутивов ОС Linux. // Сборник тезисов 52-ой научной конференции МФТИ 2009, 49-51.
  71. Корныхин Е.В. Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетом кэширования и трансляции адресов. // Труды ИСП: том 17, с.145-160.
  72. С.А. Смолов. Применение технологии UniTESK для функционального тестирования инфраструктурного ПО Грид. // Сборник тезисов XVI международной научной конференции студентов, аспирантов и молодых ученых "Ломоносов - 2009". Секция "Вычислительная математика и кибернетика", 2009, стр. 78.
  73. С.А. Смолов. Разработка тестового набора для функционального тестирования инфраструктурного программного обеспечения Грид с применением технологии UniTESK. // Сборник научных трудов научно-практической конференции "Актуальные проблемы программной инженерии", 2009, стр.183-189.
  74. С.А. Смолов. Разработка тестового набора для функционального тестирования инфраструктурного программного обеспечения Грид. // Труды 52-й научной конференции МФТИ, Часть VII "Управление и прикладная математика", Том 2, 2009, стр.43-46.
  75. 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.
  76. Н.В.Пакулин, А.Н.Тугаенко. Разработка тестовых наборов для тестирования соответствия почтовых протоколов. // Конференция АППИ-2009, стр. 154-160.
  77. П.Е. Швед В.С. Мутилин. О применении подхода CounterExample-Guided Abstraction Refinement к задаче статического анализа драйверов ядра «Линукс» // Труды 52-й научной конференции МФТИ «Современные проблемы фундаментальных и прикладных наук», Часть VII, Том 2, стр. 52-54, Москва-Долгопрудный, 2009.
  78. P. Iakovenko. Log once, debug anywhere: a portable deterministic approach to record-replay test case execution. TTCN-3 User Conference. Sophia-Antipolis. France. 2009.
  79. П.Н. Яковенко. Обеспечение конфеденциальности информации, обрабатываемой на компьютере с сетевым подключением. // «Проблемы информационной безопасности. Компьютерные системы» #4(2009), стр.23-41. С.Петербург, 2009.

2008
  1. И.Б.Бурдонов, Косачев А.С., В.В.Кулямин. Теория соответствия для систем с блокировками и разрушением. // «Физ-мат лит» Наука, Москва, 2008. 412 с.
  2. И.Б.Бурдонов, Косачев А.С. Системы с приоритетами: конформность, тестирование, композиция. // Труды Института системного программирования РАН, N 14.1, 2008, стр.23-54.
  3. И.Б.Бурдонов, Косачев А.С. Обобщённые семантики тестового взаимодействии. // Труды Института системного программирования РАН, N 15, 2008, стр.69-106.
  4. И.Б.Бурдонов, Косачев А.С. Эквивалентные семантики взаимодействия. // Труды Института системного программирования РАН, N 14.1, 2008, стр.55-72.
  5. В. Рубанов, К. Власов, А. Смачев. Анализ совместимости Linux приложений с различными дистрибутивами. // Тезисы докладов V Конференции разработчиков свободных программ на Протве. – М.: Институт Логики, 2008.
  6. К. Власов, В. Рубанов, А. Смачев. Автоматизация анализа совместимости Linux приложений с различными дистрибутивами. // Тезисы докладов конференции «Software Engineering Conference Russia 2008», Москва 2008.
  7. А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Использование абстрактных моделей для генерации тестовых данных сложной структуры // Программирование, Москва, 2008, том. 34, N 6, 341-350.
  8. А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Генератор сложных данных Pinery: реализация новых возможностей UniTESK. // Труды ИСП РАН, Москва, 2008, т. 14, часть 1, 119-136.
  9. С.В. Зеленов, С.А. Зеленова. Автоматическое определение истинности естественных тавтологий для операций сравнения. // Труды ИСП РАН, Москва, 2008, т. 14, часть 1, 109-117.
  10. A. Kamkin. Coverage-Directed Verification of Microprocessor Units Based on Contract Specifications. EWDTS 2008, pp. 84-87.
  11. А.С. Камкин, М.М. Чупилко. Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754. // Труды Института системного программирования: Том 14, часть 2. - М.: ИСП РАН, 2008. - 178 с. (стр. 7-22).
  12. А. Камкин. Генерация тестовых программ для микропроцессоров. // Труды ИСП РАН, 2008.
  13. А. Камкин. Комбинаторная генерация тестовых программ для микропроцессоров на основе моделей. // Препринт 21, ИСП РАН, 2008.
  14. Е.В. Корныхин. Генерация тестовых данных для тестирования арифметических операций центральных процессоров. // Труды ИСП РАН, Т.15, 2008, с.107-118.
  15. О. Л. Петренко, В. В. Кулямин. Интеграция ресурсов научных и учебных учреждений для подготовки специалистов. // Труды конференции «Наука, образование, инновации» Москва, 10-12.11.2008.
  16. В. В. Кулямин. Критерии тестового покрытия, основанные на структуре контрактных спецификаций. // Труды ИСП РАН, т. 14 «Подход UniTESK: итоги и перспективы», ч. 1, стр. 89-107, 2008.
  17. Е. С. Чернов, В. В. Кулямин. Тестирование современных библиотек тригонометрических функций. // Труды ИСП РАН, т. 14 «Подход UniTESK: итоги и перспективы», ч. 1, стр. 163-179, 2008.
  18. В. В. Кулямин. Методы верификации программного обеспечения. // Конкурс обзорно-аналитических статей по направлению «Информационно-телекоммуникационные системы», 2008.
  19. В.С. Мутилин. Formal Methods for Open Source Components Certification // OpenCert 2008, стр.52-63.
  20. В.С. Мутилин. Многопоточное тестирование программных интерфейсов. // Труды ИСП РАН, Том 14.1, 2008, стр.73-88.
  21. А.В. Никешин, Н.В. Пакулин, В.З. Шнитман. Особенности тестирования сервисов безопасности сетевого уровня IPsec второй версии. // Научный сервис в сети Интернет: решение больших задач: Труды Всероссийской научной конференции (22-27 сентября 2008 г., г. Новороссийск). - М.: Изд-во МГУ, 2008. - 468 с. ISBN 978-5-211-05616-9.
  22. В. В. Кулямин, Н. В. Пакулин, О. Л. Петренко. Единое научно-образовательное пространство СНГ — путь повышения конкурентоспособности на мировом рынке высоких технологий. // Сборник трудов 5-й международной научно-практической конференции «Исследование, разработка и применение высоких технологий в промышленности», СПб., 2008, стр. 23-26.
  23. А.К.Петренко, О.Л.Петренко, В.В.Рубанов.Создание открытой образовательной среды на основе открытых проектов // Тезисы докладов Третьей конференции "Свободное программное обеспечение в высшей школе",Переславль Залесский, февраль 2008, стр. 12-16.
  24. В.Кулямин, А.К.Петренко, О.Л.Петренко. Роль научных организаций в подготовке ИТ- специалистов // Труды ИСП РАН, 15:41-50, 2008.
  25. А.К. Петренко. Унификация в автоматизации тестирования. Позиция UniTESK // Препринт ИСПРАН, т. 14, ч. 1, 2008, стр. 7-22.
  26. А.К. Петренко, В. В. Кулямин, О. Л. Петренко, В. В. Рубанов, А. В. Хорошилов. Подход к преподаванию ИТ на основе проектов по разработке свободного программного обеспечения // Сборник докладов всероссийской конференции “Преподавание информационных технологий в России”, Нижний Новгород, 12 13 мая 2008 г.
  27. В.В. Рубанов. Стандартизация и тестирование как составляющие обеспечения безопасности ОС Linux. // Материалы XVII Общероссийской конференции «Методы и технические средства обеспечения безопасности информации», СПб.: Изд-во Политехнического университета, 2008.
  28. Денис Силаков, Владимир Рубанов. LSB Navigator - онлайн справочник для разработчиков Linux приложений. // V Конференция разработчиков свободных программ на Протве. Обнинск, 2008, с.36-39.
  29. 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.
  30. Р. С. Зыбин, В. В. Кулямин, А. В. Пономаренко, В. В. Рубанов, Е. С. Чернов. Автоматизация массового создания тестов работоспособности //Программирование, 34(6):64-80, 2008.
  31. 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.
  32. В.В.Рубанов, А.В.Хорошилов, Е.А.Шатохин. T2C: технология автоматизированной разработки тестов базовой функциональности программных интерфейсов. Труды ИСП РАН: Том 14, часть 2. С.65-82.
  33. Р. С. Зыбин, В. В. Кулямин, А. В. Пономаренко, В. В. Рубанов, Е. С. Чернов. Технология Azov автоматизации массового создания тестов работоспособности. Труды ИСП РАН, том 14, часть 2, 2008. С. 83-108.
  34. Р. С. Зыбин, А. В. Пономаренко, В. В. Рубанов, Е. С. Чернов. Расширение описаний сигнатур операций для автоматической генерации тестов. Труды ИСП РАН, 14 ч.2:109-129, 2008.
  35. В.В. Рубанов. Обзор методов описания встраиваемой аппаратуры и построения инструментария кросс-разработки. Труды ИСП РАН, том 15, 2008. С. 7-40.
  36. В.В. Рубанов. Метод автоматизированного построения инструментария кросс-разработки для расширяемых встраиваемых систем
  37. 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.
  38. Д.В. Силаков. Использование базы данных для принятия решений в процессе стандартизации.//IX международная научно-техническая конференция "Кибернетика и высокие технологии XXI века". Воронеж, 2008. Том 1, с. 220-229.
  39. Хорошилов А.В., Силаков Д.В. Мобильность программного обеспечения в современных условиях. //СИТОП 2007. с. 85-88.
  40. Д.В. Силаков. Создание единой системы документации для поддержки разработки приложений, удовлетворяющих стандарту LSB. // Труды 51й Научной конференции МФТИ. Москва, 2008. Том 3, стр. 122-124.
  41. В. В. Кулямин, А. В. Хорошилов. Построение практикума по информационным технологиям на основе открытого программного обеспечения. Сборник докладов Третьей конференции “Свободное программное обеспечение в высшей школе”, сс. 91-94, Переславль, 2 3 февраля 2008 г.
  42. В. С. Мутилин, А. В. Хорошилов. «Верификация безопасности драйверов ОС Linux». Материалы XVII Общероссийской научно-технической конференции «Методы и технические средства обеспечения безопасности информации», Санкт-Петербург, 7-11 июля 2008 г.
  43. 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. ISBN 978-5-91474-006-8.
  44. 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.
  45. Д. В. Силаков, А. В. Хорошилов. Мобильность программного обеспечения в современных условиях. Сборник докладов 2-ой международной конференции “Стандартизация информационных технологий и интероперабельность”, сс. 23 27, Москва, 1 октября 2008 г.
  46. 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. ISBN 978-3-540-88478-1.
  47. Д. В. Силаков, А. В. Хорошилов. Проблема переносимости приложений – сорок лет спустя.// Сборник докладов международной конференции “Software Engineering Conference (Russia)”, SEC(R)-2008, сс. 318 331, Москва, 21 25 октября 2008 г.
  48. 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).
  49. М.А.Потапов, Е.А.Шатохин. Некоторые методы автоматизированного анализа и управляемого преобразования программ. //Автоматика и телемеханика, №8, 2008. С.176-186.
  50. П. Яковенко. Подход к реализации переносимого TTCN-3 отладчика. // Труды ИСП РАН, Т.15, 2008, с.135-152.
  51. E. Kornikhin. Test Data Generation for Arithmetic Subsystem of CPUs MIPS64. // Proceedings of SYRCoSE'08, Volume 2, pp.43-46.
  52. A.Kossachev. Automated test Generation’s Technology. //Сучаснi проблеми прикладноi математики та iнформатики, Львiв, 2008, стр.98.
  53. 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.
  54. 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.
  55. A.Petrenko, A.Kamkin, A.Terekhov. SYRCoSE 2008. // Proceedings of Second Spring Young Researcher’s Colloquium on Software Engineering, ISPRAS, St-Petersburg, 2008. P.5.
  56. А. В. Пономаренко, Е. С. Чернов. Алгоритм генерации тестов работоспособности на основе расширенной базы данных LSB. // Труды ИСП РАН, 14 ч.2:129-143, 2008.
  57. E. S. Chernov. Extension of interface signature descriptions for automatic test generation. // Proc. SYRCoSE 2008 Volume 2, pp. 37-42.
  58. Е. С. Чернов. Технология Azov автоматизации массового создания тестов работоспособности. // Сборник тезисов 51-ой научной конференции МФТИ 2008.
  59. Д. Силаков. Автоматизация тестирования web-приложений, основанных на скриптовых языках. // Сборник трудов ИСП РАН, том 14, ч.2, 2008, стр. 159-178.
  60. М.М. Чупилко. Методика генерации тестов для устройств, работающих согласно стандарту IEEE 754 // Тезисы докладов научно-технической конференции студентов, аспирантов и молодых специалистов МИЭМ. - М.: МИЭМ, 2008. (стр. 85-86).
  61. Н.В. Пакулин. Участие учреждений РАН в проектах рамочных программ ЕС. Международная научно-практическая конференция «Инновации РАН - 2008»

2007
  1. Н.В.Пакулин, А.В.Хорошилов. Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов. Программирование, №6, 2007.
  2. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Формализация тестового эксперимента.// Программирование, №5, 2007, стр. 3-32.
  3. В.П.Иванников, А.С.Камкин, А.С.Косачев, В.В.Кулямин, А.К.Петренко. Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры.// Программирование, №5, 2007, стр. 47-61.
  4. А.В.Демаков. Объектно-ориентированное описание графовых структур данных. Программирование, Вып.33, №5, 2007.
  5. В.В.Кулямин. Стандартизация и тестирование реализаций математических функций, работающих с числами с плавающей точкой.// Программирование, Вып.33, №3, 2007, стр. 44-72.
  6. А.В.Хорошилов. Формальное описание интерфейсов как средство улучшения интероперабельности. Сборник докладов международной конференции "Стандартизация информационных технологий и интероперабельность", стр. 61-67, Москва, 2-3 октября 2007 г.
  7. Н.Пакулин, А.Петренко, О.Петренко, А.Сортов, А.Хорошилов. Открытые стандарты и новые формы международного сотрудничества.// Труды Института системного программирования РАН, №13.1, Москва, 2007, стр. 7-30, ISBN 5-89823-026-2.
  8. В.С.Мутилин. Тестирование компонентов, взаимодействующих посредством удаленного вызова методов. Труды Института системного программирования РАН, №13, 2007, стр.103-122.
  9. В.В.Кулямин, А.К.Петренко, В.В.Рубанов, А.В.Хорошилов. Формализация интерфейсных стандартов и автоматическое построение тестов соответствия. Информационные технологии, 8:2-7, М. Новые технологии, 2007.
  10. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Безопасность, верификация и теория конформности. "Материалы второй международной научной конференции по проблемам безопасности и противодействия терроризму. МГУ 2006", М., МЦНМО, 2007, стр. 135-158.
  11. 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.
  12. А.В.Хорошилов. О генерации последовательностей тестовых воздействий при тестировании телекоммуникационных протоколов на основе моделей. Сборник докладов семинара "Go4IT - шаг к новым технологиям Интернета", стр. 21-27, Москва, 17-18 апреля 2007 г.

2006
  1. А.В.Демаков. TreeDL: язык описания графовых структур данных и операций над ними. //Вычислительные методы и программирование, Том 7, 2006.
  2. В.П.Иванников, А.К.Петренко. Задачи верификации ОС Linux в контексте ее использования в государственном секторе. //Труды Института системного программирования РАН, №10, Москва, 2006, стр. 9-14, ISBN 5-89823-026-2.
  3. С.Грошев. Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления. //Труды Института системного программирования РАН, №9, 2006, стр. 67-81.
  4. И.Б.Бурдонов, А.С.Косачев, В.Н.Пономаренко, В.З.Шнитман. Обзор подходов к верификации распределенных систем. //Препринт Института системного программирования РАН, № 16, 2006.
  5. А.С.Косачев, В.Н.Пономаренко. Анализ подходов к верификации функций безопасности и мобильности. //Препринт Института системного программирования РАН, № 15, 2006.
  6. И.Б.Бурдонов, А.С.Косачев, В.Н.Пономаренко. Операционные системы реального времени. //Препринт Института системного программирования РАН, № 14, 2006.
  7. В.В.Кулямин, Н.В.Пакулин, О.Л.Петренко, А.А.Сортов, А.В.Хорошилов. Формализация требований на практике. //Препринт Института системного программирования РАН, №13, 2006.
  8. А.В.Хорошилов. Спецификация и тестирование систем с асинхронным интерфейсом. //Препринт Института системного программирования РАН, №12, 2006.
  9. А.В.Хорошилов. Linux Standard Base: история успеха?// Препринт Института системного программирования РАН, №10, 2006.
  10. А.И.Гриневич, В.В.Кулямин, Д.А.Марковцев, А.К.Петренко, В.В.Рубанов, А.В.Хорошилов. Использование формальных методов для обеспечения соблюдения программных стандартов.// Труды Института системного программирования РАН, №10, 2006.
  11. В.С. Мутилин. Паттерны проектирования тестовых сценариев. //Труды Института системного программирования РАН, №9, 2006.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.

2005
  1. С.В.Зеленов, С.А.Зеленова. Генерация позитивных и негативных тестов для парсеров. Программирование, Вып.31, №6, 2005, стр. 25-40.
  2. В.В.Кулямин. Построение тестовых последовательностей при минимуме информации о тестируемой системе. Программирование, Вып.31, №6, 2005, стр. 13-24.
  3. А.С.Косачев, М.А.Посыпкин. Обзор методов тестирования компиляторов. Программирование, №1, 2005, стр. 15-28.
  4. В.П.Иванников, А.С.Камкин, В.В.Кулямин, А.К.Петренко. Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения. Препринт Института системного программирования РАН, №8, 2005.
  5. 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.
  6. 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.
  7. 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.

2004
  1. И.Б.Бурдонов. Проблема отката по дереву при обходе неизвестного ориентированного графа конечным роботом. Программирование, №6, 2004.
  2. И.Б.Бурдонов. Обход неизвестного ориентированного графа конечным роботом. Программирование, №4, 2004.
  3. А.С.Косачев, Ф.Куттер, М.А.Посыпкин. Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования. Программирование, №4, 2004, стр. 52-67.
  4. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированнный случай. Программирование, №1, 2004,стр. 4-24.
  5. А.В.Баранцев, В.В.Кулямин, В.А.Омельченко, О.Л.Петренко. Проблемы внедрения наукоемких технологий. //Труды Института системного программирования РАН, №8.1, 2004, стр. 9-24.
  6. А.А.Сортов, А.В.Хорошилов. Функциональное тестирование Web-приложений на основе технологии UniTesK. //Труды Института системного программирования РАН, №8, 2004, стр.77-97.
  7. С.В.Зеленов, С.А.Зеленова. Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа. //Труды Института системного программирования РАН, Москва, №8, 2004, стр. 41-58.
  8. А.Я.Калинов, А.С.Косачев, М.А.Посыпкин, А.А.Соколов. Автоматическая генерация тестов для графического пользовательского интерфейса по UML диаграммам действий.// Труды Института системного программирования РАН, №8, 2004, стр.7-84.
  9. 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.
  10. 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.
  11. 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.

1995-2003
  1. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин, А.К.Петренко. Подход UniTesK к разработке тестов. Программирование, №6, 2003, стр. 25-43.
  2. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Неизбыточные алгоритмы обхода графов: детерминированный случай.// Программирование, Вып.29, №5, 2003, стр. 59-69.
  3. С.В.Зеленов, С.А.Зеленова, А.С.Косачев, А.К.Петренко. Генерация тестов для компиляторов и других текстовых процессоров. Программирование, Вып.29, №2, 2003, стр. 59-69.
  4. 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.
  5. 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.
  6. В.В.Кулямин, О.Л.Петренко. Место тестирования среди методов оценки качества ПО. //Труды Института системного программирования РАН, №4, 2003, стр. 163-176.
  7. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин.Асинхронные автоматы: классификация и тестирование. //Труды Института системного программирования РАН, №4, 2003, стр.7-84.
  8. Е.Н.Бритвина, С.Г.Грошев, А.Монахов, А.К.Петренко, О.Л.Петренко. Тестирование на основе моделей. Открытые системы, Москва, № 9, 2003, стр. 41-47.
  9. I.Agamirzian, S.G.Groshev, A.V.Khoroshilov, G.N.Kluchnikov, A.S.Kossatchev, V.A.Omelchenko, N.V.Pakoulin, A.K.Petrenko, V.Z.Shnitman. MSR IPv6 Verification within the CTesK-lite Framework, April 2002.
  10. 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.
  11. 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.
  12. A.K.Petrenko. Specification Based Testing: Towards Practice. Perspectives of System Informatics. LNCS, No.2244, 2001, pp. 287-300.
  13. I.Agamirzian, S.G.Groshev, A.V.Khoroshilov, G.N.Kluchnikov, A.S.Kossatchev, V.A.Omelchenko, N.V.Pakoulin, A.K.Petrenko, V.Z.Shnitman. MSR IPv6 verification project, December 2001.
  14. И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Использование конечных автоматов для тестирования программ. Программирование, №2, 2000, стр.12-28.
  15. А.К.Петренко, Е.А.Кузьменкова. Формальная спецификация программ на языке RSL (методическое пособие по практикуму). МГУ им. М.В.Ломоносова, Москва, 1999.
  16. 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.
  17. А.В.Баранцев, Е.Н.Бритвина, И.Б.Бурдонов, А.С.Косачев, С.В.Гоманюк, А.В.Демаков, А.В.Иванов, А.В.Максимов, А.К.Петренко, Ю.Л.Сазанов, А.А.Сортов, В.П.Стефанов, Г.М.Сумар. Архитектура системы генерации тестов. Вопросы кибернетики. Москва, 1998.
  18. I.Burdonov, A.Kossatchev, S.Cheng, H.Wong Formal Specification and Verification of SOS Kernel // BNR/NORTEL Design Forum, June 1996.
  19. А.К.Петренко. Технология программирования. Сборник "Современное состояние и тенденции развития информационных технологий в России", Миннауки, Научный совет по ГНТП "Информатизация России", 1995 г., стр.88-108.