| Decidability of parameterized verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder Synthesis Lectures on Distributed Computing Theory 6 (1), 1-170, 2015 | 95 | 2015 |
| Parameterized model checking of fault-tolerant distributed algorithms by abstraction A John, I Konnov, U Schmid, H Veith, J Widder 2013 Formal Methods in Computer-Aided Design, 201-209, 2013 | 64 | 2013 |
| On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability I Konnov, H Veith, J Widder Information and Computation 252, 95-109, 2017 | 54 | 2017 |
| A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms I Konnov, M Lazić, H Veith, J Widder Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 52 | 2017 |
| SMT and POR beat counter abstraction: Parameterized model checking of threshold-based distributed algorithms I Konnov, H Veith, J Widder International Conference on Computer Aided Verification, 85-102, 2015 | 41 | 2015 |
| Towards modeling and model checking fault-tolerant distributed algorithms A John, I Konnov, U Schmid, H Veith, J Widder International SPIN Workshop on Model Checking of Software, 209-226, 2013 | 32 | 2013 |
| Decidability in parameterized verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder ACM SIGACT News 47 (2), 53-64, 2016 | 30 | 2016 |
| Tutorial on parameterized model checking of fault-tolerant distributed algorithms A Gmeiner, I Konnov, U Schmid, H Veith, J Widder International School on Formal Methods for the Design of Computer …, 2014 | 22 | 2014 |
| ByMC: Byzantine model checker I Konnov, J Widder International Symposium on Leveraging Applications of Formal Methods, 327-342, 2018 | 21 | 2018 |
| Synthesis of distributed algorithms with parameterized threshold guards M Lazic, I Konnov, J Widder, R Bloem 21st International Conference on Principles of Distributed Systems (OPODIS 2017), 2018 | 21 | 2018 |
| What you always wanted to know about model checking of fault-tolerant distributed algorithms I Konnov, H Veith, J Widder International Andrei Ershov Memorial Conference on Perspectives of System …, 2015 | 21 | 2015 |
| Parameterized systems in BIP: design and model checking I Konnov, T Kotek, Q Wang, H Veith, S Bliudze, J Sifakis 27th International conference on concurrency theory (CONCUR 2016), 2016 | 16 | 2016 |
| Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms I Konnov, M Lazić, H Veith, J Widder Formal Methods in System Design 51 (2), 270-307, 2017 | 15 | 2017 |
| Computing (bi) simulation relations preserving CTL* X. for ordinary and fair Kripke structures PE Bulychev, IV Konnov, VA Zakharov Труды Института системного программирования РАН 12, 2007 | 15 | 2007 |
| Verifying safety of synchronous fault-tolerant algorithms by bounded model checking I Stoilkovska, I Konnov, J Widder, F Zuleger International Conference on Tools and Algorithms for the Construction and …, 2019 | 12 | 2019 |
| Who is afraid of model checking distributed algorithms I Konnov, H Veith, J Widder CAV’12 Workshop (EC) 2, 2012 | 12 | 2012 |
| TLA+ model checking made symbolic I Konnov, J Kukovec, TH Tran Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019 | 11 | 2019 |
| Verification of randomized consensus algorithms under round-rigid adversaries N Bertrand, I Konnov, M Lazić, J Widder International Journal on Software Tools for Technology Transfer, 1-25, 2021 | 10 | 2021 |
| Reachability in parameterized systems: all flavors of threshold automata J Kukovec, I Konnov, J Widder CONCUR 2018-29th International Conference on Concurrency Theory, 2018 | 9 | 2018 |
| An invariant-based approach to the verification of asynchronous parameterized networks IV Konnov, VA Zakharov Journal of Symbolic Computation 45 (11), 1144-1162, 2010 | 9 | 2010 |
Josef WidderInformal SystemsVerified email at informal.systems
