Collaborated with:Igor V. Konnov 0001 H.Veith J.Widder I.Berkovits G.Losa O.Padon S.Shoham
Talks about:distribut (2) algorithm (2) verif (2) counterexampl (1) decomposit (1) threshold (1) properti (1) safeti (1) toler (1) short (1)
Person: Marijana Lazic
DBLP: Lazic:Marijana
Contributed to:
2019
2017Wrote 2 papers:
- CAV-2019-BerkovitsLLPS #algorithm #composition #decidability #distributed #logic #verification
- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics (IB, ML, GL, OP, SS), pp. 245–266.
- POPL-2017-KonnovLVW #algorithm #distributed #fault tolerance #liveness #safety #verification
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms (IVK0, ML, HV, JW), pp. 719–734.