BÉrard Béatrice
Computer Science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
BÉRARD Béatrice is working in the department of computer science at Laboratory of Computer Science of Paris 6 (LIP6), France.
Research Interest
Complex Floating Point Arithmetic
Publications
-
B. Bérard, S. Haar, S. Schmitz, S. Schwoon : “The Complexity of Diagnosability and Opacity Verification for Petri Netsâ€, Petri nets 2017, Lecture Notes in Computer Science, Zaragoza, Spain, (Springer) (2017)
-
B. Barbot, B. Bérard, Y. Duplouy, S. Haddad : “Statistical Model-Checking for Autonomous Vehicle Safety Validationâ€, SIA Simulation Numérique, Montigny-le-Bretonneux, France (2017)
-
B. Bérard, L. Hélouët, J. Mullins : “Non-interference in partial order modelsâ€, ACM Transactions on Embedded Computing Systems (TECS), vol. 16 (2), Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015, pp. 34, (ACM) (2017)
