Nicolas Waldburger

13 papers A* 2B 3Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 B conf
Temporal Hyperproperties for Population Protocols.
FoSSaCS
Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty, César Sánchez
2024 B conf
Invariants for One-Counter Automata with Disequality Tests.
CONCUR
Dmitry Chistikov, Jérôme Leroux, Henry Sinclair-Banks, Nicolas Waldburger
2024 J jnl
Invariants for One-Counter Automata with Disequality Tests.
CoRR
Dmitry Chistikov, Jérôme Leroux, Henry Sinclair-Banks, Nicolas Waldburger
2024 — conf
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.
FoSSaCS (2)
Lucie Guillou, Corto Mascle, Nicolas Waldburger
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 J jnl
Temporal Hyperproperties for Population Protocols.
CoRR
Nicolas Waldburger, Chana Weil-Kennedy, Pierre Ganty, César Sánchez
2024 A* conf
Verification of Population Protocols with Unordered Data.
ICALP
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
2024 J jnl
Verification of Population Protocols with Unordered Data.
CoRR
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
2023 B conf
Checking Presence Reachability Properties on Parameterized Shared-Memory Systems.
MFCS
Nicolas Waldburger
2023 J jnl
Checking Presence Reachability Properties on Parameterized Shared-Memory Systems.
CoRR
Nicolas Waldburger
2023 J jnl
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.
CoRR
Lucie Guillou, Corto Mascle, Nicolas Waldburger
2022 A* conf
Parameterized Safety Verification of Round-Based Shared-Memory Systems.
ICALP
Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger
2022 J jnl
Parameterized safety verification of round-based shared-memory systems.
CoRR
Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger