Marijana Lazić

Technische Universität München - Munich / Germany

Others

AD Scientific Index ID: 5994853

Technical University of Munich

Registration, Add Profile,
Premium Membership

Print Your Certificate

Marijana Lazić's MOST POPULAR ARTICLES

1-) A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithmsI Konnov, M Lazić, H Veith, J WidderProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017862017

2-) Verification of threshold-based distributed algorithms by decomposition to decidable logicsI Berkovits, M Lazić, G Losa, O Padon, S ShohamComputer Aided Verification: 31st International Conference, CAV 2019, New …, 2019372019

3-) Synthesis of distributed algorithms with parameterized threshold guardsM Lazic, I Konnov, J Widder, R Bloem21st International Conference on Principles of Distributed Systems (OPODIS 2017), 2018362018

4-) Verification of randomized consensus algorithms under round-rigid adversariesN Bertrand, I Konnov, M Lazić, J WidderInternational Journal on Software Tools for Technology Transfer 23 (5), 797-821, 2021

5-) Para: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithmsI Konnov, M Lazić, H Veith, J WidderFormal Methods in System Design 51 (2), 270-307, 2017

ARTICLES

Add your articles