| 2026 | FORTE | Sound Automatic Lock Placement for Concurrent Programs with Pointers. | Nicolas Waldburger, Florian Faissole, Ryo Okabe, Denis Cousineau |
| 2025 | FOSSACS | Temporal Hyperproperties for Population Protocols. | Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty, Csar Snchez |
| 2024 | CONCUR | Invariants for One-Counter Automata with Disequality Tests. | Dmitry Chistikov, Jrme Leroux, Henry Sinclair-Banks, Nicolas Waldburger |
| 2024 | FOSSACS | Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. | Lucie Guillou, Corto Mascle, Nicolas Waldburger |
| 2024 | ICALP | Verification of Population Protocols with Unordered Data. | Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy |
| 2023 | MFCS | Checking Presence Reachability Properties on Parameterized Shared-Memory Systems. | Nicolas Waldburger |
| 2022 | ICALP | Parameterized Safety Verification of Round-Based Shared-Memory Systems. | Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger |