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

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

Статистика просмотров:
Эта страница:749
Страницы публикаций:2843
Полные тексты:985
Списки литературы:375
E-mail:

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

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


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

Публикации в базе данных Math-Net.Ru Цитирования
2024
1. И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев, “Исследование вопросов учёта нагрузок в программно-конфигурируемых сетях”, Труды ИСП РАН, 36:1 (2024),  23–34  mathnet
2023
2. И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев, Н. Г. Кушик, “О синтезе безусловных установочных и синхронизирующих экспериментов для наблюдаемых входо-выходных полуавтоматов”, Автомат. и телемех., 2023, № 6,  67–78  mathnet; I. B. Burdonov, N. V. Evtushenko, A. S. Kosachev, N. G. Kushik, “On preset homing and synchronizing sequences for observable input/output automata”, Autom. Remote Control, 84:6 (2023), 685–691
2022
3. И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев, “Реализация распределённых и параллельных вычислений в сети SDN”, Труды ИСП РАН, 34:3 (2022),  159–172  mathnet
2021
4. И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев, “Безопасная реализация виртуальной сети на плоскости данных SDN”, Труды ИСП РАН, 33:1 (2021),  123–136  mathnet 1
2020
5. И. Б. Бурдонов, Е. М. Винарский, Н. В. Евтушенко, А. С. Косачев, “Совершенные множества путей в полном графе коммутаторов SDN-сети”, Труды ИСП РАН, 32:4 (2020),  245–260  mathnet 2
2018
6. И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев, “Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети”, Труды ИСП РАН, 30:6 (2018),  69–88  mathnet  elib 4
7. И. Б. Бурдонов, А. С. Косачев, “Проблема отката в ориентированной распределенной системе”, Труды ИСП РАН, 30:2 (2018),  167–194  mathnet  elib
8. 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
9. Н. Г. Кушик, Н. В. Евтушенко, И. Б. Бурдонов, А. С. Косачев, “К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов”, Модел. и анализ информ. систем, 24:6 (2017),  730–742  mathnet  elib
10. Игорь Бурдонов, Александр Косачев, Александр Сортов, “Распределённые алгоритмы на корневых неориентированных графах”, Труды ИСП РАН, 29:5 (2017),  283–310  mathnet  elib 1
11. И. Б. Бурдонов, А. С. Косачев, “Общий подход к решению задач на графах коллективом автоматов”, Труды ИСП РАН, 29:2 (2017),  27–76  mathnet  elib 2
12. И. Б. Бурдонов, А. С. Косачев, “Размер памяти для хранения упорядоченного корневого графа”, Труды ИСП РАН, 29:2 (2017),  7–26  mathnet  elib 3
2016
13. И. Б. Бурдонов, А. С. Косачев, “Система автоматов: условия детерминизма и тестирование”, Труды ИСП РАН, 28:1 (2016),  151–184  mathnet  elib 1
14. И. Б. Бурдонов, А. С. Косачев, “Система автоматов: композиция по графу связей”, Труды ИСП РАН, 28:1 (2016),  131–150  mathnet  elib 1
15. И. Б. Бурдонов, А. С. Косачев, “Тестирование системы автоматов с буферизацией сообщений”, Труды ИСП РАН, 28:1 (2016),  103–130  mathnet  elib 1
2015
16. Игорь Бурдонов, Александр Косачев, “Параллельные вычисления на динамически меняющемся графе”, Труды ИСП РАН, 27:2 (2015),  189–220  mathnet  elib 2
17. Игорь Бурдонов, Александр Косачев, “Мониторинг динамически меняющегося графа”, Труды ИСП РАН, 27:1 (2015),  69–96  mathnet  elib 3
18. Игорь Бурдонов, Александр Косачев, “Обход неизвестного графа коллективом автоматов. Недетерминированный случай”, Труды ИСП РАН, 27:1 (2015),  51–68  mathnet  elib 1
2010
19. И. Б. Бурдонов, А. С. Косачев, “Безопасное тестирование симуляции систем с отказами и разрушением”, Модел. и анализ информ. систем, 17:4 (2010),  27–40  mathnet 2

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