|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
1. |
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев, “Исследование вопросов учёта нагрузок в программно-конфигурируемых сетях”, Труды ИСП РАН, 36:1 (2024), 23–34 |
|
2023 |
2. |
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев, Н. Г. Кушик, “О синтезе безусловных установочных и синхронизирующих экспериментов для наблюдаемых входо-выходных полуавтоматов”, Автомат. и телемех., 2023, № 6, 67–78 ; 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 |
|
2021 |
4. |
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев, “Безопасная реализация виртуальной сети на плоскости данных SDN”, Труды ИСП РАН, 33:1 (2021), 123–136 |
1
|
|
2020 |
5. |
А. С. Твардовский, Н. В. Евтушенко, “Синтез установочных последовательностей для автоматов с временными ограничениями”, Модел. и анализ информ. систем, 27:4 (2020), 376–395 |
1
|
6. |
И. Б. Бурдонов, Е. М. Винарский, Н. В. Евтушенко, А. С. Косачев, “Совершенные множества путей в полном графе коммутаторов SDN-сети”, Труды ИСП РАН, 32:4 (2020), 245–260 |
2
|
7. |
A. S. Tvardovskii, N. V. Yevtushenko, “On reduced forms of initialized Finite State Machines with timeouts”, Труды ИСП РАН, 32:2 (2020), 125–134 |
1
|
|
2019 |
8. |
A. S. Tvardovskii, N. V. Yevtushenko, “FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts”, Труды ИСП РАН, 31:4 (2019), 175–188 |
1
|
|
2018 |
9. |
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев, “Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети”, Труды ИСП РАН, 30:6 (2018), 69–88 |
4
|
10. |
А. С. Твардовский, Н. В. Евтушенко, “К синтезу адаптивных различающих последовательностей для конечных автоматов”, Труды ИСП РАН, 30:4 (2018), 139–154 |
3
|
11. |
H. Yenigun, N. V. Evtushenko, N. G. Kushik, J. López, “The effect of partiality and adaptivity on the complexity of FSM state identification problems”, Труды ИСП РАН, 30:1 (2018), 7–24 |
6
|
|
2017 |
12. |
Н. Г. Кушик, Н. В. Евтушенко, И. Б. Бурдонов, А. С. Косачев, “К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов”, Модел. и анализ информ. систем, 24:6 (2017), 730–742 |
13. |
А. С. Твардовский, К. Эль-Факи, М. Л. Громов, Н. В. Евтушенко, “Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов”, Модел. и анализ информ. систем, 24:4 (2017), 496–507 |
14. |
А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов, “Минимизация автоматов с таймаутами и временными ограничениями”, Труды ИСП РАН, 29:4 (2017), 139–154 |
3
|
|
2016 |
15. |
А. Д. Ермаков, Н. В. Евтушенко, “Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата”, Модел. и анализ информ. систем, 23:6 (2016), 729–740 |
2
|
16. |
А. Д. Ермаков, Н. В. Евтушенко, “К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов”, Труды ИСП РАН, 28:3 (2016), 123–144 |
|
2011 |
17. |
Н. Г. Кушик, А. Маммар, А. Кавалли, Н. В. Евтушенко, В. Джиминез, Э. Монте де Ока, “Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN”, Модел. и анализ информ. систем, 18:4 (2011), 131–143 |
|
2010 |
18. |
В. Г. Бушков, Н. В. Евтушенко, “Решение параллельных уравнений для $\omega$-языков”, ПДМ, 2010, № 2(8), 117–123 |
|
2009 |
19. |
В. Г. Бушков, Н. В. Евтушенко, “Решение параллельных уравнений для $\omega$-регулярных языков”, ПДМ, 2009, № приложение к № 1, 6–7 |
1
|
20. |
М. Л. Громов, Н. В. Евтушенко, “Синтез условных различающих экспериментов для автоматов с недетерминированным поведением”, ПДМ, 2009, № 4(6), 90–101 |
|
1994 |
21. |
Н. В. Евтушенко, А. В. Лебедев, А. Ф. Петренко, “Построение проверяющего множества для компоненты последовательной автоматной сети”, Автомат. и телемех., 1994, № 8, 145–153 ; N. V. Evtushenko, A. V. Lebedev, A. F. Petrento, “Development of the checking set for a component of a sequential automaton network”, Autom. Remote Control, 55:8 (1994), 1203–1210 |
|
1993 |
22. |
Н. В. Евтушенко, А. Ю. Матросова, “О вероятностном подходе к вычислению оценок управляемости и наблюдаемости узла дискретного устройства”, Автомат. и телемех., 1993, № 11, 152–160 ; N. V. Evtushenko, A. Yu. Matrosova, “On a probability approach to computing estimates of controllability and observability of a node of a discrete device”, Autom. Remote Control, 54:11 (1993), 1703–1709 |
1
|
|
1991 |
23. |
Н. В. Евтушенко, А. Ю. Матросова, “К синтезу контролепригодных автоматных сетей”, Автомат. и телемех., 1991, № 3, 143–152 ; N. V. Evtushenko, A. Yu. Matrosova, “Design of testable automaton networks”, Autom. Remote Control, 52:3 (1991), 416–423 |
|
1982 |
24. |
Г. П. Агибалов, Н. В. Евтушенко, “Описание каскадных сетей конечных автоматов в терминах кодирований и покрытий”, Пробл. передачи информ., 18:3 (1982), 74–84 ; G. P. Agibalov, N. V. Evtushenko, “Description of Cascade Networks of Finite Automata In Terms of Codings and Coverings”, Problems Inform. Transmission, 18:3 (1982), 218–226 |
|