VLDB 2026 Research / reviewers in the wild / expert

Evgenii M. Vinarskii

dblp:250/1997 · DBLP profile ↗
← Back
5ranked-venue papers
5as first author
3since 2021 · last 2024
0000-0002-7328-0942ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 5 · 5 first-author · 3 since 2021
YearPublicationVenuePosition
2024 Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems
abstract
International audience
Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko 0001, Jorge López, Djamal Zeghlache
 ENASE1
2024 Studying timed aspects for cloud configuration management tools: validation and recommendations for safe execution
abstract
Tools for automated deployment and management are often used in the cloud computing platforms. Since this technology is rapidly evolving, it is important to guarantee the reliability and the efficiency of these tools. The paper proposes a framework CMT-VSE for validation of configuration management tools and for providing tenant requests with timed recommendations for their safe execution. Such recommendations can be utilized to execute the chains of commands in an asynchronous mode. Experimental evaluation with Ansible-2.16 and SaltStack-3006 showcases the efficiency of CMT-VSE.
Evgenii M. Vinarskii, Natalia Kushik, Djamal Zeghlache
 ICWS1
2023 Timed Transition Tour for Race Detection in Distributed Systems
abstract
International audience
Evgenii M. Vinarskii, Natalia Kushik, Nina Yevtushenko 0001, Jorge López, Djamal Zeghlache
 ENASE1
2020 Using an SMT Solver for Checking the Completeness of FSM-Based Tests
Evgenii M. Vinarskii, Andrey Laputenko, Nina Yevtushenko 0001
 ICTSS1
2019 A Model Checking Based Approach for Detecting SDN Races
Evgenii M. Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko 0001, Djamal Zeghlache
 ICTSS1