Статьи и документы

Избранные статьи

• Vladimir Rubanov
  Automatic Analysis of Applications for Portability Across Linux Distributions
  Proceedings of OpenCert 2009 Workshop, ETAPS Conference 2009, York, UK.

• Vladimir Rubanov, Alexey Khoroshilov, Euegeny Shatokhin
  Automated Formal Testing of C API Using T2C Framework
  Proceedings of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Greece, 2008.

• Д.В. Силаков, В.В. Рубанов
  LSB Navigator – онлайн справочник для разработчиков Linux приложений
  Тезисы докладов V Конференции разработчиков свободных программ на Протве. – М.: Институт Логики, 2008. С. 36-39.

• В.В. Рубанов
  Стандартизация и тестирование как составляющие обеспечения безопасности ОС Linux
  Материалы XVII Общероссийской конференции «Методы и технические средства обеспечения безопасности информации», СПб.: Изд-во Политехнического университета, 2008.

• В.В. Рубанов, А.В. Хорошилов, Е.А. Шатохин
  T2C: технология автоматизированной разработки тестов базовой функциональности программных интерфейсов
  Труды ИСП РАН, том 14, часть 2, 2008. С. 65-82.

• Vladimir Rubanov
  Linux Standard Base (LSB): “Single Linux” Specification and Support Infrastructure
  Тезисы докладов конференции "Software Engineering Conference Russia 2007", ноябрь 2007.

• В. Рубанов
  Стандарт Linux Standard Base (LSB): единая платформа разработки приложений для Linux
  Тезисы докладов I Конференции "Стандартизация информационных технологий и интероперабельность. СИТОП 2007", октябрь 2007.

• А. Хорошилов
  Формальное описание интерфейсов как средство улучшения интероперабельности
  Тезисы докладов I Конференции "Стандартизация информационных технологий и интероперабельность. СИТОП 2007", октябрь 2007.

• В. Рубанов, Д. Силаков
  Центр верификации ОС Linux: вклад в развитие стандарта LSB и тестирование Linux платформы
  Тезисы докладов IV Конференции разработчиков свободных программ на Протве, июль 2007.

• А. Гриневич, Д. Марковцев, В. Рубанов
  Проблемы совместимости Linux-систем
  Журнал "Открытые системы", #01/2007.

• В. Кулямин, А. Петренко, В. Рубанов, А. Хорошилов
  Формализация интерфейсных стандартов и автоматическое построение тестов соответствия
  Software Engineering Conference Russia (SECR 2006), ноябрь 2006.

• А. Гриневич, В. Кулямин, Д. Марковцев, А. Петренко, В. Рубанов, А. Хорошилов
  Использование формальных методов для обеспечения соблюдения программных стандартов
  Труды ИСП РАН, том 10, 2006.

• А. Хорошилов
  Linux Standard Base: история успеха?
  Труды ИСП РАН, том 10, 2006.

• В. Кулямин
  Формальные подходы к тестированию математических функций
  Труды ИСП РАН, том 10, 2006.

• Victor V. Kuliamin, Nickolay V. Pakoulin, and Alexander K. Petrenko
  Practical Approach to Specification and
  Conformance Testing of Distributed Network Applications
  Доклад на 2-nd International Service Availability Symposium, Берлин, апрель 2005.

• А.В. Баранцев, И.Б. Бурдонов, А.В. Демаков, С.В. Зеленов, А.С. Косачев, В.В. Кулямин, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, А.В. Хорошилов
  Подход UniTESK к разработке тестов: достижения и перспективы
  Труды Института системного программирования РАН. Том 5, 2004.
  

Пресс-релизы и презентации

• В.В. Рубанов
  Стандарт LSB: спецификация единой Linux платформы и инфраструктура поддержки
  Доклад на конференции Software Engineering Conference Russia (SECR 2007), 01 ноября 2007 г.

• А.В. Хорошилов
  Формальное описание интерфейсов как средство улучшения интероперабельности
  Доклад на конференции "Стандартизация информационных технологий и интероперабельность (СИТОП) 2007, 03 октября 2007 г.

• В.В. Рубанов
  Стандарт Linux Standard Base (LSB): единая платформа разработки приложений для Linux
  Доклад на конференции "Стандартизация информационных технологий и интероперабельность (СИТОП) 2007, 03 октября 2007 г.

• В.В. Рубанов
  Центр верификации ОС Linux: вклад в развитие стандарта LSB и тестирование Linux-платформы
  Доклад на IV конференции разработчиков свободных программ на Протве, 23 июля 2007 г.

• В.В. Рубанов
  LSB Infrastructure: Software Systems
  LSB Infrastructure: Testing and Analytics
  Доклады на конференции Linux Foundation Collaboration Summit, 14 июня 2007 г.

• В.В. Рубанов
  Формализация интерфейсных стандартов и автоматическое построение тестов соответствия
  Доклад на конференции Software Engineering Conference Russia (SECR 2006), 17 ноября 2006 г.

• В.В. Рубанов
  Открытое тестирование – залог соблюдения открытых стандартов
  Доклад на конференции LinuxWorld Moscow 2006, 05 сентября 2006 г.

• А.К. Петренко
  Технология верификации программных интерфейсов
  Доклад на конференции LinuxWorld Moscow 2006, 04 сентября 2006 г.

• А. Гриневич, В. Кулямин, Д. Марковцев, А. Петренко, В. Рубанов, А. Хорошилов
  Formal Methods in Industrial Software Standards Enforcement
  Доклад на конференции Перспективы систем информатики (PSI'06), 27 июня 2006 г.

• В.В. Рубанов
  Создание открытого тестового набора и Центра верификации ОС Linux
  Презентация на семинаре в IBM, 14 декабря 2005 г.

• А.К. Петренко
  UniTESK: технология тестирования на основе спецификаций
  Презентация на семинаре в IBM, 14 декабря 2005 г.

• ИСП РАН
  В России открывается Центр верификации ОС Linux
  Пресс-релиз, 12 октября 2005 г.
  

Дополнительная информация