EDBT 2026 Demo / reviewers in the wild / expert
Béatrice Bérard
dblp:b/BeatriceBerard
· DBLP profile ↗
5ranked-venue papers in the field
5as first author
2since 2021 · last 2022
0000-0002-3314-1956ORCID · verified
Domains — venue-derived; a paper can count in several
Other / Interdisciplinary · 5 (5 first)
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Revisiting reachability in Polynomial Interrupt Timed Automata
Béatrice Bérard, Serge Haddad |
Inf. Process. Lett. | 1 |
| 2022 | Corrigendum to "Revisiting reachability in polynomial interrupt timed automata" [Information Processing Letters 174 (2022) 106208]
Béatrice Bérard, Serge Haddad |
Inf. Process. Lett. | 1 |
| 2015 | Probabilistic opacity for Markov decision processes
Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder |
Inf. Process. Lett. | 1 |
| 2000 | Timed automata and additive clock constraints
Béatrice Bérard, Catherine Dufourd |
Inf. Process. Lett. | 1 |
| 1995 | Untiming Timed Languages
Béatrice Bérard |
Inf. Process. Lett. | 1 |