Evgenii M. Vinarskii

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

Collaborative distances:

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

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