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

СПИСОК НАУЧНЫХ ТРУДОВ

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

Число работ по годам
Дополнительный список
Презентации
Тематические подборки
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    

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

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  
1 9 7             1 9 8               1 9 9               2 0 0               2 0 1                
 
  6 2017
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      

  где слайдов 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 Исследование одно/двунаправленных распределённых сетей конечным роботом Робот  
    на начало страницы

 

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

 

 

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

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