| No. |
Title |
Author |
Year |
| 1 |
Distributed Algorithms: A Challenging Playground for Model Checking (Invited Talk) |
Bertrand, Nathalie |
2022 |
| 2 |
Holistic Verification of Blockchain Consensus |
Bertrand, Nathalie et al. |
2022 |
| 3 |
Parameterized Safety Verification of Round-Based Shared-Memory Systems |
Bertrand, Nathalie et al. |
2022 |
| 4 |
Semilinear Representations for Series-Parallel Atomic Congestion Games |
Bertrand, Nathalie et al. |
2022 |
| 5 |
CONCUR Test-Of-Time Award 2021 (Invited Paper) |
Bertrand, Nathalie et al. |
2021 |
| 6 |
Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms |
Bertrand, Nathalie et al. |
2021 |
| 7 |
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking |
Piribauer, Jakob et al. |
2021 |
| 8 |
Concurrent Games with Arbitrarily Many Players (Invited Talk) |
Bertrand, Nathalie |
2020 |
| 9 |
Dynamic Network Congestion Games |
Bertrand, Nathalie et al. |
2020 |
| 10 |
Synthesizing Safe Coalition Strategies |
Bertrand, Nathalie et al. |
2020 |
| 11 |
Concurrent Parameterized Games |
Bertrand, Nathalie et al. |
2019 |
| 12 |
Reconfiguration and Message Losses in Parameterized Broadcast Networks |
Bertrand, Nathalie et al. |
2019 |
| 13 |
Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries |
Bertrand, Nathalie et al. |
2019 |
| 14 |
Controlling a Population |
Bertrand, Nathalie et al. |
2017 |
| 15 |
Analysing Decisive Stochastic Processes |
Bertrand, Nathalie et al. |
2016 |
| 16 |
Diagnosis in Infinite-State Probabilistic Systems |
Bertrand, Nathalie et al. |
2016 |
| 17 |
Distributed Local Strategies in Broadcast Networks |
Bertrand, Nathalie et al. |
2015 |
| 18 |
Foundation of Diagnosis and Predictability in Probabilistic Systems |
Bertrand, Nathalie et al. |
2014 |
| 19 |
Parameterized Verification of Many Identical Probabilistic Timed Processes |
Bertrand, Nathalie et al. |
2013 |
| 20 |
Bounded Satisfiability for PCTL |
Bertrand, Nathalie et al. |
2012 |
| 21 |
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems |
Bertrand, Nathalie et al. |
2012 |
| 22 |
Minimal Disclosure in Partially Observable Markov Decision Processes |
Bertrand, Nathalie et al. |
2011 |
