Béatrice Bérard
Béatrice Bérard
professeur d'informatique, Université Pierre et Marie Curie
Verified email at lip6.fr
Title
Cited by
Cited by
Year
Systems and software verification: model-checking techniques and tools
B Bérard, M Bidoit, A Finkel, F Laroussinie, A Petit, L Petrucci, ...
Springer Science & Business Media, 2013
10882013
Characterization of the expressive power of silent transitions in timed automata
B Bérard, A Petit, V Diekert, P Gastin
Fundamenta Informaticae 36 (2, 3), 145-182, 1998
2051998
Vérification de logiciels
B Berard, M Bidoit, F Laroussinie, G Cécé, C Dufourd, P Schnoebelen
Vuibert, 1999
1381999
Comparison of the expressiveness of timed automata and time Petri nets
B Bérard, F Cassez, S Haddad, D Lime, OH Roux
International Conference on Formal Modeling and Analysis of Timed Systems …, 2005
1152005
Comparison of different semantics for time Petri nets
B Bérard, F Cassez, S Haddad, D Lime, OH Roux
International Symposium on Automated Technology for Verification and …, 2005
812005
Dynamic modeling of a disturbance in a multi-agent system for traffic regulation
F Balbo, S Pinson
Decision Support Systems 41 (1), 131-146, 2005
782005
Verification of a timed multitask system with UPPAAL
HB Mokadem, B Berard, V Gourcuff, O De Smet, JM Roussel
IEEE Transactions on Automation Science and Engineering 7 (4), 921-932, 2010
762010
Quantifying opacity
B Bérard, J Mullins, M Sassolas
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
692010
Reachability analysis of (timed) Petri nets using real arithmetic
B Bérard, L Fribourg
International Conference on Concurrency Theory, 178-193, 1999
641999
Automated verification of a parametric real-time program: the ABR conformance protocol
B Béerard, L Fribourg
International Conference on Computer Aided Verification, 96-107, 1999
541999
On the power of non-observable actions in timed automata
B Bérard, P Gastin, A Petit
Annual Symposium on Theoretical Aspects of Computer Science, 255-268, 1996
521996
Timed automata and additive clock constraints
B Bérard, C Dufourd
Information Processing Letters 75 (1-2), 1-7, 2000
512000
Probabilistic opacity for Markov decision processes
B Bérard, K Chatterjee, N Sznajder
Information Processing Letters 115 (1), 52-59, 2015
422015
The expressive power of time Petri nets
B Berard, F Cassez, S Haddad, D Lime, OH Roux
Theoretical Computer Science 474, 1-20, 2013
392013
Analysing the PGM protocol with UPPAAL
B Bérard*, P Bouyer, A Petit
International journal of production research 42 (14), 2773-2791, 2004
302004
Schnoebelen Ph. McKenzie P. Systems and Software verification: model checking techniques and tools
B Bérard, M Bidoit, A Finkel, F Laroussinie, A Petit, L Petrucci
Springer, 2001
292001
Formal verification of mobile robot protocols
B Bérard, P Lafourcade, L Millet, M Potop-Butucaru, Y Thierry-Mieg, ...
Distributed Computing 29 (6), 459-487, 2016
282016
Interrupt Timed Automata: verification and expressiveness
B Bérard, S Haddad, M Sassolas
Formal Methods in System Design 40 (1), 41-87, 2012
242012
When are timed automata weakly timed bisimilar to time Petri nets?
B Bérard, F Cassez, S Haddad, D Lime, OH Roux
International Conference on Foundations of Software Technology and …, 2005
242005
Systèmes d'exploitation: concepts et algorithmes
J Beauquier, B Bérard
McGraw-Hill, 1989
241989
The system can't perform the operation now. Try again later.
Articles 1–20