Nicolas Waldburger

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 9

Top Topics

Parallel Algorithm

Probabilistic Automata

Heterogeneous Platforms

Top Venues

Publications

Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
Verification of Population Protocols with Unordered Data. CoRR (2024)
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
Verification of Population Protocols with Unordered Data. ICALP (2024)
Lucie Guillou, Corto Mascle, Nicolas Waldburger
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. FoSSaCS (2) (2024)
Dmitry Chistikov, Jérôme Leroux, Henry Sinclair-Banks, Nicolas Waldburger
Invariants for One-Counter Automata with Disequality Tests. CONCUR (2024)
Nicolas Waldburger
Checking Presence Reachability Properties on Parameterized Shared-Memory Systems. CoRR (2023)
Nicolas Waldburger
Checking Presence Reachability Properties on Parameterized Shared-Memory Systems. MFCS (2023)
Lucie Guillou, Corto Mascle, Nicolas Waldburger
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. CoRR (2023)
Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger
Parameterized Safety Verification of Round-Based Shared-Memory Systems. ICALP (2022)
Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger
Parameterized safety verification of round-based shared-memory systems. CoRR (2022)