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

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

Статистика просмотров:
Эта страница:334
Страницы публикаций:1558
Полные тексты:545
Списки литературы:212
E-mail:

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

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


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

Публикации в базе данных Math-Net.Ru
2020
1. И. Б. Бурдонов, Е. М. Винарский, Н. В. Евтушенко, А. С. Косачев, “Совершенные множества путей в полном графе коммутаторов SDN-сети”, Труды ИСП РАН, 32:4 (2020),  245–260  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

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