|
| | Preview | Authors / Editors | 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 | Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms | Artikel Article | 2017 |
| 4 | | Lazić, Marijana ; Konnov, Igor ; Widder, Josef ; Bloem, Roderick | Synthesis of Distributed Algorithms with Parameterized Threshold Guards | Konferenzbeitrag Inproceedings | 2017 |
| 5 | | 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 |
| 6 | | Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef | Parameterized Verification of Liveness of Distributed Algorithms | Präsentation Presentation | 2016 |
| 7 | | Lazić, Marijana ; Konnov, Igor ; Veith, Helmut ; Widder, Josef | Model Checking of Threshold-based Fault-Tolerant Distributed Algorithms | Präsentation Presentation | 2016 |
