Evgenii M. Vinarskii

12 papers A 1B 2C 2Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Studying homing and synchronizing sequences for Timed Finite State Machines with output delays.
CoRR
Evgenii M. Vinarskii, Jakub Ruszil, Adam Roman, Natalia Kushik
2024 B conf
Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems.
ENASE
Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache
2024 A conf
Studying timed aspects for cloud configuration management tools: validation and recommendations for safe execution.
ICWS
Evgenii M. Vinarskii, Natalia Kushik, Djamal Zeghlache
2023 B conf
Timed Transition Tour for Race Detection in Distributed Systems.
ENASE
Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko, Jorge López, Djamal Zeghlache
2022 J jnl
Optimization of ProVerif Programs for AKE Protocols.
Program. Comput. Softw.
Evgenii M. Vinarskii, Alexey V. Demakov
2021 — conf
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs.
EWDTS
Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Nina Yevtushenko
2021 J jnl
On the Modeling of Sequential Reactive Systems by Means of Real Time Automata.
Autom. Control. Comput. Sci.
Evgenii M. Vinarskii, Vladimir A. Zakharov
2021 J jnl
Perfect Sets of Paths in the Full Graph of SDN Switches.
Program. Comput. Softw.
Igor B. Bourdonov, Evgenii M. Vinarskii, Nina V. Evtushenko, Alexander S. Kossatchev
2020 — conf
Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs.
EWDTS
Evgenii M. Vinarskii, Nina Yevtushenko
2020 C conf
Using an SMT Solver for Checking the Completeness of FSM-Based Tests.
ICTSS
Evgenii M. Vinarskii, Andrey Laputenko, Nina Yevtushenko
2019 C conf
A Model Checking Based Approach for Detecting SDN Races.
ICTSS
Evgenii M. Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache
2019 — conf
Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs.
EWDTS
Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Larisa Evtushenko, Nina Yevtushenko