Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Evtushenko, Nina Vladimirovna
Statistics Math-Net.Ru
Total publications: 24
Scientific articles: 24

Number of views:
This page:1633
Abstract pages:4411
Full texts:1759
References:613
Professor
Doctor of technical sciences
E-mail:

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

Publications in Math-Net.Ru Citations
2024
1. I. B. Burdonov, N. V. Evtushenko, A. S. Kosachev, “Studying load issues in software-defined networks”, Proceedings of ISP RAS, 36:1 (2024),  23–34  mathnet
2023
2. I. B. Burdonov, N. V. Evtushenko, A. S. Kosachev, N. G. Kushik, “On preset homing and synchronizing sequences for observable input/output automata”, Avtomat. i Telemekh., 2023, no. 6,  67–78  mathnet; Autom. Remote Control, 84:6 (2023), 685–691
2022
3. I. B. Burdonov, N. V. Evtushenko, A. S. Kosachev, “Implementation of distributed and parallel computing in the SDN network”, Proceedings of ISP RAS, 34:3 (2022),  159–172  mathnet
2021
4. I. B. Burdonov, N. V. Yevtushenko, A. S. Kossatchev, “Secure implementing a virtual network on the SDN data plane”, Proceedings of ISP RAS, 33:1 (2021),  123–136  mathnet 1
2020
5. A. S. Tvardovskii, N. V. Yevtushenko, “Deriving homing sequences for finite state machines with timed guards”, Model. Anal. Inform. Sist., 27:4 (2020),  376–395  mathnet 1
6. I. B. Burdonov, E. M. Binarskii, N. V. Yevtushenko, A. S. Kossatchev, “Perfect sets of paths in the full graph of SDN network switches”, Proceedings of ISP RAS, 32:4 (2020),  245–260  mathnet 2
7. A. S. Tvardovskii, N. V. Yevtushenko, “On reduced forms of initialized Finite State Machines with timeouts”, Proceedings of ISP RAS, 32:2 (2020),  125–134  mathnet 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”, Proceedings of ISP RAS, 31:4 (2019),  175–188  mathnet 1
2018
9. 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 4
10. 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 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”, Proceedings of ISP RAS, 30:1 (2018),  7–24  mathnet  elib 6
2017
12. 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
13. 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
14. 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 3
2016
15. 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 2
16. 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
17. 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
18. V. G. Bushkov, N. V. Yevtushenko, “Solving parallel equations over $\omega$-languages”, Prikl. Diskr. Mat., 2010, no. 2(8),  117–123  mathnet
2009
19. V. G. Bushkov, N. V. Evtushenko, “Solving parallel equations over $\omega$-regular languages”, Prikl. Diskr. Mat., 2009, no. supplement № 1,  6–7  mathnet 1
20. M. L. Gromov, N. V. Yevtushenko, “Adaptive tests derivation for nondeterministic automata”, Prikl. Diskr. Mat., 2009, no. 4(6),  90–101  mathnet
1994
21. 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, no. 8,  145–153  mathnet  zmath; Autom. Remote Control, 55:8 (1994), 1203–1210
1993
22. 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, no. 11,  152–160  mathnet  zmath; Autom. Remote Control, 54:11 (1993), 1703–1709 1
1991
23. N. V. Evtushenko, A. Yu. Matrosova, “Design of testable automaton networks”, Avtomat. i Telemekh., 1991, no. 3,  143–152  mathnet  zmath; Autom. Remote Control, 52:3 (1991), 416–423
1982
24. 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 to the website  Logotypes © Steklov Mathematical Institute RAS, 2024