Denis Sabatier

According to our database, Denis Sabatier authored at least 10 papers between 1999 and 2025.

Collaborative distances:

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

2025

Localization of Autonomous Guided Vehicles in Dynamic Environments Using Chipless RFID.

Raymundo de Amorim, Ashkan Azarfar, Zeshan Ali, Francois Gautier, Louis Gautier, Guillaume Gérin, Arcady Ruvidic, Denis Sabatier, Etienne Perret

Proceedings of the IEEE International Conference on RFID Technology and Applications, 2025

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

1999

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

Proceedings of the FM'99 - Formal Methods, 1999