Nina V. Evtushenko
- Professor:Faculty of Computer Science / Joint Department with the RAS Institute for System Programming
- Nina V. Evtushenko has been at HSE since 2017.
Education, Degrees and Academic Titles
- 1994Professor
- 1991
Doctor of Sciences*
- 1971
Degree
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.
Student Term / Thesis Papers
- Master
M. Pantilimonov «Development and Implementation of Complex Relational Data Processing Operators in the PostgreSQL DBMS Dynamic Query Compiler». Faculty of Computer Science, 2019
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
- Past Courses
Courses (2018/2019)
- 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
Courses (2017/2018)
Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
Publications18
- 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
- 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 Бурдонов И., Евтушенко Н. В., Косачев А., Шнитман В. О синхронной композиции детерминированных автоматов // ББК 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 Евтушенко Н. В., Ермаков А. К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов // Труды Института системного программирования РАН. 2016. Т. 28. № 3. С. 123-144. doi
