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

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

Статистика просмотров:
Эта страница:158
Страницы публикаций:603
Полные тексты:149
Списки литературы:141
E-mail:

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

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


http://www.mathnet.ru/rus/person63662
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

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

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