Evgenii M. Vinarskii

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

Variable Length

Finite State Machines

Reactive Systems

Top Venues

Program. Comput. Softw.

Publications

Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache
Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems. ENASE (2024)
Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache
Timed Transition Tour for Race Detection in Distributed Systems. ENASE (2023)
Evgenii M. Vinarskii, Alexey V. Demakov
Optimization of ProVerif Programs for AKE Protocols. Program. Comput. Softw. 48 (8) (2022)
Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Nina Yevtushenko
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs. EWDTS (2021)
Evgenii M. Vinarskii, Vladimir A. Zakharov
On the Modeling of Sequential Reactive Systems by Means of Real Time Automata. Autom. Control. Comput. Sci. 55 (7) (2021)
Igor B. Bourdonov, Evgenii M. Vinarskii, Nina V. Evtushenko, Alexander S. Kossatchev
Perfect Sets of Paths in the Full Graph of SDN Switches. Program. Comput. Softw. 47 (7) (2021)
Evgenii M. Vinarskii, Andrey Laputenko, Nina Yevtushenko
Using an SMT Solver for Checking the Completeness of FSM-Based Tests. ICTSS (2020)
Evgenii M. Vinarskii, Nina Yevtushenko
Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs. EWDTS (2020)
Evgenii M. Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache
A Model Checking Based Approach for Detecting SDN Races. ICTSS (2019)
Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Larisa Evtushenko, Nina Yevtushenko
Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs. EWDTS (2019)