| No. |
Title |
Author |
Year |
| 1 |
Holistic Verification of Blockchain Consensus |
Bertrand, Nathalie et al. |
2022 |
| 2 |
Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms |
Bertrand, Nathalie et al. |
2021 |
| 3 |
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper) |
Braithwaite, Sean et al. |
2020 |
| 4 |
Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries |
Bertrand, Nathalie et al. |
2019 |
| 5 |
Front Matter, Table of Contents, Preface, Conference Organization, Awards |
Schmid, Ulrich et al. |
2018 |
| 6 |
LIPIcs, Volume 121, DISC'18, Complete Volume |
Schmid, Ulrich et al. |
2018 |
| 7 |
Reachability in Parameterized Systems: All Flavors of Threshold Automata |
Kukovec, Jure et al. |
2018 |
| 8 |
Synthesis of Distributed Algorithms with Parameterized Threshold Guards |
Lazic, Marijana et al. |
2018 |
| 9 |
Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141) |
Charron-Bost, Bernadette et al. |
2013 |
