| 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 | 215 | 2016 |
| 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 | 92 | 2017 |
| 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 | 84 | 2013 |
| Tolerating corrupted communication M Biely, J Widder, B Charron-Bost, A Gaillard, M Hutle, A Schiper Proceedings of the twenty-sixth annual ACM symposium on Principles of …, 2007 | 79 | 2007 |
| A logic-based framework for verifying consensus algorithms C Drăgoi, TA Henzinger, H Veith, J Widder, D Zufferey Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 77 | 2014 |
| 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 | 62 | 2017 |
| The Theta-Model: achieving synchrony without clocks J Widder, U Schmid Distributed Computing 22 (1), 29-47, 2009 | 59* | 2009 |
| ByMC: Byzantine model checker I Konnov, J Widder International Symposium on Leveraging Applications of Formal Methods, 327-342, 2018 | 48 | 2018 |
| 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 | 45 | 2015 |
| Towards modeling and model checking fault-tolerant distributed algorithms A John, I Konnov, U Schmid, H Veith, J Widder Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013 | 44 | 2013 |
| Booting clock synchronization in partially synchronous systems with hybrid process and link failures J Widder, U Schmid Distributed Computing 20 (2), 115-140, 2007 | 43 | 2007 |
| 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 …, 2018 | 38 | 2018 |
| Communication-closed asynchronous protocols A Damian, C Drăgoi, A Militaru, J Widder Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 37 | 2019 |
| Booting clock synchronization in partially synchronous systems J Widder International Symposium on Distributed Computing, 121-135, 2003 | 36 | 2003 |
| Failure detection with booting in partially synchronous systems J Widder, G Le Lann, U Schmid European Dependable Computing Conference, 20-37, 2005 | 35 | 2005 |
| Parameterized model checking of synchronous distributed algorithms by abstraction B Aminof, S Rubin, I Stoilkovska, J Widder, F Zuleger Verification, Model Checking, and Abstract Interpretation: 19th …, 2018 | 32 | 2018 |
| On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability I Konnov, H Veith, J Widder International Conference on Concurrency Theory, 125-140, 2014 | 32 | 2014 |
| Distributed computing in the presence of bounded asynchrony J Widder Technische Universität Wien, 2004 | 32 | 2004 |
| Verifying safety of synchronous fault-tolerant algorithms by bounded model checking I Stoilkovska, I Konnov, J Widder, F Zuleger International Journal on Software Tools for Technology Transfer 24 (1), 33-48, 2022 | 30 | 2022 |
| On the possibility and the impossibility of message-driven self-stabilizing failure detection M Hutle, J Widder Symposium on Self-Stabilizing Systems, 153-170, 2005 | 30 | 2005 |
Igor KonnovIndependent Security and Formal Methods Researcherkonnov.phd의 이메일 확인됨