The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. - Denis Sabatier; Pierre Lartigue (Formal Methods Syst. Des., 2000)

Reusing formal models - Domain capitalization via formalization. - Denis Sabatier (IFIP Congress Topical Sessions, 2004)

Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project. - Denis Sabatier; Lilian Burdy; Antoine Requet; Jérôme Guéry (ABZ, 2012)

Using Formal Proof and B Method at System Level for Industrial Projects. - Denis Sabatier (RSSRail, 2016)

Safety Analysis of a CBTC System: A Rigorous Approach with Event-B. - Mathieu Comptier; David Déharbe; Julien Molinero Perez; Louis Mussat; Pierre Thibaut; Denis Sabatier (RSSRail, 2017)

A Safety Flasher Developed with the CLEARSY Safety Platform. - Thierry Lecomte; Bruno Lavaud; Denis Sabatier; Lilian Burdy (FMICS, 2020)

Ensuring Safety with System Level Formal Modelling. - Thierry Lecomte; Mathieu Comptier; Julien Molinero Perez; Denis Sabatier (ISoLA (3), 2020)

Low Cost High Integrity Platform. - Thierry Lecomte; David Déharbe; Denis Sabatier; Étienne Prun; Patrick Péronne; Emmanuel Chailloux; Steven Varoumas; Adilla Susungi; Sylvain Conchon (CoRR, 2020)

Assigning Safe Executed Systems to Meanings. - Lilian Burdy; David Déharbe; Denis Sabatier (RSSRail, 2022)