Parameterized Safety Verification of Round-Based Shared-Memory Systems. - Nathalie Bertrand 001; Nicolas Markey; Ocan Sankur; Nicolas Waldburger (ICALP, 2022)

Checking Presence Reachability Properties on Parameterized Shared-Memory Systems. - Nicolas Waldburger (MFCS, 2023)

Invariants for One-Counter Automata with Disequality Tests. - Dmitry Chistikov 001; Jérôme Leroux; Henry Sinclair-Banks; Nicolas Waldburger (CONCUR, 2024)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. - Lucie Guillou; Corto Mascle; Nicolas Waldburger (FoSSaCS (2), 2024)

Verification of Population Protocols with Unordered Data. - Steffen van Bergerem; Roland Guttenberg; Sandra Kiefer; Corto Mascle; Nicolas Waldburger; Chana Weil-Kennedy (ICALP, 2024)

Parameterized verification of distributed shared-memory systems. (Vérification paramétrée de systèmes distribués à mémoire partagée). - Nicolas Waldburger (2024)

Temporal Hyperproperties for Population Protocols. - Nicolas Waldburger; Chana Weil-Kennedy; Pierre Ganty; César Sánchez 001 (FoSSaCS, 2025)