| No. |
Title |
Author |
Year |
| 1 |
Holistic Verification of Blockchain Consensus |
Bertrand, Nathalie et al. |
2022 |
| 2 |
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper) |
Braithwaite, Sean et al. |
2020 |
| 3 |
Front Matter, Table of Contents, Preface, Conference Organization |
Konnov, Igor et al. |
2020 |
| 4 |
LIPIcs, Volume 171, CONCUR 2020, Complete Volume |
Konnov, Igor et al. |
2020 |
| 5 |
Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries |
Bertrand, Nathalie et al. |
2019 |
| 6 |
Reachability in Parameterized Systems: All Flavors of Threshold Automata |
Kukovec, Jure et al. |
2018 |
| 7 |
Synthesis of Distributed Algorithms with Parameterized Threshold Guards |
Lazic, Marijana et al. |
2018 |
| 8 |
Parameterized Systems in BIP: Design and Model Checking |
Konnov, Igor et al. |
2016 |
