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

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

Статистика просмотров:
Эта страница:1044
Страницы публикаций:2425
Полные тексты:791
Списки литературы:261
профессор
доктор технических наук
E-mail:

http://www.mathnet.ru/rus/person43462
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/213615
http://orcid.org/0000-0002-4006-1161

Публикации в базе данных Math-Net.Ru
2019
1. 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  mathnet
2018
2. И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев, “Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети”, Труды ИСП РАН, 30:6 (2018),  69–88  mathnet  elib
3. А. С. Твардовский, Н. В. Евтушенко, “К синтезу адаптивных различающих последовательностей для конечных автоматов”, Труды ИСП РАН, 30:4 (2018),  139–154  mathnet  elib
4. 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  mathnet  elib
2017
5. Н. Г. Кушик, Н. В. Евтушенко, И. Б. Бурдонов, А. С. Косачев, “К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов”, Модел. и анализ информ. систем, 24:6 (2017),  730–742  mathnet  elib
6. А. С. Твардовский, К. Эль-Факи, М. Л. Громов, Н. В. Евтушенко, “Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов”, Модел. и анализ информ. систем, 24:4 (2017),  496–507  mathnet  elib
7. А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов, “Минимизация автоматов с таймаутами и временными ограничениями”, Труды ИСП РАН, 29:4 (2017),  139–154  mathnet  elib
2016
8. А. Д. Ермаков, Н. В. Евтушенко, “Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата”, Модел. и анализ информ. систем, 23:6 (2016),  729–740  mathnet  mathscinet  elib
9. А. Д. Ермаков, Н. В. Евтушенко, “К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов”, Труды ИСП РАН, 28:3 (2016),  123–144  mathnet  elib
2011
10. Н. Г. Кушик, А. Маммар, А. Кавалли, Н. В. Евтушенко, В. Джиминез, Э. Монте де Ока, “Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN”, Модел. и анализ информ. систем, 18:4 (2011),  131–143  mathnet
2010
11. В. Г. Бушков, Н. В. Евтушенко, “Решение параллельных уравнений для $\omega$-языков”, ПДМ, 2010, 2(8),  117–123  mathnet
2009
12. В. Г. Бушков, Н. В. Евтушенко, “Решение параллельных уравнений для $\omega$-регулярных языков”, ПДМ, 2009, приложение № 1,  6–7  mathnet
13. М. Л. Громов, Н. В. Евтушенко, “Синтез условных различающих экспериментов для автоматов с недетерминированным поведением”, ПДМ, 2009, 4(6),  90–101  mathnet
1994
14. Н. В. Евтушенко, А. В. Лебедев, А. Ф. Петренко, “Построение проверяющего множества для компоненты последовательной автоматной сети”, Автомат. и телемех., 1994, 8,  145–153  mathnet  zmath; 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
15. Н. В. Евтушенко, А. Ю. Матросова, “О вероятностном подходе к вычислению оценок управляемости и наблюдаемости узла дискретного устройства”, Автомат. и телемех., 1993, 11,  152–160  mathnet  zmath; 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
1991
16. Н. В. Евтушенко, А. Ю. Матросова, “К синтезу контролепригодных автоматных сетей”, Автомат. и телемех., 1991, 3,  143–152  mathnet  zmath; N. V. Evtushenko, A. Yu. Matrosova, “Design of testable automaton networks”, Autom. Remote Control, 52:3 (1991), 416–423
1982
17. Г. П. Агибалов, Н. В. Евтушенко, “Описание каскадных сетей конечных автоматов в терминах кодирований и покрытий”, Пробл. передачи информ., 18:3 (1982),  74–84  mathnet  mathscinet  zmath; 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

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