RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Бурдонов Игорь Борисович

В базах данных Math-Net.Ru
Публикаций: 15
Научных статей: 15

Статистика просмотров:
Эта страница:283
Страницы публикаций:1531
Полные тексты:510
Списки литературы:214
E-mail:

Основные темы научной работы

Операционные системы, микроядерные операционные системы, тестирование программно-аппаратных систем, основанное на формальных моделях.


http://www.mathnet.ru/rus/person63662
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://orcid.org/0000-0001-9539-7853

Публикации в базе данных Math-Net.Ru
2019
1. И. Б. Бурдонов, “Самотрансформация деревьев с ограниченной степенью вершин с целью минимизации или максимизации индекса Винера”, Труды ИСП РАН, 31:4 (2019),  189–210  mathnet
2018
2. И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев, “Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети”, Труды ИСП РАН, 30:6 (2018),  69–88  mathnet  elib
3. И. Б. Бурдонов, А. С. Косачев, “Проблема отката в ориентированной распределенной системе”, Труды ИСП РАН, 30:2 (2018),  167–194  mathnet  elib
4. I. B. Burdonov, A. S. Kossatchev, V. V. Kuliamin, A. N. Tomilin, V. Z. Shnitman, “Asynchronous distributed algorithms for static and dynamic directed rooted graphs”, Труды ИСП РАН, 30:1 (2018),  69–88  mathnet  elib
2017
5. Н. Г. Кушик, Н. В. Евтушенко, И. Б. Бурдонов, А. С. Косачев, “К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов”, Модел. и анализ информ. систем, 24:6 (2017),  730–742  mathnet  elib
6. Игорь Бурдонов, Александр Косачев, Александр Сортов, “Распределённые алгоритмы на корневых неориентированных графах”, Труды ИСП РАН, 29:5 (2017),  283–310  mathnet  elib
7. И. Б. Бурдонов, А. С. Косачев, “Общий подход к решению задач на графах коллективом автоматов”, Труды ИСП РАН, 29:2 (2017),  27–76  mathnet  elib
8. И. Б. Бурдонов, А. С. Косачев, “Размер памяти для хранения упорядоченного корневого графа”, Труды ИСП РАН, 29:2 (2017),  7–26  mathnet  elib
2016
9. И. Б. Бурдонов, А. С. Косачев, “Система автоматов: условия детерминизма и тестирование”, Труды ИСП РАН, 28:1 (2016),  151–184  mathnet  elib
10. И. Б. Бурдонов, А. С. Косачев, “Система автоматов: композиция по графу связей”, Труды ИСП РАН, 28:1 (2016),  131–150  mathnet  elib
11. И. Б. Бурдонов, А. С. Косачев, “Тестирование системы автоматов с буферизацией сообщений”, Труды ИСП РАН, 28:1 (2016),  103–130  mathnet  elib
2015
12. Игорь Бурдонов, Александр Косачев, “Параллельные вычисления на динамически меняющемся графе”, Труды ИСП РАН, 27:2 (2015),  189–220  mathnet  elib
13. Игорь Бурдонов, Александр Косачев, “Мониторинг динамически меняющегося графа”, Труды ИСП РАН, 27:1 (2015),  69–96  mathnet  elib
14. Игорь Бурдонов, Александр Косачев, “Обход неизвестного графа коллективом автоматов. Недетерминированный случай”, Труды ИСП РАН, 27:1 (2015),  51–68  mathnet  elib
2010
15. И. Б. Бурдонов, А. С. Косачев, “Безопасное тестирование симуляции систем с отказами и разрушением”, Модел. и анализ информ. систем, 17:4 (2010),  27–40  mathnet

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020