According to our database1, Igor Konnov authored at least 37 papers between 2005 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
Sci. Comput. Program., 2020
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.
Proceedings of the Networked Systems - 8th International Conference, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper).
Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking - Springer International Publishing AG, Cham, Switzerland, 2018.
Formal Aspects Comput., 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability.
Inf. Comput., 2017
Para<sup>2</sup>: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms.
Formal Methods Syst. Des., 2017
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017
Proceedings of the 27th International Conference on Concurrency Theory, 2016
Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, 2015
Program. Comput. Softw., 2015
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms.
Proceedings of the Perspectives of System Informatics, 2015
SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Autom. Control. Comput. Sci., 2014
Proceedings of the Formal Methods for Executable Software Models, 2014
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013
Parameterized model checking of fault-tolerant distributed algorithms by abstraction.
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms
An invariant-based approach to the verification of asynchronous parameterized networks.
J. Symb. Comput., 2010
On application of weaker simulations to parameterized model checking by network invariants technique.
Autom. Control. Comput. Sci., 2010
Proceedings of the Second International Workshop on Invariant Generation, 2010
Program. Comput. Softw., 2005