Denis Sabatier

According to our database, Denis Sabatier authored at least 9 papers between 2000 and 2022.

Collaborative distances:

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

2022

Assigning Safe Executed Systems to Meanings.

Lilian Burdy, David Déharbe, Denis Sabatier

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

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

Ensuring Safety with System Level Formal Modelling.

Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

A Safety Flasher Developed with the CLEARSY Safety Platform.

Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2017

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

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

2016

Using Formal Proof and B Method at System Level for Industrial Projects.

Denis Sabatier

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

2012

Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project.

Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry

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

2004

Reusing formal models - Domain capitalization via formalization.

Denis Sabatier

Proceedings of the Building the Information Society, 2004

2000

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