Nicolas Waldburger

According to our database, Nicolas Waldburger authored at least 8 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Sound Automatic Lock Placement for Concurrent Programs with Pointers.

Nicolas Waldburger, Florian Faissole, Ryo Okabe, Denis Cousineau

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2026

2025

Temporal Hyperproperties for Population Protocols.

Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty, César Sánchez

Proceedings of the Foundations of Software Science and Computation Structures, 2025

2024

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

Nicolas Waldburger

PhD thesis, 2024

Verification of Population Protocols with Unordered Data.

Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.

Lucie Guillou, Corto Mascle, Nicolas Waldburger

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Invariants for One-Counter Automata with Disequality Tests.

Dmitry Chistikov, Jérôme Leroux, Henry Sinclair-Banks, Nicolas Waldburger

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

Checking Presence Reachability Properties on Parameterized Shared-Memory Systems.

Nicolas Waldburger

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

Parameterized Safety Verification of Round-Based Shared-Memory Systems.

Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022