Igor Bourdonov. Research

Игорь Бурдонов		Igor Bourdonov

Исследования		Research

	СПИСОК НАУЧНЫХ ТРУДОВ
	2009
	И.Б.Бурдонов, А.С.Косачев. ТЕСТИРОВАНИЕ КОНФОРМНОСТИ С ОТКРЫТЫМ СОСТОЯНИЕМ. Труды Всероссийской научной конф. «Научный сервис в сети Интернет»», 2009
	И.Б.Бурдонов, А.С.Косачев. АНАЛИТИЧЕСКАЯ ВЕРИФИКАЦИЯ КОНФОРМНОСТИ. Труды Всероссийской научной конф. «Научный сервис в сети Интернет»», 2009
	И.Б.Бурдонов, А.С.Косачев. ПОЛНОЕ ТЕСТИРОВАНИЕ С ОТКРЫТЫМ СОСТОЯНИЕМ ОГРАНИЧЕННО НЕДЕТЕРМИНИРОВАННЫХ СИСТЕМ. "Программирование", -2009, №6
	И.Б.Бурдонов, А.С.Косачев. СИСТЕМЫ С ПРИОРИТЕТАМИ: КОНФОРМНОСТЬ, ТЕСТИРОВАНИЕ, КОМПОЗИЦИЯ. "Программирование", -2009, №4–стр 24-40
	I.Burdonov, A. Kosachev, 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
	И.Б.Бурдонов, А.С.Косачев. ТЕСТИРОВАНИЕ С ПРЕОБРАЗОВАНИЕМ СЕМАНТИК. Труды Института системного программирования РАН, N 15, 2009
	И.Б.Бурдонов, А.С.Косачев. ПОЛНОЕ ТЕСТИРОВАНИЕ С ОТКРЫТЫМ СОСТОЯНИЕМ ОГРАНИЧЕННО НЕДЕТЕРМИНИРОВАННЫХ СИСТЕМ. Труды Института системного программирования РАН, N 15, 2009
	2008
	И.Б.Бурдонов. ТЕОРИЯ КОНФОРМНОСТИ ДЛЯ ФУНКЦИОНАЛЬНОГО ТЕСТИРОВАНИЯ ПРОГРАММНЫХ СИСТЕМ НА ОСНОВЕ ФОРМАЛЬНЫХ МОДЕЛЕЙ. Диссертация на соискание учёной степени д.ф.-м.н., Москва, 2008.
	И.Б.Бурдонов, А.С.Косачев. ОБОБЩЁННЫЕ СЕМАНТИКИ ТЕСТОВОГО ВЗАИМОДЕЙСТВИЯ. Труды Института системного программирования РАН, N 15, 2008, стр.69-106
	И.Б.Бурдонов, А.С.Косачев. ЭКВИВАЛЕНТНЫЕ СЕМАНТИКИ ВЗАИМОДЕЙСТВИЯ. Труды Института системного программирования РАН, N 14.1, 2008, стр.55-72
	И.Б.Бурдонов, А.С.Косачев. СИСТЕМЫ С ПРИОРИТЕТАМИ: КОНФОРМНОСТЬ, ТЕСТИРОВАНИЕ, КОМПОЗИЦИЯ. Труды Института системного программирования РАН, N 14.1, 2008, стр.23-54
	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. ТЕОРИЯ СООТВЕТСТВИЯ ДЛЯ СИСТЕМ С БЛОКИРОВКАМИ И РАЗРУШЕНИЕМ. «Физ-мат лит» Наука, Москва, 2008. 411 стр. Монография
	2007
	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. БЕЗОПАСНОСТЬ, ВЕРИФИКАЦИЯ И ТЕОРИЯ КОНФОРМНОСТИ. Материалы Второй международной научной конференции по проблемам безопасности и противодействия терроризму, Москва, МНЦМО, 2007, стр.135-159
	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. ФОРМАЛИЗАЦИЯ ТЕСТОВОГО ЭКСПЕРИМЕНТА. "Программирование", 2007, №5, стр.3-33
	2006
	И.Б.Бурдонов, А.С.Косачев, Пономаренко В.Н. ОБЗОР ПОДХОДОВ К ВЕРИФИКАЦИИ РАСПРЕДЕЛЕННЫХ СИСТЕМ. ИСП РАН, препринт 16, М., 2006.
	И.Б.Бурдонов, А.С.Косачев, Пономаренко В.Н. ОПЕРАЦИОННЫЕ СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ. ИСП РАН, препринт 14, М., 2006.
	Burdonov I., Kossatchev A., Kuliamin V. FORMAL CONFORMANCE TESTING OF SYSTEMS WITH REFUSED INPUTS AND FORBIDDEN ACTIONS. Proc. of MBT 2006, Vienna, Austria, March 2006, pp.87-102
	2005
	И.Б.Бурдонов, А.С.Косачев. ВЕРИФИКАЦИЯ КОМПОЗИЦИИ РАСПРЕДЕЛЕННОЙ СИСТЕМЫ. Труды Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ", Изд-во МГУ, 2005, стр.67-69.
	И.Б.Бурдонов, А.С.Косачев. ТЕСТИРОВАНИЕ КОМПОНЕНТОВ РАСПРЕДЕЛЕННОЙ СИСТЕМЫ. Труды Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ", Изд-во МГУ, 2005, стр.63-65.
	2004
html	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. МЕТА-МОДЕЛЬ ФУНКЦИОНАЛЬНОЙ СПЕЦИФИКАЦИИ РАСПРЕДЕЛЕНОЙ СИСТЕМЫ, ПРИГОДНАЯ ДЛЯ ТЕСТИРОВАНИЯ. Труды Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ". 2004. стр.55-57.

html,doc,pdf	И.Б.Бурдонов. ИССЛЕДОВАНИЕ ОДНО/ДВУНАПРАВЛЕННЫХ РАСПРЕДЕЛЁННЫХ СЕТЕЙ КОНЕЧНЫМ РОБОТОМ. Труды Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ". 2004. стр.53-54.

html,doc,pdf	И.Б.Бурдонов. ПРОБЛЕМА ОТКАТА ПО ДЕРЕВУ ПРИ ОБХОДЕ НЕИЗВЕСТНОГО ОРИЕНТИРОВАННОГО ГРАФА КОНЕЧНЫМ РОБОТОМ. "Программирование". 2004. No. 6.

html,doc,pdf	И.Б.Бурдонов. ОБХОД НЕИЗВЕСТНОГО ОРИЕНТИРОВАННОГО ГРАФА КОНЕЧНЫМ РОБОТОМ. "Программирование". 2004. No. 4.

html,doc,pdf	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. НЕИЗБЫТОЧНЫЕ АЛГОРИТМЫ ОБХОДА ОРИЕНТИРОВАННЫХ ГРАФОВ. НЕДЕТЕРМИНИРОВАНННЫЙ СЛУЧАЙ. "Программирование". 2004. No. 1.
	2003
html	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин, А.К.Петренко. ПОДХОД UNITESK К РАЗРАБОТКЕ ТЕСТОВ. "Программирование". 2003. No. 6. стр.25-43.

html ,doc,pdf	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. НЕИЗБЫТОЧНЫЕ АЛГОРИТМЫ ОБХОДА ОРИЕНТИРОВАННЫХ ГРАФОВ. ДЕТЕРМИНИРОВАНННЫЙ СЛУЧАЙ. "Программирование". 2003. No. 5.

html	Victor V. Kuliamin, Alexander S.Kossatchev, Alexander K. Petrenko, Nick V. Pakoulin, Igor B. Bourdonov. INTEGRATION OF FUNCTIONAL AND TIMED TESTING OF REAL-TIME AND CONCURRENT SYSTEMS. Perspectives of System Informatics // LNCS. No. 2890. 2003. pp. 450-461.

html,doc,pdf	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. АСИНХРОННЫЕ АВТОМАТЫ: КЛАССИФИКАЦИЯ И ТЕСТИРОВАНИЕ. Труды Института системного программирования РАН. No. 4. 2003. стр. 7-84.
	2002
html	I.B.Bourdonov, A.S.Kossatchev, A.K.Petrenko, V.V.Kuliamin. UNITESK TEST SUITE ARCHITECTURE. Proceedings of FME'2002 conference. Copenhagen, Denmark. LNCS. No. 2391. 2002. pp. 77-88.
	2001
html	I.Burdonov, A.Kossatchev, A.Demakov, A.Jarov, A.Petrenko, V.Kuliamin, S.Zelenov. JAVA SPECIFICATION EXTENSION FOR AUTOMATED TEST DEVELOPMENT. Perspectives of System Informatics // LNCS. No.2244. 2001. pp. 301-308.

html	I.Burdonov, A.Kossatchev, A.Demakov, A.Jarov, A.Petrenko, V.Kuliamin, S.Zelenov. JAVA SPECIFICATION EXTENSION FOR AUTOMATED TEST DEVELOPMENT. Proc. of Andrei Ershov Fourth International Conference PERSPECTIVES OF SYSTEM INFORMATICS (preliminary proceedings). Novosibirsk. 2001. pp. 163-165.

html	I.B.Bourdonov, A.S.Kossatchev, A.K.Petrenko, V.V.Kuliamin. EXPERIENCES IN USING TESTING TOOLS AND TECHNOLOGY IN REAL-LIFE APPLICATIONS. Proceedings of SETT'01. India, Pune. 2001.
	2000
html	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. ИСПОЛЬЗОВАНИЕ КОНЕЧНЫХ АВТОМАТОВ ДЛЯ ТЕСТИРОВАНИЯ ПРОГРАММ. "Программирование". 2000. No. 2. стр.12-28.
	1999
html	И.Б.Бурдонов, А.С.Косачев, А.В.Демаков, А.К.Петренко, А.В.Максимов. ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ В ТЕХНОЛОГИЯХ ОБРАТНОЙ ИНЖЕНЕРИИ И ВЕРИФИКАЦИИ ПРОГРАММ. Труды Института системного программирования РАН. No. 1. 1999. стр. 31-43.

html	I.Burdonov, Alexander Kossathcev, Alexander Petrenko, Dmitri 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
html	А.В. Баранцев, Е.Н.Бритвина, И.Б.Бурдонов, А.С.Косачев, С.В.Гоманюк, А.В.Демаков, А.В.Иванов, А.В.Максимов, А.К.Петренко, Ю.Л.Сазанов, А.А.Сортов, В.П.Стефанов, Г.М.Сумар. АРХИТЕКТУРА СИСТЕМЫ ГЕНЕРАЦИИ И ПРОПУСКА ТЕСТОВ. "ВОПРОСЫ КИБЕРНЕТИКИ". Москва. 1998.
	1996
html	I.Burdonov, A.Kossatchev, A.Petrenko, S.Cheng, H.Wong . FORMAL SPECIFICATION AND VERIFICATION OF SOS KERNEL. BNR/NORTEL Design Forum. June 1996.
	1992
html	Бурдонов И. Б., Иванников В.П.,Косачев А.С.,Копытов Г.В., Кузнецов С.Д. ПРОЕКТ КЛОС: К ОБЪЕКТНО-ОРИЕНТИРОВАННОЙ СРЕДЕ РАЗРАБОТКИ ПРИКЛАДНЫХ СИСТЕМ. Управляющие машины и системы. 1992 г. No. 1/2. стр. 61-65.
	1991
html	Бурдонов И. Б., Березин Е.Г., Косачев А.С., Гайсарян С.С., Копытов Г.В., Кузнецов С.Д. СИСТЕМА ПРОГРАММИРОВАНИЯ КЛОС: ЯЗЫК СИКЛОС. "ВОПРОСЫ КИБЕРНЕТИКИ". Программное обеспечение высокопроизводительной системы. Москва. НСК АН СССР. 1991 г. стр.25-45.

html	Бурдонов И. Б., Березин Е.Г., Косачев А.С., Гайсарян С.С., Копытов Г.В., Кузнецов С.Д. ОСНОВНЫЕ КОНЦЕПЦИИ СИСТЕМЫ ПРОГРАММИРОВАНИЯ КЛОС. "ВОПРОСЫ КИБЕРНЕТИКИ". Программное обеспечение высокопроизводительной системы. Москва. НСК АН СССР. 1991 г. стр.3-24.

html	I.Burdonov, V.Ivannikov, G.Kopytov, A.Kosachev, S.Kuznetsov. THE CLOS PROJECT: TOWARDS AN OBJECT-ORIENTED ENVIRINMENT FOR APPLICATION DEVELOPMENT. In "Next Generation Information System Technology". Lecture Notes in Computer Science. V. 504. Springer Verlag. 1991. pp. 422-427.
	1990
html	Бурдонов И. Б., Иванников В.П.,Косачев А.С.,Копытов Г.В., Кузнецов С.Д. ПРИНЦИПЫ ОРГАНИЗАЦИИ КЛОС - КЛАСТЕРНОЙ ОПЕРАЦИОННОЙ СИСТЕМЫ. "Программирование". 1990. No. 6. стр.66-80.

html	Бурдонов И. Б., Иванников В.П.,Косачев А.С.,Копытов Г.В., Кузнецов С.Д. ОПЕРАЦИОННАЯ СРЕДА АСИНХРОННОГО ОБЪЕКТНО-ОРИЕНТИРОВАННОГО ПРОГРАММИРОВАНИЯ. Сборник "Актуальные проблемы системного программирования. Объектно-ориентированное программирование". Таллинн. АН ЭССР. 1990. стр.95-96.
	1989
html	Бурдонов И. Б., Косачев А.С.,Иванников В.П.,Смирнов В.П. ОБЪЕКТНО-ОРИЕНТИРОВАННАЯ ТЕХНОЛОГИЯ СОЗДАНИЯ РАСПРЕДЕЛЕННЫХ ПРОГРАММНЫХ КОМПЛЕКСОВ. J.New Gener. Comput. Syst. 1989. V.2. No. 1.-pp. 47-61.
	1988
html	Бурдонов И. Б., Косачев А.С., Гайсарян С.С., Кузнецов С.Д. ЯЗЫКОВАЯ ПОДДЕРЖКА ПРОГРАММИРОВАНИЯ И ПРОЕКТИРОВАНИЯ В КЛАСТЕРНОЙ ТЕХНОЛОГИИ. Сборник "Методы трансляции и конструирования программ". Тезисы конференции. Новосибирск. ВЦ СО АН СССР. 1988 г. стр.36-37.

html,doc,pdf	И. Б. Бурдонов. ТЕХНОЛОГИЯ СОЗДАНИЯ РАСПРЕДЕЛЕННЫХ ПРОГРАММНЫХ СРЕДСТВ. СОВРЕМЕННЫЕ ПРОБЛЕМЫ ИНФОРМАТИКИ, ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ И АВТОМАТИЗАЦИИ. Всесоюзная конференция (Москва,17-19 апреля 1988). Тезисы докладов. Академия Наук СССР. Министерство высшего и среднего специального образования СССР. Выставка достижений народного хозяйста СССР. Всесоюзный институт научной и технической информации АН СССР и ГКНТ. Москва. 1988 г. стр.24-25.
	1987
html	Бурдонов И. Б., Косачев А.С., Гайсарян С.С., Кузнецов С.Д., Смирнов Ю.П.,Челноков В.П. РАСШИРЕНИЕ ЯЗЫКА ПРОГРАММИРОВАНИЯ СИ ДЛЯ ИСПОЛЬЗОВАНИЯ В СРЕДЕ КЛАСТЕРНОЙ ОПЕРАЦИОННОЙ СИСТЕМЫ. Сборник "Машинно-независимые операционные системы". Москва. МЦНТИ.1987 г. стр.72-84.

html	Бурдонов И. Б., Иванников В.П., Кретов А.В., Кузнецов С.Д., Юдин В.Н. ПЕРЕНОСИМАЯ СИСТЕМА УПРАВЛЕНИЯ ФАЙЛАМИ. Сборник "Машинно-независимые операционные системы". Москва. МЦНТИ. 1987. стр. 88-93.

html	Бурдонов И. Б., Кузнецов С.Д., Копытов Г.В. СТРУКТУРИЗАЦИЯ АСИНХРОННЫХ ПРОГРАММ В КЛАСТЕРНОЙ ОПЕРАЦИОННОЙ СИСТЕМЕ. Сборник "Машинно-независимые операционные системы". Москва. МЦНТИ. 1987. стр. 85-87.
	1986
html,doc,pdf	Бурдонов И. Б., Копытов Г. В., Косачев А. С., Кузнецов С. Д., Смирнов Ю. П., Юдин В. Н. КЛОС: ОПЕРАЦИОННАЯ СИСТЕМА И ТЕХНОЛОГИЯ ПРОГРАММИРОВАНИЯ. "ВОПРОСЫ КИБЕРНЕТИКИ". Программное обеспечение высокопроизводительной системы. Под ред. В.П. Иванникова. Академия Наук СССР. Научный совет по комплексной проблеме "КИБЕРНЕТИКА". Москва. 1986 г. стр.34-57.
	1985
html	Бурдонов И. Б., Иванников В.П., Кузнецов С.Д., Смирнов Ю.П., Юдин В.Н. ТЕХНОЛОГИЧЕСКИЙ ПОДХОД К ОРГАНИЗАЦИИ ИНФОРМАЦИОННЫХ СИСТЕМ ДАННЫХ. Труды III конференции "Банки данных", Таллинский политехнический институт 1985. стр. 165-174.

html	Бурдонов И. Б., Смирнов Ю.П. ПРОГРАММНЫЕ СРЕДСТВА ПОДДЕРЖКИ В СЕТЯХ. Сборник Московской городской конференции "Информатика, вычислительная техника, автоматизация в науке и технике, в народном хозяйстве". Москва. 1985.

html,doc,pdf	И.Б.Бурдонов, А.С.Косачев, Ю.П.Смирнов. КЛАСТЕРНАЯ ТЕХНОЛОГИЯ СОЗДАНИЯ РАСПРЕДЕЛЕННЫХ ПРОГРАММНЫХ КОМПЛЕКСОВ. Автоматизация научных исследований. Тезисы докладов XIX Всесоюзной школы. Совет по автоматизации научных исследований при президиуме АН СССР. Проблемный совет по автоматизации, вычислительной технике и приборостроению при президиуме СО АН СССР. Институт автоматики и электрометрии СО АН СССР. Новосибирск. 1985 г. стр.58-59.
	1983
html	Бурдонов И.Б., Косачев А.С., Галис Р.М., Забейда В.И., Иванников В.П., Казанцев В.П и др. ОСНОВНЫЕ ВОЗМОЖНОСТИ ОБЩЕГО МАТЕМАТИЧЕСКОГО ОБЕСПЕЧЕНИЯ КОМПЛЕКСА АС-6-БЭСМ-6, ИСПОЛЬЗОВАННОГО В АНИВС ЦТ. Сборник "Тезисы докладов Межвед. научно-техн. семинара". Москва. ЦНТИ "Поиск". ГОНТИ No. 1. 1983 г. стр.26-30 .
	1981
html,doc,pdf	И.Б. Бурдонов, В.И.Забейда, В.П.Иванников. УПРАВЛЕНИЕ РЕСУРСАМИ В ЛОКАЛЬНОЙ СЕТИ ЭВМ. Различные аспекты системного программирования. Под ред. Е.А.Гребенникова. Научно-исследовательский вычислительный центр. Издательство Московского университета. 1981 г. стр.96-103.
	1978
html,doc,pdf	А.Ю.Бяков, И.Б. Бурдонов, Ю.П.Смирнов. АДРЕСАЦИЯ И УПРАВЛЕНИЕ УСТРОЙСТВАМИ. Доклад на 1У конференции молодых специалистов и ученых Института точной механики и вычислительной техники им. С.А. Лебедева АН СССР (апрель 1878 г.). Москва. Препринт No. 14 за 1978 г.

html,doc,pdf	А.Ю.Бяков, И.Б.Бурдонов, Ю.П.Смирнов. АДРЕСАЦИЯ И УПРАВЛЕНИЕ УСТРОЙСТВАМИ. Институт Точной Механики и Вычислительной Техники им. С.А.Лебедева АН СССР. ТЕЗИСЫ КОНФЕРЕНЦИИ МОЛОДЫХ УЧЕНЫХ И СПЕЦИАЛИСТОВ ИТМ И ВТ АН СССР. Москва. 1978. стр.42-43.

html,doc,pdf	И.Б.Бурдонов, Н.Е.Карабутова, С.Д.Кузнецов. ФИЗИЧЕСКАЯ ПОЧТА. Институт Точной Механики и Вычислительной Техники им. С.А.Лебедева АН СССР. ТЕЗИСЫ КОНФЕРЕНЦИИ МОЛОДЫХ УЧЕНЫХ И СПЕЦИАЛИСТОВ ИТМ И ВТ АН СССР. Москва. 1978. стр.39-40.
	1977
html	Бурдонов И.Б., Бяков А.Ю., Иванников В.П., Кузнецов С.Д. ИСПОЛЬЗОВАНИЕ КЛАСТЕРОВ ПРИ ОРГАНИЗАЦИИ ВВОДА-ВЫВОДА. Сборник "Проблемы программного обеспечения банков данных". Алма-Ата. 1977. стр. 60-63
	1973
html,doc,pdf	А.Н.Томилин, Ю.Н.Знаменский, А.С.Косачев, И.Б.Бурдонов, Н.Е.Карабутова, Т.М.Суслова, В.Я.Солодова, З.А.Канатникова, З.М.Лободенко, В.И.Максаков. МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ПЕРИФЕРИЙНОЙ МАШИНЫ. Институт Точной Механики и Вычислительной Техники АН СССР. ВЫСОКОПРОИЗВОДИТЕЛЬНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ. Тезисы конференции. Москва. 1973. стр.65.