BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: Lazic:Marijana

Contributed to:

CAV (2) 20192019
POPL 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.