Nicolas Waldburger

According to our database, Nicolas Waldburger authored at least 7 papers between 2022 and 2025.

Collaborative distances:

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

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