Concepedia

Béatrice Bérard

BB

Statistics

Publications

18

Citations

619

H-Index

14

Active since

1987

Affiliations

Centre National de la Recherche Scientifique(Current)

École Normale Supérieure Paris-Saclay

Sorbonne Université

LIP6

Laboratoire Spécification et Vérification

Béatrice Bérard is an author at Centre National de la Recherche Scientifique specializing in computer science, formal methods, and computing.

ORCID

Publications per year

1987–2018

18

Publications

18

Characterization of the Expressive Power of Silent Transitions in Timed Automata

Béatrice Bérard, Antoine Petit, Volker Diekert et al. · Fundamenta Informaticae · 1998 · 145 citations

, , +10

Verification of a Timed Multitask System With Uppaal

Houda Bel Mokadem, Béatrice Bérard, Vincent Gourcuff et al. · IEEE Transactions on Automation Science and Engineering · 2010 · 51 citations · Full text

, , +17

Verification of a timed multitask system with UPPAAL

Houda Bel Mokadem, Béatrice Bérard, Vincent Gourcuff · 2006 · 49 citations · Full text

, , +17

Probabilistic opacity for Markov decision processes

Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder · Information Processing Letters · 2014 · 47 citations

, , +11

Quantifying opacity

Béatrice Bérard, John Mullins, Mathieu Sassolas · Mathematical Structures in Computer Science · 2014 · 44 citations · Full text

, , +11

1–5 of 18