BÉRARD Béatrice
Expertise
Discover the specialized technical skills and disciplinary affiliations of our members, who represent the federated communities of the Arts & Humanities, Science & Engineering, and Medicine within the Sorbonne University Alliance.
Activities
Overview the professional milestones, academic responsibilities, and international collaborations that drive our center’s double ambition to excel in both research and education.
Responsibilities
Head of the speciality "Distributed Systems and Applications" in the Master course Computer Science
Selected publications
- B. Bérard, S. Haddad, C. Picaronny, M. Safey El Din, and M. Sassolas. Polynomial Interrupt Timed Automata: Verification and Expressiveness. Information and Computation, 2020.
- B. Bérard, B. Bollig, P. Bouyer, M. Függer, N. Sznajder. Synthesis in Presence of Dynamic Links. In Proceedings of GandALF 2020.
- B. Bérard, B. Bollig, M. Lehaut, N. Sznajder. Parameterized Synthesis for Fragments of First-Order Logic Over Data Words. In Proceedings of FoSSaCS 2020, pages 97-118, 2020.
- B. Bérard, O. Kouchnarenko, J. Mullins, M. Sassolas. Opacity for Linear Constraint Markov Chains. Discrete Event Dynamic Systems, vol. 28(1): 83-108, 2018.
- B. Bérard, S. Haar, S. Schwoon, S. Schmitz. The Complexity of Diagnosability and Opacity Verification for Petri Nets. Fundam. Inform., vol. 161(4): 317-349, 2018.