Denis Sabatier

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 6

Top Topics

Top Venues

Publications

Lilian Burdy, David Déharbe, Denis Sabatier
Assigning Safe Executed Systems to Meanings. RSSRail (2022)
Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy
A Safety Flasher Developed with the CLEARSY Safety Platform. FMICS (2020)
Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier
Ensuring Safety with System Level Formal Modelling. ISoLA (3) (2020)
Thierry Lecomte, David Déharbe, Denis Sabatier, Étienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon
Low Cost High Integrity Platform. CoRR (2020)
Mathieu Comptier, David Déharbe, Julien Molinero Perez, Louis Mussat, Pierre Thibaut, Denis Sabatier
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B. RSSRail (2017)
Denis Sabatier
Using Formal Proof and B Method at System Level for Industrial Projects. RSSRail (2016)
Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry
Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project. ABZ (2012)
Denis Sabatier
Reusing formal models - Domain capitalization via formalization. IFIP Congress Topical Sessions (2004)
Denis Sabatier, Pierre Lartigue
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. Formal Methods Syst. Des. 17 (3) (2000)
Denis Sabatier, Pierre Lartigue
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. World Congress on Formal Methods (1999)