Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs. - Evgenii M. Vinarskii; Aleksandr S. Tvardovskii; Larisa Evtushenko; Nina Yevtushenko 001 (EWDTS, 2019)

A Model Checking Based Approach for Detecting SDN Races. - Evgenii M. Vinarskii; Jorge López; Natalia Kushik; Nina Yevtushenko 001; Djamal Zeghlache (ICTSS, 2019)

Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs. - Evgenii M. Vinarskii; Nina Yevtushenko 001 (EWDTS, 2020)

Using an SMT Solver for Checking the Completeness of FSM-Based Tests. - Evgenii M. Vinarskii; Andrey Laputenko; Nina Yevtushenko 001 (ICTSS, 2020)

Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs. - Evgenii M. Vinarskii; Aleksandr S. Tvardovskii; Nina Yevtushenko 001 (EWDTS, 2021)

On the Modeling of Sequential Reactive Systems by Means of Real Time Automata. - Evgenii M. Vinarskii; Vladimir A. Zakharov (Autom. Control. Comput. Sci., 2021)

Perfect Sets of Paths in the Full Graph of SDN Switches. - Igor B. Bourdonov; Evgenii M. Vinarskii; Nina V. Evtushenko; Alexander S. Kossatchev (Program. Comput. Softw., 2021)

Optimization of ProVerif Programs for AKE Protocols. - Evgenii M. Vinarskii; Alexey V. Demakov (Program. Comput. Softw., 2022)

Timed Transition Tour for Race Detection in Distributed Systems. - Evgenii M. Vinarskii; Natalia Kushik; Nina Yevtushenko 001; Jorge López; Djamal Zeghlache (ENASE, 2023)

Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems. - Evgenii M. Vinarskii; Natalia Kushik; Nina Yevtushenko 001; Jorge López; Djamal Zeghlache (ENASE, 2024)

Studying timed aspects for cloud configuration management tools: validation and recommendations for safe execution. - Evgenii M. Vinarskii; Natalia Kushik; Djamal Zeghlache (ICWS, 2024)

Studying homing and synchronizing sequences for Timed Finite State Machines with output delays. - Evgenii M. Vinarskii; Jakub Ruszil; Adam Roman; Natalia Kushik (CoRR, 2025)