Name Card

Full name Familienname, Vorname

Lazić, Marijana

Own Publications Eigene Publikationen

Results 1-7 of 7 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Bertrand, Nathalie ; Konnov, Igor ; Lazić, Marijana ; Widder, Josef	Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries	Konferenzbeitrag Inproceedings	2019
	2		Dragoi, Cezara ; Lazić, Marijana ; Widder, Josef	Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto	Konferenzbeitrag Inproceedings	2018
	3		Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef	A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms	Konferenzbeitrag Inproceedings	2017
	4		Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef	Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms	Artikel Article	2017
	5		Lazić, Marijana ; Konnov, Igor ; Widder, Josef ; Bloem, Roderick	Synthesis of Distributed Algorithms with Parameterized Threshold Guards	Konferenzbeitrag Inproceedings	2017
	6		Lazić, Marijana ; Konnov, Igor ; Veith, Helmut ; Widder, Josef	Model Checking of Threshold-based Fault-Tolerant Distributed Algorithms	Präsentation Presentation	2016
	7		Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef	Parameterized Verification of Liveness of Distributed Algorithms	Präsentation Presentation	2016