Concepedia

Béatrice Bérard

BB

Statistics

Publications

18

Citations

610

H-Index

14

Active since

1987

Affiliations

Centre National de la Recherche Scientifique(Current)

École Normale Supérieure Paris-Saclay

Sorbonne Université

Laboratoire Spécification et Vérification

Université Paris Cité

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

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningSystems EngineeringAutomationVerificationReal-time SystemsProgram Analysis

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 · 142 citations

Engineering, Timed Languages, Pushdown Automaton +16

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 · 50 citations · Full text

Verification of a timed multitask system with UPPAAL

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

Engineering, Real-time System Design, Verification +20

Probabilistic opacity for Markov decision processes

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

Engineering, Uncertainty Quantification, Probabilistic System +7

Quantifying opacity

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

Engineering, Information Security, Information Leakage +13

1–5 of 18