| 2022 | PODC | Brief Announcement: Holistic Verification of Blockchain Consensus. | Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder |
| 2021 | VMCAI | A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries. | Nathalie Bertrand, Marijana Lazic, Josef Widder |
| 2020 | ATVA | Complexity of Verification and Synthesis of Threshold Automata. | A. R. Balasubramanian, Javier Esparza, Marijana Lazic |
| 2020 | FORTE | Tutorial: Parameterized Verification with Byzantine Model Checker. | Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder |
| 2019 | CAV | Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics. | Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham |
| 2019 | CONCUR | Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries. | Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder |
| 2019 | TAP | A Dynamic Epistemic Logic Analysis of the Equality Negation Task. | ric Goubault, Marijana Lazic, Jrmy Ledent, Sergio Rajsbaum |
| 2017 | OPODIS | Synthesis of Distributed Algorithms with Parameterized Threshold Guards. | Marijana Lazic, Igor Konnov, Josef Widder, Roderick Bloem |
| 2017 | POPL | A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. | Igor V. Konnov, Marijana Lazic, Helmut Veith, Josef Widder |