Igor V. Konnov

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 4

Top Topics

Deterministic Finite Automaton

Automated Verification

Fault Tolerance

Top Venues

Autom. Control. Comput. Sci.

Ershov Memorial Conference

Publications

Igor V. Konnov, Helmut Veith, Josef Widder
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability. Inf. Comput. 252 (2017)
Igor V. Konnov, Marijana Lazic, Helmut Veith, Josef Widder
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. POPL (2017)
Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms. VMCAI (2017)
Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis
Parameterized Systems in BIP: Design and Model Checking. CONCUR (2016)
Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin, Vladislav V. Podymov, Igor V. Konnov
A combined toolset for the verification of real-time distributed systems. Program. Comput. Softw. 41 (6) (2015)
Igor V. Konnov, Helmut Veith, Josef Widder
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms. Ershov Memorial Conference (2015)
Igor V. Konnov, Vladislav V. Podymov, Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin
How to make a simple tool for verification of real-time systems. Autom. Control. Comput. Sci. 48 (7) (2014)
Igor V. Konnov
On application of weaker simulations to parameterized model checking by network invariants technique. Autom. Control. Comput. Sci. 44 (7) (2010)
Igor V. Konnov, Vladimir A. Zakharov
An invariant-based approach to the verification of asynchronous parameterized networks. J. Symb. Comput. 45 (11) (2010)
Igor V. Konnov, Vladimir A. Zakharov
An Approach to the Verification of Symmetric Parameterized Distributed Systems. Program. Comput. Softw. 31 (5) (2005)