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

СПИСОК НАУЧНЫХ ТРУДОВ
(по математике и информатике,
а с 2023 г. и другие )

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

Число работ по годам
Дополнительный список
Презентации
Тематические подборки
Igor Burdonov
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 YevtushenkoIgor BurdonovAlexandre KossachevJorge LópezNatalia KushikDjamal 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
КЛАСТОС и ПРОКЛОС
разнообразные тематические подборки