Igor Bourdonov. Research

ссылки:
Название работы -	html-страница с описанием работы и, иногда, с текстом работы
html -	html-страница с текстом работы
doc -	текст в формате WORD 2007 ("docx")
pdf -	текст в формате PDF
pdf_1 -	текст в формате PDF в том виде, в котором он опубликован, если "pdf" в другом виде (получен из "doc")
doc_1 -	текст в формате WORD 2007 ("docx"), сделанный из "pdf_1"
pps -	PowerPoint 2007 демонстрация ("ppsx")
ppt -	PowerPoint 2007 презентация ("pptx")
$_€_£_html -	Там можно скачать работу за деньги

Основной список

	1971	1972	1973	1974	1975	1976	1977	1978	1979
1980	1981	1982	1983	1984	1985	1986	1987	1988	1989
1990	1991	1992	1993	1994	1995	1996	1997	1998	1999
2000	2001	2002	2003	2004	2005	2006	2007	2008	2009
2010	2011	2012	2013	2014	2015	2016	2017	2018	2019
2020	2021	2022	2023

Число работ по годам

1	1																																																						11
1	0																																																						10
	9																																																						9
	8																																																						8
	7																																																						7
	6																																																						6
	5																																																						5
	4																																																						4
	3																																																						3
	2																																																						2
	1																																																						1
		1	2	3	4	5	6	7	8	9	0	1	2	3	4	5	6	7	8	9	0	1	2	3	4	5	6	7	8	9	0	1	2	3	4	5	6	7	8	9	0	1	2	3	4	5	6	7	8	9	0	1	2	3
1	9	7							1	9	8								1	9	9								2	0	0								2	0	1								2	0	2

	7	2023
171	html (ссылка на конференцию) программа конф.: doc, pdf текст доклада: doc, pdf ppt (доклад)	Бурдонов И.Б., Максимов А.В. Компьютерная структуризация канонических текстов Доклад на II НАУЧНОЙ КОНФЕРЕНЦИИ «ИСТОРИЯ, КУЛЬТУРА И ЯЗЫК КИТАЯ», ПОСВЯЩЁННОЙ 70-ЛЕТИЮ А.И. КОБЗЕВА 2 ноября 2023 года

170	doc, pdf обложка: doc, jpg, png html на сайте ИСП РАН html на моём сайте	Бурдонов И.Б., Максимов А.В. Компьютерная структуризация канонических текстов / И.Б. Бурдонов, А.В. Максимов. — М.: ИСП РАН, 2023 — 294 с. УДК 004.891.2 DOI: 10.15514/BURD-2023-294 монография

169	$_€_£_html (на журнал) pdf (eng в журнале)	I. Burdonov, and A. Maksimov. Twenty Similarity Functions for Two Finite Sequences. Programming and Computer Software, 2023, Vol. 49, No. 5, pp. 373–387. ISSN PRINT: 0361-7688, ISSN ONLINE: 1608-3261.

168	html (на журнал) pdf (рус в журнале) doc	И. Бурдонов, А. Максимов. Двадцать функций подобия двух конечных последовательностей. Программирование, 2023, № 5, с. 3–18. ISSN (PRINT) : 0132-3474

167	pdf	И.Б. Бурдонов, Н.В. Евтушенко, А.С. Косачев. Конечно-автоматные методы синтеза тестов с гарантированной полнотой для входо-выходных полуавтоматов. Электронные библиотеки, 26 (1), 18–34. DOI: https://doi.org/10.26907/1562-5419-2023-26-1-18-34

166	$_€_£_html (на журнал)	I. B. Burdonov, N. V. Evtushenko, A. S. Kossachev, and N. G. Kushik. On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata. Automation and Remote Control, 2023, Vol. 84, No. 6, 606–611. © Pleiades Publishing, Ltd., 2023.

165	pdf	И.Б. Бурдонов, Н.В. Евтушенко, А.С. Косачев, Н.Г. Кушик. О синтезе безусловных установочных и синхронизирующих экспериментов для наблюдаемых входо-выходных полуавтоматов. Автоматика и телемеханика, 2023, выпуск 6, страницы 67–78. DOI: https://doi.org/10.31857/S0005231023060041
	4	2022
164	doc, pdf pdf (в Трудах)	БУРДОНОВ И.Б., КАРНОВ А.А. Анализ регулярности матриц. Труды Института системного программирования РАН. 2022;34(1):101-122. https://doi.org/10.15514/ISPRAS-2022-34(1)-8

163	pdf (тезисы) текст доклада: doc, pdf mp4 (доклад)	Бурдонов И.Б., Карнов А.А.КОМПЬЮТЕРНЫЙ АНАЛИЗ ПАРАЛЛЕЛИЗМОВ СТИХОВ «КАНОНА СТИХОВ» (ШИ ЦЗИН) КАК ЧЕТЫРЁХМЕРНЫХ МАТРИЦ. Материалы Российской конференции с межд. участием «Новые информационные технологии в исследовании сложных структур», с. 36.

162	pdf	Бурдонов И.Б., Евтушенко Н.В., Косачев А.С. Синтез тестов с гарантированной полнотой для входо-выходных полуавтоматов Научный сервис в сети Интернет: труды XXIV Всероссийской научной конференции (19-22 сентября 2022 г., онлайн). — М.: ИПМ им. М.В.Келдыша, 2022. — С. 93-103. https://doi.org/10.20948/abrau-2022-25 https://keldysh.ru/abrau/2022/theses/25.pdf

161	doc, pdf тезисы доклада на семинаре: doc, pdf	БУРДОНОВ И.Б., ЕВТУШЕНКО Н.В., КОСАЧЕВ А.С. Реализация распределённых и параллельных вычислений в сети SDN. Труды Института системного программирования РАН. 2022;34(3):159-172. https://doi.org/10.15514/ISPRAS-2022-34(3)-11
	4	2021
160	doc (рус), doc (eng), pdf (eng, последняя версия), pdf (диплом)	Burdonov, N. Yevtushenko and A. Kossachev, Verifying Multiple Virtual Networks in Software Defined Networks 2021 IEEE East-West Design & Test Symposium (EWDTS), 2021, pp. 1-6, doi: 10.1109/EWDTS52692.2021.9581047.

159	pdf	Burdonov, I.; Kossachev, A.; Yevtushenko, N.; López, J.; Kushik, N. and Zeghlache, D. (2021). Preventive Model-based Verification and Repairing for SDN Requests. In Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, ISBN 978-989-758-508-1 ISSN 2184-4895, pages 421-428. DOI: 10.5220/0010494504210428

158	doc, pdf	БУРДОНОВ И.Б., ЕВТУШЕНКО Н.В., КОСАЧЕВ А.С. Безопасная реализация виртуальной сети на плоскости данных SDN. Труды Института системного программирования РАН. 2021;33(1):123-136. https://doi.org/10.15514/ISPRAS-2021-33(1)-9

157	doc (eng), pdf (рус)	B. Burdonov, E. M. Vinarskii, N. V. Yevtushenko, and A. S. Kossatchev. - И.Б. Бурдонов , Е.М. Винарский, Н.В. Евтушенко, А.С. Косачев. Perfect Sets of Paths in the Full Graph of SDN Switches. - Совершенные множества путей в полном графе коммутаторов SDN-сети. "Programming and Computer Software". Volume 47, issue 7, December 2021. Pages: 505 – 514
	7	2020
156	doc, pdf pdf	Igor Burdonov, Alexandre Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache. Preventive Model-based Verification and Repairing for SDN Requests. http://arxiv.org/abs/1906.03101, last revised September, 23, 2020.

155	doc, pdf pdf	Бурдонов И.Б., Винарский Е.М., Евтушенко Н.В., Косачев А.С. Совершенные множества путей в полном графе коммутаторов SDN-сети. Труды ИСП РАН, том 32, вып. 4, 2020 г., стр. 245–260. DOI: 10.15514/ISPRAS–2020–32(4)–18.

154	pdf pdf	Igor Burdonov, Nina Yevtushenko, Alexander Kossachev. Deriving Distinguishing Sequences for Input/Output Automata. Proceedings 2020 IEEE East-West Design & Test Symposium (EWDTS). Varna, Bulgaria, September 4 – 7, 2020. pp. 475-479. ISBN: 978-1-7281-9898-9. 5 стр.

153	doc (рус), doc (eng) pdf (рус), pdf (eng) pdf pdf	Igor Burdonov, Nina Yevtushenko, Alexandr Kossachev. Implementing a Virtual Network on the SDN Data Plane. Proceedings 2020 IEEE East-West Design & Test Symposium (EWDTS). Varna, Bulgaria, September 4 – 7, 2020. pp. 279-283. ISBN: 978-1-7281-9898-9. 5 стр.

152	pdf	Igor B. Burdonov, Nina Yevtushenko, Alexander S. Kossatchev. Separating Input/Output Automata With Nondeterministic Behavior. Russian Digital Libraries Journal, Volume 23, Number 4, 2020. pp. 634-655. DOI: 10.26907/1562-5419-2020-23-4-634-655. 22 стр.

151	pdf pdf	Igor Burdonov, Nina Yevtushenko and Alexandre Kossachev. Distinguishing Transition Systems with the Nondeterministic Behavior. CEUR Workshop Proceedings, http://CEUR-WS.org, RWTH Aachen, Informatik 5, Aachen, Germany, Version 1.02, 2019-10-24. Стр. 116-125. Примечание: перевод доклада "О различимости систем переходов с недетерминированным поведением" на конференции «Научный сервис в сети интернет» 2019. 20 стр.

150	doc, pdf pdf	Igor Burdonov, Nina Yevtushenko, Alexandr Kossachev, Tiziano Villa. Synchronous composition of quasi-complete and quasi-deterministic FSMs. Proceedings of 2019 Actual Problems of Systems and Software Engineering (APSSE), Moscow, Russia, 2019, pp. 69-76. DOI: 10.1109/APSSE47353.2019.00016. 8 стр.
	8	2019
149	doc, pdf pdf	I. Burdonov. Distributed algorithm of self-transformation of the distributed network topology in order to minimize the Wiener index. CEUR Workshop Proceedings, http://CEUR-WS.org, RWTH Aachen, Informatik 5, Aachen, Germany, Version 1.02, 2019-10-24. Стр. 103-115. 13 стр.

148	doc, pdf pdf	И.Б. Бурдонов. Модель самотрансформации графов, основанная на операции изменения конца ребра. Электронные библиотеки. 2020. Т. 23. № 2. Стр. 315-335. 21 стр.

147	doc, pdf pdf	И.Б. Бурдонов, Н.В. Евтушенко, А.С. Косачев. О разделимости входо-выходных полуавтоматов с недетерминированным поведением. Электронные библиотеки. 2020. Т. 23. № 2. Стр. 634-655. 26 стр.

146	pdf pdf	И.Б. Бурдонов, Н.В. Евтушенко, А.С. Косачев. О различимости систем переходов с недетерминированным поведением. ХХ1 конференция "Научный сервис в сети интернет" 23-28 сентября 2019г. г. Новороссийск.-ИПМ им. М.В.Келдыша. Стр. 177-186. 10 стр.

145	doc, pdf pdf	И.Б. Бурдонов. Распределенный алгоритм самотрансформации топологии распределенной сети с целью минимизации индекса Винера. ХХ1 конференция "Научный сервис в сети интернет" 23-28 сентября 2019г. г. Новороссийск.-ИПМ им. М.В.Келдыша. Стр. 166-176. 11 стр.

144	doc, pdf pdf	И. Бурдонов. Самотрансформация деревьев с ограниченной степенью вершин с целью минимизации или максимизации индекса Винера. Труды ИСП РАН, т. 31, вып. 4. Стр.189-210. 22 стр.

143	pdf pdf	Igor B. Burdonov, Alexandre Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache. Verifying SDN Data Path Requests. CoRR abs/1906.03101 (2019). 8 стр.

142	doc, pdf pdf	Igor Burdonov, Alexandr Kossachev, Nina Yevtushenko, Alexey Demakov. Evaluating the Length of Distinguishing Sequences for Non-Deterministic Input/Output Automata. Proceedings of 2019 IEEE East-West Design & Test Symposium (EWDTS), pp. 445-449. 5 стр.
	8	2018
141	doc, pdf	И.Б. Бурдонов, Н.В. Евтушенко, А.С. Косачев. Тестирование правил настройки сетевого коммутатора программно-конфигурируемой сети. Труды Института системного программирования РАН, том 30-6, 2018, стр. 69-88. 20 стр.

140	doc $_€_£_html	N. G. Kushik, N. V. Evtushenko, I. B. Burdonov, A. S. Kossatchev Deriving Synchronizing and Homing Sequences for Input/Output Automata. Automatic Control and Computer Sciences, 2018, v.52, №7, pp.589-595. 7 стр.

139	pdf	И.Б.Бурдонов, Н.В.Евтушенко, А.С.Косачев, В.З. Шнитман О синхронной композиции детерминированных автоматов. Новые информационные технологии в исследовании сложных структур: материалы 12 конференции с международным участием. Томск: Издательский Дом Томского государственного университета. 2018 г., стр. 70-71. 2 стр.

138	pdf	Yevtushenko, Nina & Burdonov, Igor & Kossatchev, Alexander & López, Jorge & Kushik, Natalia & Zeghlache, Djamal. Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness. Proceedings of 2018 IEEE East-West Design and Test Symposium, EWDTS 2018 8524712, pp. 1-6. 6 стр.

137	doc, pdf	Бурдонов И.Б., Косачев А.С. Проблема отката в ориентированной распределенной системе. Труды ИСП РАН, том 30, вып. 2, 2018 г., стр. 167-194. DOI: 10.15514/ISPRAS-2018-30(2)-9. 28 стр.

136	doc, pdf	И.Б. Бурдонов, А.С.Косачев. Настройка распределенной сети на кратчайшие пути. Научный сервис в сети Интернет: труды XX Всероссийской научной конференции (17-22 сентября 2018 г., г. Новороссийск). - М.: ИПМ им. М.В.Келдыша, 2018. Стр. 89-99. 11 стр.

135	pdf	И.Б. Бурдонов, Н.В.Евтушенко, А.С.Косачев. Синтез тестов для синхронной композиции детерминированных и полностью определенных автоматов. Научный сервис в сети Интернет: труды XX Всероссийской научной конференции (17-22 сентября 2018 г., г. Новороссийск). - М.: ИПМ им. М.В.Келдыша, 2018. Стр. 100-110. 10 стр.

134	pdf	Burdonov I.B., Kossatchev A.S., Kuliamin V.V., Tomilin A.N., Shnitman V.Z. Asynchronous Distributed Algorithms for Static and Dynamic Directed Rooted Graphs. Trudy ISP RAN/Proc. ISP RAS, vol. 30, issue 1, 2018, pp. 69-88. DOI: 10.15514/ISPRAS-2018-30(1)-5 20 стр.
	7	2017
133	pdf	Кушик Н.Г., Евтушенко Н.В., Бурдонов И.Б., Косачев А.С. К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов. Моделирование и анализ информационных систем. 2017;24(6):730-742. https://doi.org/10.18255/1818-1015-2017-6-730-742 13 стр.

132	pdf	Burdonov I.B., Kushik N.G., Yevtushenko N.V., Kossatchev A.S.. Synchronizing and Homing Experiments for Input/output Automata. Электронный журнал «System Informatics (Системная информатика), № 10, 2017, стр. 1-10, ISSN 2307-6410, УДК 519.713. 10 стр.

131	doc, pdf	И. Бурдонов, А. Косачев. Распределённые алгоритмы на корневых неориентированных графах. Труды Института системного программирования РАН. Том 29, выпуск 5, 2017, стр. 283-310. ISSN 2220-6426 (Online), ISSN 2079-8156 (Print). 28 стр.

130	doc, pdf	И. Бурдонов, А. Косачев. Общий подход к решению задач на графах коллективом автоматов. Труды Института системного программирования РАН. Том 29, выпуск 2, 2017, стр. 27-76. ISSN 2220-6426 (Online), ISSN 2079-8156 (Print). 50 стр.

129	doc, pdf	И. Бурдонов, А. Косачев. Размер памяти для хранения упорядоченного корневого графа. Труды Института системного программирования РАН. Том 29, выпуск 2, 2017, стр. 7-26. ISSN 2220-6426 (Online), ISSN 2079-8156 (Print). 20 стр.

128	doc, pdf	И. Бурдонов, А. Косачев. Исследование ориентированного графа коллективом неподвижных автоматов. Программная инженерия. т.8, №1, 2017, стр. 16-25. 10 стр.

127	doc, pdf	И.Б. Бурдонов, А.С. Косачев Тестирование системы автоматов. Вестник Томского государственного университета. Управление, вычислительная техника и информатика, №38, 2017, стр. 63-71 9 стр.
	8	2016
126	doc, pdf	И. Бурдонов, А. Косачев. Исследование графов коллективом двигающихся автоматов. Программная инженерия. т.7, №12, 2016 , стр. 559-567. 9 стр.

125	doc, pdf	И.Б. Бурдонов, А.С. Косачев Исследование графа автоматом. Программная инженерия. т.7, №11, 2016 , стр. 498-508. 11 стр.

124	doc, pdf	И.Б. Бурдонов, А.С. Косачев Обобщенная модель системы автоматов. Вестник Томского государственного университета. Управление, вычислительная техника и информатика, №4(37), 2016, стр. 89-97 9 стр.

123	doc, pdf	И. Б. Бурдонов, А. С. Косачев Обобщенная модель системы автоматов. Новые информационные технологии в исследовании сложных структур. Материалы 11-ой международной конференции. Томск, Издательский дом Томского государственного университета, 2016. Стр. 46-47. 1 стр.

122	doc, pdf	И. Б. Бурдонов, А. С. Косачев Тестирование системы автоматов. Новые информационные технологии в исследовании сложных структур. Материалы 11-ой международной конференции. Томск, Издательский дом Томского государственного университета, 2016. Стр. 47-48. 1 стр.

121	doc, pdf	И. Бурдонов, А. Косачев. Система автоматов: условия детерминизма и тестирование. Труды Института системного программирования РАН, том 28-1, 2016 г., ISSN 2079-8156, с. 151-184. 41 стр.

120	doc, pdf	И. Бурдонов, А. Косачев. Система автоматов: композиция по графу связей. Труды Института системного программирования РАН, том 28-1, 2016 г., ISSN 2079-8156, с. 131-150. 29 стр.

119	doc, pdf	И. Бурдонов, А. Косачев. Тестирование системы автоматов с буферизацией сообщений. Труды Института системного программирования РАН, том 28-1, 2016 г., ISSN 2079-8156, с. 103-130. 38 стр.
	5	2015
118	doc_1, pdf_1, abstract_html, $_€_£_html	I.B. Burdonov, A.S. Kossatchev, V.V. Kulyamin. Analysis of a Graph by a Set of Automata. Programming and Computer Software, Vol. 41, No. 6, 2015, pp. 307-310. 4 стр.

117	doc_1, pdf_1, abstract_html, $_€_£_html	I.B. Burdonov, A.S. Kossatchev, V.V. Kulyamin. Parallel Computations on a Graph. Programming and Computer Software, Vol. 41, No. 1, 2015, pp. 1-13. 13 стр.

116	doc, pdf, pdf_1	И.Б. Бурдонов, А.С. Косачев., В.В. Кулямин. Исследование графа набором автоматов. "Программирование", -2015, №6–стр. 3-8. 6 стр.

115	doc, pdf, pdf_1	И. Бурдонов, А. Косачев. Параллельные вычисления на динамически меняющемся графе. Труды Института системного программирования РАН, том 27-2, 2015 г., ISSN 2079-8156, с. 189-220. 32 стр.

114	doc, pdf, pdf_1	И. Бурдонов, А. Косачев. Мониторинг динамически меняющегося графа. Труды Института системного программирования РАН, том 27-1, 2015 г., ISSN 2079-8156, с. 69-96. 28 стр.

113	doc, pdf, pdf_1	И. Бурдонов, А. Косачев. Обход неизвестного графа коллективом автоматов. Недетерминированный случай. Труды Института системного программирования РАН, том 27-1, 2015 г., ISSN 2079-8156, с. 51-68. 18 стр.

112	doc, pdf, pdf_1	И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин. Параллельные вычисления на графе. "Программирование", 2015, №1, стр. 3-20. 18 стр.
	9	2014
111	doc, pdf	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Параллельные вычисления автоматами на прямом и обратном остовах графа. Труды Института системного программирования РАН Том 26-6. 2014 г., стр. 63-66. 4 стр.

110	doc, pdf	И.Б.Бурдонов, А.С. Косачев. Построение прямого и обратного остовов автоматами на графе. Труды Института системного программирования РАН Том 26-6. 2014 г., стр. 57-62. 6 стр.

109	doc, pdf, pdf_1, ppt	I. Burdonov, A.Kossatchev, 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. см. Труды Института системного программирования РАН Том 26-6. 2014 г., стр. 63-66. 4 стр.

108	doc, pdf, pdf_1, ppt	I. Burdonov, A. Kossatchev. 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. см.Труды Института системного программирования РАН Том 26-6. 2014 г., стр. 57-62. 6 стр.

107	doc, pdf, pdf_1	Igor Burdonov, Alexander Kossatchev, Nina Yevtushenko. Deriving complete finite tests based on state machines. Proceedings of IEEE East-West Design & Test Symposium (EWDTS 2014). Kiev, Ukraine, 2014. P. 190-194. 5 стр.

106	doc, pdf, pdf_1	И. Бурдонов, А. Косачев. Исследование графа взаимодействующими автоматами. «Вестник Томского государственного университета. Управление, вычислительная техника и информатика», №3, 2014, стр. 67-75. 9 стр.

105	doc, pdf, pdf_1, ppt	И. Бурдонов, А. Косачев. Исследование графа взаимодействующими автоматами. Новые информационные технологии в исследовании сложных структур. Материалы 10-ой российской конференции с международным участием. 2014, изд. Томского госуниверситета, стр.47-48. 2 стр.

104	doc, pdf, pdf_1	И. Бурдонов, А. Косачев. Обход неизвестного графа коллективом автоматов. Труды Института системного программирования РАН, том 26-2, 2014 г., ISSN 2079-8156, с. 43-86. 44 стр.

103	doc, pdf, pdf_1	И. Бурдонов, А. Косачев. Развитие теории конформности: семантики, формальные модели, алгоритмы. Труды Института системного программирования РАН, том 26-1, 2014 г., ISSN 2079-8156, с.27-72. 47 стр.
	5	2013
102	doc, pdf, pdf_1, ppt	И. Бурдонов, А. Косачев. Обход неизвестного графа коллективом автоматов. Труды Международной суперкомпьютерной конференции "Научный сервис в сети Интернет: все грани параллелизма". 2013, изд. МГУ, стр. 228-232. 5 стр.

101	pdf, abstract_html, $_€_£_html	I.B. Burdonov, A.S. Kossatchev. Agreement between Conformance and Composition. Programming and Computer Software,Vol. 39, No. 6, 2013, pp. 269–278. 10 стр.

100	doc, pdf, pdf_1	И. Бурдонов, А. Косачев. Согласование конформности и композиции. "Программирование", -2013, №6, стр. 3-15. 13 стр.

99	doc_1, pdf_1, abstract_html, $_€_£_html	I.B. Burdonov, A.S. Kossatchev. Formalization of a Test Experiment-II. Programming and Computer Software,Vol. 39, No. 4, 2013, pp. 163-181. 18 стр.

98	doc, pdf	И. Бурдонов, А. Косачев. Формализация тестового эксперимента – II. "Программирование", -2013, №4, стр. 3-27. 25 стр.
	4	2012
97	doc, pdf, pdf_1	И. Бурдонов, А. Косачев. Зависимости между ошибками на классах тестируемых реализаций. Труды Института системного программирования РАН, том 23, 2012 г., ISSN 2079-8156, с.323-358. 36 стр.

96	doc, pdf, pdf_1	И. Бурдонов, А. Косачев. Финальные модели спецификации. Труды Института системного программирования РАН, том 22, 2012 г., ISSN 2079-8156, с. 233-276. 44 стр.

95	doc, pdf, ppt	Бурдонов И.Б., Косачев А.С. Финальные модели спецификаций и реализаций. Новые информационные технологии в исследовании сложных структур. Материалы девятой российской конференции с международным участием. Томск, «Издательство НТЛ», 2012, стр.54. 1 стр.

94	doc, pdf, ppt	Бурдонов И.Б., Косачев А.С. Удаление из спецификации неконформных трасс. Новые информационные технологии в исследовании сложных структур. Материалы девятой российской конференции с международным участием. Томск, «Издательство НТЛ», 2012, стр.53. 1 стр.
	9	2011
93	doc, pdf, pdf_1, abstract_html, $_€_£_html	I.B. Burdonov, V. P. Ivannikov, A.S. Kossatchev, 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, DOI: 10.1007/978-3-642-22816-2_5. 5 стр.

92	doc_1, pdf_1	Бурдонов И.Б., Грошев С.Г., Демаков А.В., Камкин А.С., Косачев А.С. Сортов А.А. Параллельное тестирование больших автоматных моделей. Вестник ННГУ, №3(2), 2011 г., стр. 187-193. 7 стр.

91	doc, pdf, pdf_1	И.Б.Бурдонов, А.С. Косачев. Удаление из спецификации неконформных трасс. Препринт Института Системного Программирования РАН, 2011 г., №23, 218 стр. 218 стр.

90	смотри диссертацию	И.Б.Бурдонов. Теория конформности (функциональное тестирование программных систем на основе формальных моделей). LAP LAMBERT Academic Publishing, Saarbrucken, Germany, 2011, 428 стр. ISBN 978-3-8454-1747-9. 428 стр.

89	pdf, abstract_html, $_€_£_html	I.B. Burdonov, A.S. Kossatchev. Safe Simulation Testing of Systems with Refusals and Destructions. Automatic Control and Computer Sciences, 2011, Vol. 45, No. 7. pp. 380-389. 14 стр.

88	doc, pdf, pps	И.Б.Бурдонов, Иванников В.П., Косачев А.С. Проект КЛАСТОС. Труды SORUCOM-2011, Вторая международная конференция «Развитие вычислительной техники и ее ПО в России и странах бывшего СССР». Великий Новгород, 12-16 сентября 2011г., стр. 76-82. 7 стр.

87	pdf, abstract_html, $_€_£_html	I.B. Burdonov, A.S. Kossatchev. Specification Completion for IOCO. Programming and Computer Software,Vol. 37, No. 1, 2011, pp. 1-14. 14 стр.

86	doc, pdf	И.Б.Бурдонов, А.С.Косачев. Пополнение спецификации для ioco. "Программирование", -2011, №1–стр 3-18. 16 стр.

85	doc, pdf, pdf_1, ppt	И.Б.Бурдонов, А.С.Косачев. Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 2. Условия конечного полного тестирования. «Вестник Томского государственного университета. Управление, вычислительная техника и информатика», №2, 2011, стр.89-98. 10 стр.
	11	2010
84	doc, pdf, pdf_1	И.Б.Бурдонов, А.С.Косачев. Безопасное тестирование симуляции систем с отказами и разрушением. «Моделирование и анализ информационных систем», Том 17, Номер 4, 2010. стр. 27-40. УДК 517.51+514.17 14 стр.

83	doc, pdf	И.Б.Бурдонов, А.С.Косачев, П.Н. Яковенко Защита целостности файлов на внешних носителях в условиях недоверенной операционной системы. Методы и технические средства обеспечения безопасности информации: респ. научно-технич. конф.: тез. докл. – СПб. Изд-во СПбГТУ, 2010. 2 стр.

82	pdf, abstract_html, $_€_£_html	I.B. Burdonov, A.S. Kossatchev. Interaction Semantics with Refusals, Divergence, and Destruction. Programming and Computer Software,Vol. 36, No. 5, 2010, pp. 247-263. 17 стр.

81	doc, pdf	И.Б.Бурдонов, А.С.Косачев. Семантики взаимодействия с отказами, дивергенцией и разрушением. "Программирование", -2010, №5, стр 3-23. 21 стр.

80	doc, pdf, pdf_1	И.Б.Бурдонов, А.С.Косачев, С.Г. Грошев, А.С. Камкин, А.А. Сортов Параллельное тестирование больших автоматных моделей. Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Всероссийской суперкомпьютерной конференции (21-24 сентября 2010 г., г. Новороссийск). - М.: Изд-во МГУ, 2010, с. 224-228. 5 стр.

79	doc, pdf, pdf_1	И.Б.Бурдонов, А.С.Косачев. Тестирование с преобразованием семантик. Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Всероссийской суперкомпьютерной конференции (21-24 сентября 2010 г., г. Новороссийск). - М.: Изд-во МГУ, 2010. с. 420-424. 5 стр.

78	doc_1, pdf_1	I.B. Burdonov, A.S. Kossatchev. Formal conformance verification. Short Papers of the 22nd IFIP ICTSS, Alexandre Petrenko, Adenilso Simao, Jose Carlos Maldonado (eds.), Nov. 08-10, 2010, Natal, Brazil, pp.1-6. 6 стр.

77	doc, pdf, pdf_1, ppt	И.Б.Бурдонов, А.С.Косачев. Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 1. Гипотеза о безопасности и безопасная конформность. «Вестник Томского государственного университета. Управление, вычислительная техника и информатика», №4, 2010, стр.124-133. 10 стр.

76	doc, pdf, ppt	И.Б.Бурдонов, А.С.Косачев. Тестирование безопасной симуляции. 5-ый Международный симпозиум по компьютерным наукам в России. Семинар «Семантика, спецификация и верификация программ: теория и приложения».Казань 2010, стр. 37-42. 6 стр.

75	doc, pdf, ppt	И.Б.Бурдонов, А.С.Косачев. Симуляция систем с отказами и разрушением. 5-ый Международный симпозиум по компьютерным наукам в России. Семинар «Семантика, спецификация и верификация программ: теория и приложения».Казань 2010, стр. 43-48. 6 стр.

74	doc, pdf, pdf_1	И.Б.Бурдонов, А.С.Косачев. Тестирование конформности на основе соответствия состояний. Труды Института системного программирования РАН, N 18, 2010, стр.183-220. 38 стр.
	10	2009
73	doc, pdf, pdf_1, ppt	И.Б.Бурдонов, А.С.Косачев. Тестирование конформности с открытым состоянием. Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск).- М.: Изд-во МГУ, 2009. стр 265-269. 5 стр.

72	doc, pdf, pdf_1, ppt	И.Б.Бурдонов, А.С.Косачев. Аналитическая верификация конформности. Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск).- М.: Изд-во МГУ, 2009, стр 261-264. 4 стр.

71	pdf, abstract_html, $_€_£_html	I.B. Burdonov, A.S. Kossatchev. Complete OpenState Testing of Limitedly Nondeterministic Systems. Programming and Computer Software,Vol. 35, No. 6, 2009,pp.301-313. 13 стр.

70	doc, pdf	И.Б.Бурдонов, А.С.Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. "Программирование", -2009, №6, стр 3-18. 16 стр.

69	pdf, abstract_html, $_€_£_html	I.B. Burdonov, A.S. Kossatchev. Systems with Priorities: Conformance, Testing, and Composition. Programming and Computer Software,Vol. 35, No. 4, 2009, pp.198-211. 14 стр.

68	doc, pdf	И.Б.Бурдонов, А.С.Косачев. Системы с приоритетами: конформность, тестирование, композиция. "Программирование", -2009, №4–стр 24-40. 17 стр.

67	doc, pdf	И.Б. Бурдонов, А.С. Косачев, П.Н. Яковенко Использование технологии аппаратной виртуализации для защиты выполнения приложения в недоверенной операционной системе. Методы и технические средства обеспечения безопасности информации: респ. научно-технич. конф.: тез. докл. СПб. Изд-во СПбГТУ, 2009. стр. 38-39. 2 стр.

66	doc, pdf	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. 6 стр.

65	doc, pdf, pdf_1	И.Б.Бурдонов, А.С.Косачев. Тестирование с преобразованием семантик. Труды Института системного программирования РАН, N 17, 2009, стр.193-208. 16 стр.

64	doc, pdf, pdf_1	И.Б.Бурдонов, А.С.Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Труды Института системного программирования РАН, N 17, 2009, стр.161-192. 32 стр.
	4	2008
63	doc, pdf, pdf_1	И.Б.Бурдонов, А.С.Косачев. Обобщённые семантики тестового взаимодействия. Труды Института системного программирования РАН, N 15, 2008, стр.69-106. 38 стр.

62	doc, pdf, pdf_1	И.Б.Бурдонов, А.С.Косачев. Эквивалентные семантики взаимодействия. Труды Института системного программирования РАН, N 14.1, 2008, стр.55-72. 18 стр.

61	doc, pdf, pdf_1	И.Б.Бурдонов, А.С.Косачев. Системы с приоритетами: конформность, тестирование, композиция. Труды Института системного программирования РАН, N 14.1, 2008, стр.23-54. 32 стр.

60	doc, pdf	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Теория соответствия для систем с блокировками и разрушением. «Физ-мат лит» Наука, Москва, 2008, 411 стр. Монография. 411 стр.
	3	2007
59	doc, pdf, pdf_1, ppt	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Безопасность, верификация и теория конформности. Материалы Второй международной научной конференции по проблемам безопасности и противодействия терроризму, Москва, МНЦМО, 2007, стр.135-159. 25 стр.

58	pdf, abstract_html, $_€_£_html	I.B. Burdonov, A.S. Kossatchev, V.V. Kuliamin V. Formalization of Test Experiments. Programming and Computer Software,Vol. 33, No. 5, 2007, pp. 239-260. 12 стр.

57	doc, pdf	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Формализация тестового эксперимента. "Программирование", 2007, №5, стр.3-33. 31 стр.
	3	2006
56	pdf	И.Б.Бурдонов, А.С.Косачев, Пономаренко В.Н. Обзор подходов к верификации распределенных систем. ИСП РАН, препринт 16, М., 2006. 61 стр.

55	pdf	И.Б.Бурдонов, А.С.Косачев, Пономаренко В.Н. Операционные системы реального времени. ИСП РАН, препринт 14, М., 2006. 98 стр.

54	pdf	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. 16 стр.
	2	2005
53	doc, pdf	И.Б.Бурдонов, А.С.Косачев. Верификация композиции распределенной системы. Труды Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ", Изд-во МГУ, 2005, стр.67-69. 2 стр.

52	doc, pdf	И.Б.Бурдонов, А.С.Косачев. Тестирование компонентов распределенной системы. Труды Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ", Изд-во МГУ, 2005, стр.63-65. 2 стр.
	9	2004
51	doc, pdf	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Мета-модель функциональной спецификации распределенной системы, пригодная для тестирования. Труды Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ". 2004, стр.55-57. 3 стр.

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

49	doc, pdf, ppt	И.Б.Бурдонов. Исследование одно/двунаправленных распределённых сетей конечным роботом. Труды Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ". 2004, стр.53-54. 2 стр.

48	pdf, abstract_html, $_€_£_html	I.B.Bourdonov. Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot. Programming and Computer Software,Vol. 30, No. 4, 2004, pp. 305-322. 18 стр.

47	doc, pdf	И.Б.Бурдонов. Проблема отката по дереву при обходе неизвестного ориентированного графа конечным роботом. "Программирование",-2004, №6, стр.6-29. 24 стр.

46	pdf, abstract_html, $_€_£_html	I.B.Bourdonov. Traversal of an Unknown Directed Graph by a Finite Robot. Programming and Computer Software,Vol. 30, No. 4, 2004, pp. 188-203. 16 стр.

45	doc, pdf	И.Б.Бурдонов. Обход неизвестного ориентированного графа конечным роботом. "Программирование",-2004, №4, стр.11-34. 24 стр.

44	pdf, $_€_£_html	I.B.Bourdonov, A.S.Kossatchev, V.V.Kuliamin. Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case. Programming and Computer Software,Vol. 30, No. 1, 2004, pp. 2-17. 16 стр.

43	doc, pdf, pdf_1	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированный случай. "Программирование",-2004. №1, стр.2-17. 16 стр.
	7	2003
42	pdf	Bourdonov.I, Kossatchev A., Kuliamin V., Petrenko A. UniTesK: Model Based Testing in Industrial Practice. Proc of 1-st European Conference on Model-Driven Software Engineering, Nurnberg, December 2003, pp. 55-63. 9 стр.

41	pdf, abstract_html, $_€_£_html	I.B. Bourdonov, V.V. Kuliamin, A.K. Petrenko, A.S. Kossatchev The UniTesK Approach to Designing Test Suites. Programming and Computer Software,Vol. 29, No. 6, 2003, pp. 310-322. 13 стр.

40	pdf, pdf_1, abstract_html	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин, А.К.Петренко. Подход UniTesK к разработке тестов. "Программирование",-2003, №6, стр.25-43. 19 стр.

39	pdf, abstract_html, $_€_£_html	I.B.Bourdonov, A.S.Kossatchev, V.V.Kuliamin. Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case. Programming and Computer Software,Vol. 29, No. 5, 2003, pp. 245-258. 14 стр.

38	html ,doc, pdf, pdf_1	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Неизбыточные алгоритмы обхода ориентированных графов. Детерминированный случай. "Программирование".-2003, №5.- стр.59-69. 11 стр.

37	pdf, pdf_1, abstract_html, $_€_£_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, Springer-Verlag, 2003, pp.450-461. 12 стр.

36	html, doc, pdf, pdf_1	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Асинхронные автоматы: классификация и тестирование. Труды ИСП РАН, т. 4, 2003, стр. 7-84. 76 стр.
	1	2002
35	pdf, ppt, pdf_1, abstract_html, $_€_£_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. 12 стр.
	3	2001
34	pdf, pdf_1, abstract_html, $_€_£_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-307. 7 стр.

33		I.Burdonov, A.Kossatchev, A.Demakov, A.Jarov, A.Petrenko, V.Kuliamin, S.Zelenov. Java Specification Extension for Automated Test Development. Andrei Ershov Fourth International Conference PERSPECTIVES OF SYSTEM INFORMATICS (preliminary proceedings), Novosibirsk, 2001,pp.163-165. 3 стр.

32	pdf	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, pp. 3-39. 37 стр.
	2	2000
31	pdf, abstract_html, $_€_£_html	I.B.Bourdonov, A.S. Kossatchev , V. V. Kulyamin. Application of Finite Automatons for Program Testing. Programming and Computer Software, Vol. 26, No. 2, 2000, p. 61-73. 13 стр.

30	doc, pdf	И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Использование конечных автоматов для тестирования программ. "Программирование",-2000, №2.- стр.12-28. 15 стр.
	3	1999
29	doc, pdf	И.Б.Бурдонов, А.С.Косачев, А.В.Демаков, А.К.Петренко, А.В.Максимов. Формальные спецификации в технологиях обратной инженерии и верификации программ. Труды Института системного программирования РАН, N 1, 1999, стр. 35-47. 16 стр.

28	doc, pdf	Burdonov I.B., Kossathcev A.S., Demakov A.W., Petrenko A.K., Maksimov A.V. Formal specifications in reverse engineering and software verification. Proceedings of the Russian Academy of Sciences Institute for System Prigramming, No. 1, 1999, pp. 61-83. 11 стр.

27	pdf, abstract_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. 14 стр.
	1	1998
26		А.В. Баранцев, Е.Н.Бритвина, И.Б.Бурдонов, А.С.Косачев, С.В.Гоманюк, А.В.Демаков, А.В.Иванов, А.В.Максимов, А.К.Петренко, Ю.Л.Сазанов, А.А.Сортов, В.П.Стефанов, Г.М.Сумар. Архитектура системы генерации и пропуска тестов. Вопросы кибернетики, Москва 1998. 12 стр.
	1	1996
25		I.Burdonov, A.Kossatchev, A.Petrenko, S.Cheng, H.Wong . Formal Specification and Verification of SOS Kernel. BNR/NORTEL Design Forum, June 1996. 7 стр.
	1	1992
24		Бурдонов И. Б., Иванников В.П.,Косачев А.С.,Копытов Г.В., Кузнецов С.Д. Проект КЛОС: к объектно-ориентированной среде разработки прикладных систем. Управляющие машины и системы, 1992, N 1/2, стр. 61-65. 5 стр.
	4	1991
23		Бурдонов И. Б., Игнатьева Н.В., Кузнецов С.Д., Пономаренко В.Н., Шпекторов С.В. Функции и организация подсистемы управления памятью и синхронизацией реляционной СУБД. Сб."Вопросы кибернетики. Программное обеспечение высокопроизводительной системы",М., НСК АН СССР,1991 г.,стр.71-97. 27 стр.

22		Бурдонов И. Б., Березин Е.Г., Косачев А.С., Гайсарян С.С., Копытов Г.В., Кузнецов С.Д. Система программирования КЛОС: язык Сиклос. Сб."Вопросы кибернетики. Программное обеспечение высокопроизводительной системы",М., НСК АН СССР,1991 г.,стр.25-45. 21 стр.

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

20	pdf, abstract_html, $_€_£_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. 6 стр.
	2	1990
19		Бурдонов И. Б., Иванников В.П.,Косачев А.С.,Копытов Г.В., Кузнецов С.Д. Принципы организации КЛОС - кластерной операционной системы. "Программирование",-1990, N6.- стр.66-80. 15 стр.

18		Бурдонов И. Б., Иванников В.П.,Косачев А.С.,Копытов Г.В., Кузнецов С.Д. Операционная среда асинхронного объектно-ориентированного программирования. Сб."Актуальные проблемы системного программирования. Объектно-ориентированное программирование". Таллинн, АН ЭССР.- 1990.- стр.95-96. 2 стр.
	1	1989
17		Бурдонов И. Б., Косачев А.С.,Иванников В.П.,Смирнов В.П. Объектно-ориентированная технология создания распределенных программных комплексов. J.New Gener. Comput. Syst. -V.2.-N 1.-pp. 47-61. 15 стр.
	2	1988
16		Бурдонов И. Б., Косачев А.С., Гайсарян С.С., Кузнецов С.Д. Языковая поддержка программирования и проектирования в кластерной технологии. Сб."Методы трансляции и конструирования программ. Тез.конф.",Новосибирск,ВЦ СО АН СССР, 1988 г., стр.36-37. 2 стр.

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

13		Бурдонов И. Б., Иванников В.П., Кретов А.В., Кузнецов С.Д., Юдин В.Н. Переносимая система управления файлами. Сб. "Машинно-независимые операционные системы", Москва, МЦНТИ, 1987 стр. 88-93. 6 стр.

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

9		Бурдонов И. Б., Смирнов Ю.П. Программные средства поддержки в сетях. Сб. Московской городской конференции "Информатика, вычислительная техника, автоматизация в науке и технике, в народном хозяйстве", М., 1985. 2 стр.

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

4	html, doc, pdf РГБ	А.Ю.Бяков, И.Б.Бурдонов, Ю.П.Смирнов. Адресация и управление устройствами. Институт Точной Механики и Вычислительной Техники им. С.А.Лебедева АН СССР. Тезисы конференции молодых ученых и специалистов ИТМ и ВТ АН СССР. М., 1978. стр. 42-43. 2 стр.

3	html, doc, pdf	И.Б.Бурдонов, Н.Е.Карабутова, С.Д.Кузнецов. Физическая почта. Тезисы конференции молодых ученых и специалистов ИТМ и ВТ, ИТМ и ВТ АН СССР, 1978. стр. 39-40. 2 стр.
	1	1977
2		Бурдонов И.Б., Бяков А.Ю., Иванников В.П., Кузнецов С.Д. Использование кластеров при организации ввода-вывода. Сб. "Проблемы программного обеспечения банков данных", Алма-Ата, 1977.стр. 60-63. 4 стр.
	1	1973
1	html, doc, pdf	А.Н.Томилин, Ю.Н.Знаменский, А.С.Косачев, И.Б.Бурдонов, Н.Е.Карабутова, Т.М.Суслова, В.Я.Солодова, З.А.Канатникова, З.М.Лободенко, В.И.Максаков. Математическое обеспечение периферийной машины. Сб."Тезисы Юбилейной научно-технич. конф. Высоко-производительные системы", М., ИТМиВТ АН СССР, 1973 г. стр. 65. 1 стр.

		на начало страницы

Дополнительный список

	1971	1972	1973	1974	1975	1976	1977	1978	1979
1980	1981	1982	1983	1984	1985	1986	1987	1988	1989
1990	1991	1992	1993	1994	1995	1996	1997	1998	1999
2000	2001	2002	2003	2004	2005	2006	2007	2008	2009
2010	2011	2012	2013	2014	2015	2016

		2008
2	doc, pdf, доклад ppt	И.Б.Бурдонов. Теория конформности для функционального тестирования программных систем на основе формальных моделей. Диссертация на соискание учёной степени д.ф.-м.н., Москва, 2008. 596 стр.

1	doc, pdf, доклад ppt	И.Б.Бурдонов. Теория конформности для функционального тестирования программных систем на основе формальных моделей. Автореферат диссертации на соискание учёной степени д.ф.-м.н., Москва, 2008. 60 стр.

		на начало страницы

Презентации

	1971	1972	1973	1974	1975	1976	1977	1978	1979
1980	1981	1982	1983	1984	1985	1986	1987	1988	1989
1990	1991	1992	1993	1994	1995	1996	1997	1998	1999
2000	2001	2002	2003	2004	2005	2006	2007	2008	2009
2010	2011	2012	2013	2014	2015	2016	2017	2018	2019
2020	2021	2022	2023

	где	слайдов	2023
	pptx (слайды) docx (текст к слайдам) doc (программа конференции) монографию см. выше № 170	12	Бурдонов Игорь Борисович, Максимов Андрей Вячеславович Компьютерная структуризация канонических текстов II научная конференция «История, культура и язык Китая», посвящённая 70-летию А.И. Кобзева. Москва, Институт Востоковедения РАН. 1-2 ноября 2023 года

	mp4 (видео доклад) pptx (слайды) jpg (доп.слайд docx (текст доп. сл.) wav (голос доп. сл.) docx (текст к слайдам) pdf (текст к слайдам) pdf (программа симпозиума)	62	Игорь Бурдонов Теорема Лао-цзы Первый международный симпозиум «Китайско-русский двусторонний перевод и российско-китайский гуманитарный обмен». Институт русского языка Хэйлунцзянского университета, Научно-исследовательский центр русской филологии, литературы и культуры Хэйлунцзянского университета Общество русского языка провинции Хэйлунцзян. Харбин, Китай. 22-24 сентября 2023 г.

	pptx (слайды часть 1) mp4 (видео часть 1) doc (текст к слайдам часть 1) pdf (текст к слайдам часть 1) pptx (слайды часть 2) mp4 (видео часть 2) doc (текст к слайдам часть 2) pdf (текст к слайдам часть 2) doc (сообщение) pdf (сообщение)	81+37	Игорь Бурдонов Онлайн доклад: 1) Рассказ о себе, 2) Путь стихотворения «СВЕТ НАД МОРЕМ»: от Ли Хуа до Гумилёва, по временам и странам Хэйлунцзянский университет, Кафедра русского языка. 16 апреля 2023.

	pptx (обе части без голоса) pptx (часть 1 триграммы) pptx (часть 2 гексаграммы) pptx (конец) mp4 (видео ч.1 триграммы) mp4 (фильм) mp4 (видео ч.2 гексаграммы) doc (текст к слайдам) pdf (текст к слайдам) doc (текст к фильму) pdf (текст к фильму)	33	Игорь Бурдонов И ЦЗИН Лекция о "Книге Перемен" в библиотеке им. Волошина, Москва 31 марта 2023 г.
	где	слайдов	2022
	pptx (доклад) mp4 (доклад видео) wmv (доклад видео) doc (текст к слайдам) pdf (текст к слайдам) doc (статья) pdf (статья)	33	Игорь Бурдонов, Алексей Карнов Компьютерный анализ параллелизмов стихов «Канона стихов» (詩經 – Ши цзин) как четырёхмерных матриц XIV Международная конференция «НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИССЛЕДОВАНИИ СЛОЖНЫХ СТРУКТУР» (ICAM 2022) 19-24 сентября 2022 г. оз. Байкал, Россия. онлайн-доклад

	ppt (слайды) pdf (статья)	24	И.Б. Бурдонов, Н.В. Евтушенко, А.С. Косачев Синтез тестов с гарантированной полнотой для входо-выходных полуавтоматов XXIV Всероссийская конференция "Научный сервис в сети Интернет". 19 по 23 сентября 2022 года. Абрау-Дюрсо. Онлайн.

	ppt (слайды) doc (текст к слайдам) doc (статья)	21	Игорь Бурдонов, Нина Евтушенко, Александр Косачев Реализация распределённых и параллельных вычислений в сети SDN Труды Института системного программирования РАН. 2022;34(3):159-172. https://doi.org/10.15514/ISPRAS-2022-34(3)-11 Доклад на институтском семинаре у Шокурова
	где	слайдов	2021
	ppt (постер) pdf (постер) pdf (статья eng) doc (текст к постеру eng) doc (текст к постеру рус) mov (видео)	1	Igor Burdonov, Alexandre Kossachev, Nina Yevtushenko; Jorge L´opez, Natalia Kushik and Djamal Zeghlache Preventive Model-based Verification and Repairing for SDN Requests ENASE 2021 : 16th International Conference on Evaluation of Novel Approaches to Software Engineering. Online streaming26-27 april 2021

	ppt (слайды) pdf (слайды) pdf (статья eng) doc (статья eng) doc (русская версия статьи) doc (текст к слайдам) pdf (диплом)	17	Igor Burdonov, Nina Yevtushenko and Alexandre Kossatchev Verifying multiple virtual networks in Software Defined Networks 2021 IEEE East-West Design & Test Symposium (EWDTS). Sept. 10 2021 to Sept. 13 2021. Batumi, Georgia
	где	слайдов	2020
	pdf (статья в сборнике)		Igor Burdonov, Nina Yevtushenko and Alexandre Kossatchev Deriving Distinguishing Sequences for Input/Output Automata 2020 IEEE East-West Design & Test Symposium (EWDTS). Varna, Bulgaria, September 4 – 7, 2020

	ppt (слайды) pdf (статья eng) doc (статья eng) pdf (статья в сборнике) doc (русская версия статьи) doc (текст к слайдам) pdf (диплом)	19	Igor Burdonov, Nina Yevtushenko and Alexandre Kossatchev Implementing a virtual network on the SDN data plane. 2020 IEEE East-West Design & Test Symposium (EWDTS). Varna, Bulgaria, September 4 – 7, 2020
	где	слайдов	2019
	ppt (слайды) pdf (статья) pdf (архив v.1 2019) pdf (архив v.2 июнь 2020) pdf (архив v.3 сентябрь 2020)	7	Igor B. Burdonov, Alexandre Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache Verifying SDN Data Path Requests. CoRR abs/1906.03101 (2019)

	ppt (слайды) doc (текст к слайдам) doc (статья)	59	Игорь Бурдонов Распределенный алгоритм самотрансформации топологии распределенной сети с целью минимизации индекса Винера "Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции (23-28 сентября 2019 г., г. Новороссийск)"

36	ppt (слайды) doc (текст)	50	Игорь Бурдонов. Самотрансформирующиеся графы Мехмат МГУ. Семинар "Проблемы современных информационно-вычислительных систем" в феврале-апреле 2019 г.
	где	слайдов	2018
36	ppt (слайды) pdf (статья eng) doc (статья eng) doc (статья рус)	20	Nina Yevtushenko; Igor Burdonov; Alexandre Kossachev; Jorge López; Natalia Kushik; Djamal Zeghlache Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS’18), September 14 – 17, 2018 Kazan, Russia

35	pptx (слайды) pdf (текст)	30 (42)	Игорь Борисович Бурдонов, Александр Сергеевич Косачев Настройка распределённой сети на кратчайшие пути Научный сервис в сети Интернет: труды XX Всероссийской научной конференции (17-22 сентября 2018 г., г. Новороссийск). -- М.: ИПМ им. М.В.Келдыша, 2018. -- 528 с. ISSN 2618-9542 ISBN 978-5-98354-046-0 doi:10.20948/abrau-2018 URL: http://keldysh.ru/abrau/2018/proc.pdf Онлайновая версия сборника трудов размещена на сайте конференции http://keldysh.ru/abrau/2018 .
	где	слайдов	2017
34	pdf (слайды) pdf (текст)	27	Natalia Kushik, Nina Yevtushenko, Igor Burdonov, Alexandr Kossatchev Synchronizing and Homing Experiments for InputOutput Automata. Eighth WorkshopProgram Semantics, Specification and Verification: Theory and Applications (PSSV 2017, June 26, 2017)
	где	слайдов	2016
33	ICAM 2016. Екатеринбург	36	И.Б. Бурдонов, А.С. Косачев Обобщённая модель системы автоматов. 11-ая международная конференция "Новые информационные технологии в исследовании сложных структур". 9 июня 2016. Екатеринбург.

32	ICAM 2016. Екатеринбург	21	И.Б. Бурдонов, А.С. Косачев Тестирование системы автоматов с буферизацией сообщений. 11-ая международная конференция "Новые информационные технологии в исследовании сложных структур". 9 июня 2016. Екатеринбург.

31	Мехмат, МГУ	44	И.Б. Бурдонов, А.С. Косачев Исследование ориентированного графа коллективом неподвижных автоматов. Научный семинар «Проблемы современных информационно-вычислительных систем». 19 апреля 2016. Мехмат МГУ.

30	Мехмат, МГУ	46 (с дополнительными - 60)	И.Б. Бурдонов, А.С. Косачев Исследование ориентированного графа коллективом двигающихся автоматов. Научный семинар «Проблемы современных информационно-вычислительных систем». 12 апреля 2016. Мехмат МГУ. 46 слайдов (с дополнительными - 60)
	где	слайдов	2015
29	Анапа	35	I. Burdonov, A. Kossatchev Parallel Calculations by Automata on dynamically changing graph

28	Анапа	36	I. Burdonov, A. Kossatchev Monitoring of dynamically changing graph
	где	слайдов	2014
27	Париж	предварительно: 27 окончательно: 21+1	I. Burdonov, A. Kossatchev Building Direct and Back Spanning Trees by Automata on a Graph I. Burdonov, A. Kossatchev, V. Kuliamin Parallel Calculations by Automata on Direct and Back Spanning Trees of a Graph

26	Алтай	42+1	И. Бурдонов, А. Косачев Развитие теории конформности

25	Алтай	45+3	И. Бурдонов, А. Косачев Исследование графа взаимодействующими автоматами
	где	слайдов	2013
24	Абрау	44	И. Бурдонов, А. Косачев Обход неизвестного графа коллективом автоматов

23	Томск	27	И. Бурдонов, А. Косачев Формализация тестового эксперимента - II
	где	слайдов	2012
22	Алтай	25 или 22+4	И. Бурдонов, А. Косачев Финальная модель спецификации и удаление неконформных трасс

21	Екатеринбург	54	И. Бурдонов, А. Косачев Тестирование и верификация систем на основе формальных моделей. Лекция 3.

20	Екатеринбург	39	И. Бурдонов, А. Косачев Тестирование и верификация систем на основе формальных моделей. Лекция 2.

19	Екатеринбург	45	И. Бурдонов, А. Косачев Тестирование и верификация систем на основе формальных моделей. Лекция 1.

18	ИСПРАН	27	И. Бурдонов, А. Косачев Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 2

17	ИСПРАН	25	И. Бурдонов, А. Косачев Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 1
	где	слайдов	2010
16	Томск	47	И. Бурдонов, А. Косачев Семантики взаимодействия с отказами, дивергенцией и разрушением

15	PSSV 2010 (CSR-2010), Казань	28+4	И. Бурдонов, А. Косачев Симуляция систем с отказами и разрушением
	где	слайдов	2009
14	Абрау	16	И. Бурдонов, А. Косачев Симуляция систем с отказами и разрушением
	где	слайдов	2008
13	ИСПРАН	429+1	И. Бурдонов Докторская диссертация. Доклад. (44 слайда и 51 слайд - в предварительных версиях)
	где	слайдов	2007
12	Мехмат семинар Васенина	130	И. Бурдонов, А. Косачев, В. Кулямин Теория конформности для систем с отказами и разрушением (формализация тестового эксперимента)
	где	слайдов	2006
11	Мехмат/ Институт механики	31	И. Бурдонов, А. Косачев Теория верификации соответствия программ. Лекция 3

10	Мехмат/ Институт механики	35	И. Бурдонов, А. Косачев Теория верификации соответствия программ. Лекция 2

9	Мехмат/ Институт механики	22	И. Бурдонов, А. Косачев Теория верификации соответствия программ. Лекция 1

8	ИНСТИТУТ МЕХАНИКИ	55+1	И. Бурдонов, А. Косачев Тестирование компонентов и верификация композиции распределённой системы

7		162	И. Бурдонов, А. Косачев, В. Кулямин Теория конформности для систем с отказами и разрушением 07.09.2004 - 20.06.2007

6	MABIT, Москва	33	I. Burdonov, A. Kosachev, V. Kulyamin Computer security, verification, and conformance theory

5	MBT, Вена	33	I. Burdonov, A. Kosachev, V. Kulyamin Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions
	где	слайдов	2005
4	Абрау	34+2	И. Бурдонов, А. Косачев Тестирование компонентов и верификация композиции распределённой системы

3	ИСПРАН	239	И. Бурдонов, А. Косачев Тестирование соответствия (conformance testing)
	где	слайдов	2004
2	Абрау	22	И. Бурдонов Исследование одно/двунаправленных распределённых сетей конечным роботом
	где	слайдов	2002
1	FME’2002, Копенгаген	20	I. Bourdonov, A. Kossatchev, V. Kuliamin, A. Petrenko UniTesK Test Suite Architecture

			на начало страницы

ТЕМАТИЧЕСКИЕ ПОДБОРКИ

Автоматы на графе и обход графа

страниц	Автоматы на графе и обход графа - статьи на русском
		Композиция и тестирование системы автоматов
doc, pdf	Система автоматов: условия детерминизма и тестирование. Труды Института системного программирования РАН, том 28-1, 2016 г., ISSN 2079-8156, с. ???. 36 стр.	условия детерминизма и тестирование	36
doc, pdf	Система автоматов: композиция по графу связей. Труды Института системного программирования РАН, том 28-1, 2016 г., ISSN 2079-8156, с. ???. 30 стр.	определение системы автоматов и композиция	30
doc, pdf	Тестирование системы автоматов с буферизацией сообщений. Труды Института системного программирования РАН, том 28-1, 2016 г., ISSN 2079-8156, с. ???. 38 стр.	дуга = очередь длины 1	38
		Автоматы неподвижны, сообщения по дугам
doc, pdf, pdf_1	Параллельные вычисления на динамически меняющемся графе. Труды Института системного программирования РАН, том 27-2, 2015 г., ISSN 2079-8156, с. 189-220. 32 стр.	Коллектив автоматов. Автоматы неподвижны, сообщения по дугам. Граф динамический. Параллельные вычисления.	32
doc, pdf, pdf_1	Мониторинг динамически меняющегося графа. Труды Института системного программирования РАН, том 27-1, 2015 г., ISSN 2079-8156, с. 69-96. 28 стр.	Коллектив автоматов. Автоматы неподвижны, сообщения по дугам. Граф динамический. Обход.	28
doc, pdf, pdf_1	Параллельные вычисления на графе. "Программирование", 2015, №1, стр. 3-20. 18 стр.	Коллектив автоматов. Автоматы неподвижны, сообщения по дугам. Граф статический и детерминированный. Параллельные вычисления.	18
doc, pdf	Параллельные вычисления автоматами на прямом и обратном остовах графа. Труды Института системного программирования РАН Том 26-6. 2014 г., стр. 63-66. 4 стр.	Коллектив автоматов. Автоматы неподвижны, сообщения по дугам. Граф статический и детерминированный. Параллельные вычисления.	4
doc, pdf	Построение прямого и обратного остовов автоматами на графе. Труды Института системного программирования РАН Том 26-6. 2014 г., стр. 57-62. 6 стр.	Коллектив автоматов. Автоматы неподвижны, сообщения по дугам. Граф статический и детерминированный. Обход и построения деревьев.	6

		Автоматы двигаются, сообщения по отдельной системе связи
doc, pdf, pdf_1	Исследование графа набором автоматов. "Программирование", -2015, №6–стр. 3-8. 6 стр.	Кулямин написал. Коллектив автоматов. Автоматы двигаются. Граф статический и детерминированный. Обход.	6
doc, pdf, pdf_1	Обход неизвестного графа коллективом автоматов. Недетерминированный случай. Труды Института системного программирования РАН, том 27-1, 2015 г., ISSN 2079-8156, с. 51-68. 18 стр.	Коллектив автоматов. Автоматы двигаются. Обход. Граф статический и недетерминированный.	18
doc, pdf, pdf_1	Исследование графа взаимодействующими автоматами. «Вестник Томского государственного университета. Управление, вычислительная техника и информатика», №3, 2014, стр. 67-75. 9 стр.	Коллектив автоматов. Автоматы двигаются. Обход. Граф статический и детерминированный.	9
doc, pdf, pdf_1, ppt	Исследование графа взаимодействующими автоматами. Новые информационные технологии в исследовании сложных структур. Материалы 10-ой российской конференции с международным участием. 2014, изд. Томского госуниверситета, стр.47-48. 2 стр.	--- Коллектив автоматов. Автоматы двигаются. Обход. Граф статический и детерминированный.	2
doc, pdf, pdf_1	Обход неизвестного графа коллективом автоматов. Труды Института системного программирования РАН, том 26-2, 2014 г., ISSN 2079-8156, с. 43-86. 44 стр.	Коллектив автоматов. Автоматы двигаются. Обход. Граф статический и детерминированный.	44
doc, pdf, pdf_1, ppt	Обход неизвестного графа коллективом автоматов. Труды Международной суперкомпьютерной конференции "Научный сервис в сети Интернет: все грани параллелизма". 2013, изд. МГУ, стр. 228-232. 5 стр.	--- Коллектив автоматов. Автоматы двигаются. Обход. Граф статический и детерминированный.	5
		Тестирование распределенное и параллельное
doc_1, pdf_1	Параллельное тестирование больших автоматных моделей. Вестник ННГУ, №3(2), 2011 г., стр. 187-193. 7 стр.		7
doc, pdf, pdf_1	Параллельное тестирование больших автоматных моделей. Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Всероссийской суперкомпьютерной конференции (21-24 сентября 2010 г., г. Новороссийск). - М.: Изд-во МГУ, 2010, с. 224-228. 5 стр.		5
		Робот
doc, pdf, ppt	Исследование одно/двунаправленных распределённых сетей конечным роботом. Труды Всероссийской научной конференции "Научный сервис в сети ИНТЕРНЕТ". 2004, стр.53-54. 2 стр.	---	2
doc, pdf	Проблема отката по дереву при обходе неизвестного ориентированного графа конечным роботом. "Программирование",-2004, №6, стр.6-29. 24 стр.		24
doc, pdf	Обход неизвестного ориентированного графа конечным роботом. "Программирование",-2004, №4, стр.11-34. 24 стр.		24
		Обход графа
doc, pdf	Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированный случай. "Программирование",-2004. №1, стр.2-17. 16 стр.	Граф недетерминированный.	16
html ,doc, pdf, pdf_1	Неизбыточные алгоритмы обхода ориентированных графов. Детерминированный случай. "Программирование".-2003, №5.- стр.59-69. 11 стр.	Граф детерминированный.	11

слайдов	Автоматы на графе и обход графа - презентации
44	Исследование ориентированного графа коллективом неподвижных автоматов.	мехмат МГУ, 19 апреля 2016
46 (60)	Исследование ориентированного графа коллективом двигающихся автоматов.	мехмат МГУ, 12 апреля 2016
35	Parallel Calculations by Automata on dynamically changing graph	Коллектив автоматов. Автоматы неподвижны, сообщения по дугам. Граф динамический. Параллельные вычисления.
36	Monitoring of dynamically changing graph	Коллектив автоматов. Автоматы неподвижны, сообщения по дугам. Граф динамический. Обход.
предварительно: 27 окончательно: 21+1	Building Direct and Back Spanning Trees by Automata on a Graph Parallel Calculations by Automata on Direct and Back Spanning Trees of a Graph	Коллектив автоматов. Автоматы неподвижны, сообщения по дугам. Граф статический и детерминированный. Обход и построения деревьев. Параллельные вычисления.
45+3	Исследование графа взаимодействующими автоматами	Коллектив автоматов. Автоматы двигаются. Обход. Граф статический и детерминированный.
44	Обход неизвестного графа коллективом автоматов	Коллектив автоматов. Автоматы двигаются. Обход. Граф статический и детерминированный.
22	Исследование одно/двунаправленных распределённых сетей конечным роботом	Робот
		на начало страницы

Игорь Бурдонов. АНОНС доклада на семинаре у Шокурова по скайпу 10 марта 2022 «Реализация распределённых и параллельных вычислений в сети SDN». WORD. PDF.

транслитерация

ЧТО ЕЩЁ НЕ СДЕЛАНО:

кандидатская и автореферат кандидатской
диплом
RedVerst
КЛАСТОС и ПРОКЛОС
разнообразные тематические подборки