Follow
Marijana Lazić
Marijana Lazić
Postdoc, TU München
Verified email at in.tum.de - Homepage
Title
Cited by
Cited by
Year
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
802017
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
342018
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
302019
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
202021
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
202017
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
142021
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
142019
Wait-free solvability of equality negation tasks
É Goubault, M Lazić, J Ledent, S Rajsbaum
33rd International Symposium on Distributed Computing (DISC 2019), 2019
122019
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
112022
Compositional verification of Byzantine consensus
N Bertrand, V Gramoli, I Konnov, M Lazic, P Tholoniat, J Widder
112021
Complexity of verification and synthesis of threshold automata
AR Balasubramanian, J Esparza, M Lazić
International Symposium on Automated Technology for Verification and …, 2020
112020
Holistic verification of blockchain consensus
N Bertrand, V Gramoli, I Konnov, M Lazić, P Tholoniat, J Widder
arXiv preprint arXiv:2206.04489, 2022
92022
Finite generation of congruence preserving functions
E Aichinger, M Lazić, N Mudrinski
Monatshefte für Mathematik 181, 35-62, 2016
82016
Tutorial: Parameterized verification with byzantine model checker
I Konnov, M Lazić, I Stoilkovska, J Widder
International Conference on Formal Techniques for Distributed Objects …, 2020
72020
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
42021
Verification of randomized distributed algorithms under round-rigid adversaries
N Bertrand, I Konnov, M Lazic, J Widder
22019
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
12023
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
12018
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
The system can't perform the operation now. Try again later.
Articles 1–20