Béatrice BÉRARD

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.