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.
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 (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
- Past Courses
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
Courses (2018/2019)
Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
Publications30
- Article Tu K., Wang H., Jiang J. R., Kushik N., Nina Yevtushenko. Homing Sequence Derivation with Quantified Boolean Satisfiability // IEEE Transactions on Computers. 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