Nina V. Evtushenko
- Professor:Faculty of Computer Science / Joint Department with the RAS Institute for System Programming
- Nina V. Evtushenko has been at HSE University since 2017.
Education, Degrees and Academic Titles
- 1994Professor
- 1991
Doctor of Sciences*
- 1971
Degree
Kuibyshev Tomsk State University
* Doctor of Sciences
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.
Courses (2023/2024)
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1, 2 module)Rus
- Past Courses
Courses (2022/2023)
- Formal Methods for Communication Protocols and Services Verification and Testing (Master’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1, 2 module)Rus
Courses (2021/2022)
- Formal Methods for Communication Protocols and Services Verification and Testing (Master’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1, 2 module)Rus
Courses (2020/2021)
- Formal Methods for Communication Protocols and Services Verification and Testing (Master’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1, 2 module)Rus
Courses (2019/2020)
- Formal Methods for Communication Protocols and Services Verification and Testing (Master’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
Publications38
- Article Tvardovskii A., Nina Yevtushenko. Deriving homing sequences for Finite State Machines with timeouts // Computer Journal. 2022. Article bxac069. doi
- Article Bresolin D., El-Fakih K., Villa T., Nina Yevtushenko. Equivalence checking and intersection of deterministic timed finite state machines // Formal Methods in System Design. 2022 doi
- Article Tu K., Wang H., Jiang J. R., Kushik N., Evtushenko N. V. Homing Sequence Derivation with Quantified Boolean Satisfiability // IEEE Transactions on Computers. 2022. Vol. 71. No. 3. P. 696-711. doi
- Book Evtushenko N. V., Kolomeez A., Shirokova E., Gromov M. 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM) Checking Robustness of Web Services based on Solving Automata Equations. IEEE, 2021. doi
- Chapter Твардовский А. С., Evtushenko N. V. Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs, in: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021. doi P. 1-5. doi (in press)
- Chapter Vinarskii E., Твардовский А. С., Evtushenko N. V. Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs, in: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021. doi doi
- Article Yevtushenko N., Kuliamin V., Kushik N. Evaluating the complexity of deriving adaptive S′-homing and S′-synchronizing sequences for nondeterministic FSMs // Software Quality Journal. 2021 doi
- Article Бурдонов И. Б., Vinarskii E., Evtushenko N. V., Косачев А. С. Perfect Sets of Paths in the Full Graph of SDN Switches // Programming and Computer Software. 2021. Vol. 47. No. 8. P. 505-514. doi
- Book Evtushenko N. V., Burdonov I., Kossachev A., Kushik N., Zeghlache D. Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021) Preventive Model-based Verification and Repairing for SDN Requests. EC: SCITEPRESS – Science and Technology Publications, 2021. doi
- Article Tvardovskii A. S., N. V. Yevtushenko. On reduced forms of initialized Finite State Machines with timeouts // Proceedings of the Institute for System Programming of the RAS. 2020. Vol. 32. No. 2. P. 125-134. doi
- Chapter Shirokova E., Евтушенко Л. Г., Laputenko A., Nina Yevtushenko. Optimizing Components of Multi-Module Systems Based on don’t Care Input Sequences, in: Proceedings 2020 IEEE East-West Design & Test Symposium (EWDTS). Varna : IEEE, 2020. P. 159-163. doi
- Preprint Burdonov I., Kossachev A., Nina Yevtushenko, L´opez J., Kushik N., Zeghlache D. Preventive Model-based Verification and Repairing for SDN Requests / Cornell University. Series Computer Science "arxiv.org". 2020.
- Chapter Широкова Е., Евтушенко Л. Г., Лапутенко А., Евтушенко Н. В. Оптимизация компонентов многомодульных систем на основе решения автоматных уравнений. // В кн.: 2020 Новые информационные технологии в исследовании сложных структур (ICAM 2020). Томск : Издательский Дом Томского государственного университета, 2020. С. 142-142.
- Chapter Vinarskii E., Tvardovskii A., Larisa Evtushenko, Nina Yevtushenko. Deriving Adaptive Homing Sequences for Weakly Initialized Nondeterministic FSMs, in: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2019). IEEE Computer Society, 2019. P. 461-465. doi
- Article Yenigün H., Nina Yevtushenko, Cavalli A. R. Guest Editorial: Special issue on Testing Softwareand Systems // Software Quality Journal. 2019. Vol. 27. No. 2. P. 497-499. doi
- Article Твардовский А. С., Евтушенко Н. В. Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций. // Труды Института системного программирования РАН. 2019. Т. 31. № 4. С. 175-188. doi
- Article El-Fakih K., Nina Yevtushenko, Kushik N. Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation // Formal Aspects of Computing. 2018. Vol. 30. No. 2. P. 319-332. doi
- Chapter Bresolin D., Tvardovskii A., Nina Yevtushenko, Villa T., Gromov M. Minimizing Deterministic Timed Finite State Machines, in: IFAC-PapersOnLine (T.V.51.Вып 7). Elsevier, 2018. doi P. 486-492. doi
- Article El-Fakih K., Barlas G., Ali M., Nina Yevtushenko. Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines // International Journal of Parallel, Emergent and Distributed Systems. 2018. Vol. 33. No. 2. P. 197-210. doi
- Article López J., Kushik N., Nina Yevtushenko. Source code optimization using equivalent mutants. // Information and Software Technology. 2018. Vol. 103. P. 138-141. doi
- Article Yenigün H., N.Yevtushenko, Kushik N., López J. The effect of partiality and adaptivity on the complexity of FSM state identification problem // Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 1. P. 7-24. doi
- Chapter Berriri A., López J., Kushik N., Nina Yevtushenko, Zeghlache D. Towards Model based Testing for Software Defined Networks, in: In Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE. SciTePress, 2018. doi P. 440-446. doi
- Article Твардовский А., Евтушенко Н. В. К построению подавтоматов без слияний для недетерминированных конечных автоматов // ББК 73я431 Н766 Редакционная коллегия выпуска. 2018. С. 85-85.
- Article Tvardovskii A., Евтушенко Н. В. К синтезу адаптивных различающих последовательностей для конечных автоматов // Труды Института системного программирования РАН. 2018. Т. 30. № 4. С. 139-154. doi
- Book Евтушенко Н. В., Кушик Н. Г. Некоторые задачи идентификации состояний для недетерминированных автоматов. Томск : Томск СТТ, 2018.
- Article Бурдонов И., Евтушенко Н. В., Косачев А., Шнитман В. О синхронной композиции детерминированных автоматов // ББК 73я431 Н766 Редакционная коллегия выпуска. 2018. С. 70-71.
- Article Tvardovskii A., El-Fakih K., Gromov M., Nina Yevtushenko. Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage. / Пер. с рус. // Automatic Control and Computer Sciences. 2017. Vol. 51. No. 7. P. 724-730. doi
- Article Yenigün H., Nina Yevtushenko, Kushik N. The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. // Information Processing Letters. 2017. Vol. 127. P. 49-53. doi
- Article Кушик Н. Г., Евтушенко Н. В., Бурдонов И. Б., Косачев А. С. К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов // Моделирование и анализ информационных систем. 2017. Т. 24. № 6. С. 730-742. doi
- Article Твардовский A., Евтушенко Н. В., Громов М. Минимизация автоматов с таймаутами и временными ограничениями // Труды Института системного программирования РАН. 2017. Т. 29. № 4. С. 139-154. doi
- Article Лапутенко А. В., Лопез Х. Е., Евтушенко Н. В. Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей // Известия высших учебных заведений. Физика. 2017. Т. 60. № 11. С. 146-151.
- Article Твардовский А. С., Эль-Факи К., Громов М. Л., Евтушенко Н. В. Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов // Моделирование и анализ информационных систем. 2017. Т. 24. № 4. С. 496-507. doi
- Article Kushik N., El-Fakih K., N. Yevtushenko, Cavalli A. R. On adaptive experiments for nondeterministic finite state machines // International Journal on Software Tools for Technology Transfer. 2016. Vol. 18. No. 3. P. 251-264. doi
- Article Евтушенко Н. В., Ермаков А. К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов // Труды Института системного программирования РАН. 2016. Т. 28. № 3. С. 123-144. doi