| 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 | 88 | 2017 |
| Verification of threshold-based distributed algorithms by decomposition to decidable logics I Berkovits, M Lazić, G Losa, O Padon, S Shoham Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 37 | 2019 |
| 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 | 37 | 2018 |
| Para: 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 | 24 | 2017 |
| 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 23 (5), 797-821, 2021 | 23 | 2021 |
| Holistic verification of blockchain consensus N Bertrand, V Gramoli, I Konnov, M Lazić, P Tholoniat, J Widder arXiv preprint arXiv:2206.04489, 2022 | 22 | 2022 |
| Complexity of verification and synthesis of threshold automata AR Balasubramanian, J Esparza, M Lazić International Symposium on Automated Technology for Verification and …, 2020 | 16 | 2020 |
| A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks H van Ditmarsch, É Goubault, M Lazić, J Ledent, S Rajsbaum Journal of Logical and Algebraic Methods in Programming 121, 100662, 2021 | 14 | 2021 |
| A dynamic epistemic logic analysis of the equality negation task É Goubault, M Lazić, J Ledent, S Rajsbaum International Workshop on Dynamic Logic, 53-70, 2019 | 14 | 2019 |
| Brief announcement: Holistic verification of blockchain consensus N Bertrand, V Gramoli, I Konnov, M Lazic, P Tholoniat, J Widder Proceedings of the 2022 ACM symposium on principles of distributed computing …, 2022 | 13 | 2022 |
| Compositional verification of Byzantine consensus N Bertrand, V Gramoli, I Konnov, M Lazic, P Tholoniat, J Widder | 12 | 2021 |
| Wait-free solvability of equality negation tasks É Goubault, M Lazić, J Ledent, S Rajsbaum 33rd International Symposium on Distributed Computing (DISC 2019), 2019 | 12 | 2019 |
| Finite generation of congruence preserving functions E Aichinger, M Lazić, N Mudrinski Monatshefte für Mathematik 181, 35-62, 2016 | 8 | 2016 |
| Tutorial: Parameterized verification with byzantine model checker I Konnov, M Lazić, I Stoilkovska, J Widder International Conference on Formal Techniques for Distributed Objects …, 2020 | 7 | 2020 |
| Survey on parameterized verification with threshold automata and the byzantine model checker I Konnov, M Lazić, I Stoilkovska, J Widder Logical Methods in Computer Science 19, 2023 | 5 | 2023 |
| A reduction theorem for randomized distributed algorithms under weak adversaries N Bertrand, M Lazić, J Widder International Conference on Verification, Model Checking, and Abstract …, 2021 | 5 | 2021 |
| Verification of randomized distributed algorithms under round-rigid adversaries N Bertrand, I Konnov, M Lazic, J Widder | 2 | 2019 |
| Communication-closed layers as paradigm for distributed systems: A manifesto C Dragoi, M Lazić, J Widder Proceedings of the International Scientific Conference-Sinteza 2018, 2018 | 1 | 2018 |
| 3.11 Parameterized Verification of Randomized Consensus Algorithms M Lazic Unifying Formal Methods for Trustworthy Distributed Systems, 41, 2024 | | 2024 |
| Verification of randomized consensus algorithms under round-rigid adversaries (Feb, 10.1007/s10009-020-00603-x, 2021) N Bertrand, I Konnov, M Lazic, J Widder INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 23 (5), 823-823, 2021 | | 2021 |
Josef WidderInformal SystemsVerified email at informal.systems