Igor Konnov
Orcid: 0000-0001-6629-3377Affiliations:
- Informal Systems, Vinna, Austria
- INRIA Nancy, France (former)
- TU Wien, Vienna, Austria (former)
- Lomonosov Moscow State University, Russia (PhD 2008)
According to our database1,
Igor Konnov
authored at least 44 papers
between 2005 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
-
on github.com
-
on d-nb.info
-
on forsyte.at
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Log. Methods Comput. Sci., 2023
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.
Log. Methods Comput. Sci., 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
2022
Int. J. Softw. Tools Technol. Transf., 2022
CoRR, 2022
Proceedings of the 36th International Symposium on Distributed Computing, 2022
Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022
Specification and Verification with the TLA<sup>+</sup> Trifecta: TLC, Apalache, and TLAPS.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
2021
Correction to: Verification of randomized consensus algorithms under round-rigid adversaries.
Int. J. Softw. Tools Technol. Transf., 2021
Int. J. Softw. Tools Technol. Transf., 2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
2020
Sci. Comput. Program., 2020
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
2019
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
2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
2017
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
2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02011-7, 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
2014
Autom. Control. Comput. Sci., 2014
Proceedings of the Formal Methods for Executable Software Models, 2014
2013
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
2012
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms
CoRR, 2012
CoRR, 2012
2010
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
2005
Program. Comput. Softw., 2005