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)

Using B as a High Level Programming Language in an Industrial Project: Roissy VAL. - Frédéric Badeau; Arnaud Amelot (ZB, 2005)

Formal Data Validation with Event-B - Frédéric Badeau; Marielle Petit-Doche (CoRR, 2012)

Modelling Dynamic Data Structures with the B Method. - Frédéric Badeau; Vincent Lacroix; Vincent Monfort; Laurent Voisin; Christophe Métayer (ABZ, 2018)

Generating and Verifying Configuration Data with OVADO. - Frédéric Badeau; Julien Chappelin; Joris Lamare (RSSRail, 2022)