Igor Konnov

Decidability in Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov et al. · ACM SIGACT News · 2016 · 95 citations

Decision Procedure, Engineering, Automated Reasoning +13

Parameterized model checking of fault-tolerant distributed algorithms by abstraction

Annu John, Igor Konnov, Ulrich Schmid et al. · 2013 · 66 citations

Engineering, Verification, Computer-aided Verification +18

Decidability of Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov et al. · Synthesis lectures on distributed computing theory · 2015 · 53 citations · Full text

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability

Igor Konnov, Helmut Veith, Josef Widder · Information and Computation · 2016 · 46 citations · Full text

Engineering, Reachability Problem, Verification +20

TLA+ model checking made symbolic

Igor Konnov, Jure Kukovec, Thanh-Hai Tran · Proceedings of the ACM on Programming Languages · 2019 · 43 citations · Full text

Engineering, Verification, Computer-aided Verification +16