Евтушенко Нина Владимировна

Публикации в базе данных Math-Net.Ru

1. О длине адаптивной различающей последовательности для семейства наблюдаемых автоматов
   
   Труды ИСП РАН, 37:6(1) (2025),  7–20
2. Кластеризация услуг распределённой сети, в которой хосты могут выполнять функцию коммутации сообщений
   
   Труды ИСП РАН, 37:5 (2025),  7–32
3. Модель распределённой сети, в которой хосты могут выполнять функцию коммутации сообщений
   
   Труды ИСП РАН, 37:4(1) (2025),  7–30
4. Исследование вопросов учёта нагрузок в программно-конфигурируемых сетях
   
   Труды ИСП РАН, 36:1 (2024),  23–34
5. О синтезе безусловных установочных и синхронизирующих экспериментов для наблюдаемых входо-выходных полуавтоматов
   
   Автомат. и телемех., 2023, № 6,  67–78
6. Реализация распределённых и параллельных вычислений в сети SDN
   
   Труды ИСП РАН, 34:3 (2022),  159–172
7. Безопасная реализация виртуальной сети на плоскости данных SDN
   
   Труды ИСП РАН, 33:1 (2021),  123–136
8. Синтез установочных последовательностей для автоматов с временными ограничениями
   
   Модел. и анализ информ. систем, 27:4 (2020),  376–395
9. Совершенные множества путей в полном графе коммутаторов SDN-сети
   
   Труды ИСП РАН, 32:4 (2020),  245–260
10. On reduced forms of initialized Finite State Machines with timeouts
    
    Труды ИСП РАН, 32:2 (2020),  125–134
11. 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
12. Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети
    
    Труды ИСП РАН, 30:6 (2018),  69–88
13. К синтезу адаптивных различающих последовательностей для конечных автоматов
    
    Труды ИСП РАН, 30:4 (2018),  139–154
14. The effect of partiality and adaptivity on the complexity of FSM state identification problems
    
    Труды ИСП РАН, 30:1 (2018),  7–24
15. К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов
    
    Модел. и анализ информ. систем, 24:6 (2017),  730–742
16. Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
    
    Модел. и анализ информ. систем, 24:4 (2017),  496–507
17. Минимизация автоматов с таймаутами и временными ограничениями
    
    Труды ИСП РАН, 29:4 (2017),  139–154
18. Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата
    
    Модел. и анализ информ. систем, 23:6 (2016),  729–740
19. К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов
    
    Труды ИСП РАН, 28:3 (2016),  123–144
20. Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN
    
    Модел. и анализ информ. систем, 18:4 (2011),  131–143
21. Решение параллельных уравнений для $\omega$-языков
    
    ПДМ, 2010, № 2(8),  117–123
22. Решение параллельных уравнений для $\omega$-регулярных языков
    
    ПДМ, 2009, № приложение к № 1,  6–7
23. Синтез условных различающих экспериментов для автоматов с недетерминированным поведением
    
    ПДМ, 2009, № 4(6),  90–101
24. Построение проверяющего множества для компоненты последовательной автоматной сети
    
    Автомат. и телемех., 1994, № 8,  145–153
25. О вероятностном подходе к вычислению оценок управляемости и наблюдаемости узла дискретного устройства
    
    Автомат. и телемех., 1993, № 11,  152–160
26. К синтезу контролепригодных автоматных сетей
    
    Автомат. и телемех., 1991, № 3,  143–152
27. Описание каскадных сетей конечных автоматов в терминах кодирований и покрытий
    
    Пробл. передачи информ., 18:3 (1982),  74–84