RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Evtushenko, Nina Vladimirovna

Statistics Math-Net.Ru
Total publications: 17
Scientific articles: 17

Number of views:
This page:1027
Abstract pages:2201
Full texts:742
References:261
Professor
Doctor of technical sciences
E-mail:

http://www.mathnet.ru/eng/person43462
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/213615
http://orcid.org/0000-0002-4006-1161

Publications in 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”, Proceedings of ISP RAS, 31:4 (2019),  175–188  mathnet
2018
2. I. B. Burdonov, N. V. Yevtushenko, A. S. Kossatchev, “Testing switch rules in software defined networks”, Proceedings of ISP RAS, 30:6 (2018),  69–88  mathnet  elib
3. A. S. Tvardovskii, N. V. Yevtushenko, “Deriving adaptive distinguishing sequences for Finite State Machines”, Proceedings of ISP RAS, 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”, Proceedings of ISP RAS, 30:1 (2018),  7–24  mathnet  elib
2017
5. N. G. Kushik, N. V. Yevtushenko, I. B. Burdonov, A. S. Kossatchev, “Deriving synchronizing and homing sequences for input/output automata”, Model. Anal. Inform. Sist., 24:6 (2017),  730–742  mathnet  elib
6. A. S. Tvardovskii, K. El-Fakih, M. L. Gromov, N. V. Yevtushenko, “Testing timed nondeterministic finite state machines with the guaranteed fault coverage”, Model. Anal. Inform. Sist., 24:4 (2017),  496–507  mathnet  elib
7. A. S. Tvardovskii, N. V. Yevtushenko, M. L. Gromov, “Minimizing finite state machines with time guards and timeouts”, Proceedings of ISP RAS, 29:4 (2017),  139–154  mathnet  elib
2016
8. A. D. Ermakov, N. V. Yevtushenko, “Deriving test suites with the guaranteed fault coverage for extended finite state machines”, Model. Anal. Inform. Sist., 23:6 (2016),  729–740  mathnet  mathscinet  elib
9. A. D. Ermakov, N. V. Evtushenko, “Deriving adaptive checking sequence for nondeterministic Finite State Machines”, Proceedings of ISP RAS, 28:3 (2016),  123–144  mathnet  elib
2011
10. N. G. Kushik, A. Mammar, A. Cavalli, N. V. Evtushenko, W. Jimenez, E. Montes de Oca, “A SPIN-based approach for detecting vulnerabilities in  programs”, Model. Anal. Inform. Sist., 18:4 (2011),  131–143  mathnet
2010
11. V. G. Bushkov, N. V. Yevtushenko, “Solving parallel equations over $\omega$-languages”, Prikl. Diskr. Mat., 2010, 2(8),  117–123  mathnet
2009
12. V. G. Bushkov, N. V. Evtushenko, “Solving parallel equations over $\omega$-regular languages”, Prikl. Diskr. Mat., 2009, supplement № 1,  6–7  mathnet
13. M. L. Gromov, N. V. Yevtushenko, “Adaptive tests derivation for nondeterministic automata”, Prikl. Diskr. Mat., 2009, 4(6),  90–101  mathnet
1994
14. N. V. Evtushenko, A. V. Lebedev, A. F. Petrento, “Development of the checking set for a component of a sequential automaton network”, Avtomat. i Telemekh., 1994, 8,  145–153  mathnet  zmath; Autom. Remote Control, 55:8 (1994), 1203–1210
1993
15. N. V. Evtushenko, A. Yu. Matrosova, “On a probability approach to computing estimates of controllability and observability of a node of a discrete device”, Avtomat. i Telemekh., 1993, 11,  152–160  mathnet  zmath; Autom. Remote Control, 54:11 (1993), 1703–1709
1991
16. N. V. Evtushenko, A. Yu. Matrosova, “Design of testable automaton networks”, Avtomat. i Telemekh., 1991, 3,  143–152  mathnet  zmath; Autom. Remote Control, 52:3 (1991), 416–423
1982
17. G. P. Agibalov, N. V. Evtushenko, “Description of Cascade Networks of Finite Automata In Terms of Codings and Coverings”, Probl. Peredachi Inf., 18:3 (1982),  74–84  mathnet  mathscinet  zmath; Problems Inform. Transmission, 18:3 (1982), 218–226

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020