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 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
38 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 …, 2018
38 2018 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
26 2021 Para I Konnov, M Lazić, H Veith, J Widder
Formal Methods in System Design 51 (2), 270-307, 2017
23 2017 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
17 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
16 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 Wait-free solvability of equality negation tasks É Goubault, M Lazić, J Ledent, S Rajsbaum
33rd International Symposium on Distributed Computing (DISC 2019), 21: 1-21: 16, 2019
13 2019 Compositional verification of Byzantine consensus N Bertrand, V Gramoli, I Konnov, M Lazic, P Tholoniat, J Widder
12 2021 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 SystemsE-mailová adresa ověřena na: informal.systems