Frédéric Badeau

According to our database, Frédéric Badeau authored at least 5 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Generating and Verifying Configuration Data with OVADO.

Frédéric Badeau, Julien Chappelin, Joris Lamare

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2018

Modelling Dynamic Data Structures with the B Method.

Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2012

Formal Data Validation with Event-B

Frédéric Badeau, Marielle Petit-Doche

CoRR, 2012

2005

Using B as a High Level Programming Language in an Industrial Project: Roissy VAL.

Frédéric Badeau, Arnaud Amelot

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2004

Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM.

Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin

Tech. Sci. Informatiques, 2004