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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI