Evgenii M. Vinarskii

According to our database, Evgenii M. Vinarskii authored at least 11 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Studying timed aspects for cloud configuration management tools: validation and recommendations for safe execution.

Evgenii M. Vinarskii, Natalia Kushik, Djamal Zeghlache

Proceedings of the IEEE International Conference on Web Services, 2024

Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems.

Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

2023

Timed Transition Tour for Race Detection in Distributed Systems.

Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022

Optimization of ProVerif Programs for AKE Protocols.

Evgenii M. Vinarskii, Alexey V. Demakov

Program. Comput. Softw., 2022

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

On the Modeling of Sequential Reactive Systems by Means of Real Time Automata.

Evgenii M. Vinarskii, Vladimir A. Zakharov

Autom. Control. Comput. Sci., 2021

Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs.

Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Nina Yevtushenko

Proceedings of the IEEE East-West Design & Test Symposium, 2021

2020

Using an SMT Solver for Checking the Completeness of FSM-Based Tests.

Evgenii M. Vinarskii, Andrey Laputenko, Nina Yevtushenko

Proceedings of the Testing Software and Systems, 2020

Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs.

Evgenii M. Vinarskii, Nina Yevtushenko

Proceedings of the IEEE East-West Design & Test Symposium, 2020

2019

A Model Checking Based Approach for Detecting SDN Races.

Evgenii M. Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache

Proceedings of the Testing Software and Systems, 2019

Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs.

Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Larisa Evtushenko, Nina Yevtushenko

Proceedings of the 2019 IEEE East-West Design & Test Symposium, 2019