Igor Konnov

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 34

Top Topics

False Acceptance

Formal Specification

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Thanh-Hai Tran, Igor Konnov, Josef Widder
A case study on parametric verification of failure detectors. Log. Methods Comput. Sci. 19 (1) (2023)
Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina
Symbolic Model Checking for TLA+ Made Faster. TACAS (1) (2023)
Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker. Log. Methods Comput. Sci. 19 (1) (2023)
Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder
Brief Announcement: Holistic Verification of Blockchain Consensus. PODC (2022)
Igor Konnov, Markus Kuppe, Stephan Merz
Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS. CoRR (2022)
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Igor Konnov, Markus Kuppe, Stephan Merz
Trifecta: TLC, Apalache, and TLAPS. ISoLA (1) (2022)
Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder
Holistic Verification of Blockchain Consensus. CoRR (2022)
Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder
Holistic Verification of Blockchain Consensus. DISC (2022)
Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
Correction to: Verification of randomized consensus algorithms under round-rigid adversaries. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
Eliminating Message Counters in Synchronous Threshold Automata. VMCAI (2021)
Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
Verification of randomized consensus algorithms under round-rigid adversaries. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Thanh-Hai Tran, Igor Konnov, Josef Widder
A case study on parametric verification of failure detectors. CoRR (2021)
Thanh-Hai Tran, Igor Konnov, Josef Widder
A Case Study on Parametric Verification of Failure Detectors. FORTE (2021)
Sean Braithwaite, Ethan Buchman, Ismail Khoffi, Igor Konnov, Zarko Milosevic, Romain Ruetschi, Josef Widder
A Tendermint Light Client. CoRR (2020)
Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
Tutorial: Parameterized Verification with Byzantine Model Checker. FORTE (2020)
Jure Kukovec, Thanh-Hai Tran, Igor Konnov
specifications. Sci. Comput. Program. 187 (2020)
Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker. CoRR (2020)
Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
Tendermint Blockchain Synchronization: Formal Specification and Model Checking. ISoLA (1) (2020)
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
Eliminating Message Counters in Threshold Automata. ATVA (2020)
Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). FMBC@CAV (2020)
Thanh-Hai Tran, Igor Konnov, Josef Widder
Cutoffs for Symmetric Point-to-Point Distributed Algorithms. NETYS (2020)
Igor Konnov
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. 31 (4) (2019)
Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries. CONCUR (2019)
Igor Konnov, Jure Kukovec, Thanh-Hai Tran
TLA+ model checking made symbolic. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking. TACAS (2) (2019)
Jure Kukovec, Thanh-Hai Tran, Igor Konnov
Specifications. ABZ (2018)
Jure Kukovec, Igor Konnov, Josef Widder
Reachability in Parameterized Systems: All Flavors of Threshold Automata. CONCUR (2018)
Igor Konnov, Josef Widder
ByMC: Byzantine Model Checker. ISoLA (3) (2018)
Marijana Lazic, Igor Konnov, Josef Widder, Roderick Bloem
Synthesis of Distributed Algorithms with Parameterized Threshold Guards. OPODIS (2017)
Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder
: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Formal Methods Syst. Des. 51 (2) (2017)
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
Decidability in Parameterized Verification. SIGACT News 47 (2) (2016)
Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms. CoRR (2016)
Igor Konnov, Helmut Veith, Josef Widder
SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms. CAV (1) (2015)
Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. SFM (2014)
Igor Konnov, Helmut Veith, Josef Widder
On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability. CONCUR (2014)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction. PODC (2013)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Parameterized model checking of fault-tolerant distributed algorithms by abstraction. FMCAD (2013)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. SPIN (2013)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms CoRR (2012)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms CoRR (2012)
Igor Konnov
CheAPS: a Checker of Asynchronous Parameterized Systems. WING@ETAPS/IJCAR (2010)