Denis Sabatier

11 papers C 2Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Localization of Autonomous Guided Vehicles in Dynamic Environments Using Chipless RFID.
RFID-TA
Raymundo de Amorim, Ashkan Azarfar, Zeshan Ali, Francois Gautier, Louis Gautier, Guillaume Gérin, Arcady Ruvidic, Denis Sabatier, Etienne Perret
2022 — conf
Assigning Safe Executed Systems to Meanings.
RSSRail
Lilian Burdy, David Déharbe, Denis Sabatier
2020 C conf
A Safety Flasher Developed with the CLEARSY Safety Platform.
FMICS
Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy
2020 — conf
Ensuring Safety with System Level Formal Modelling.
ISoLA (3)
Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier
2020 J jnl
Low Cost High Integrity Platform.
CoRR
Thierry Lecomte, David Déharbe, Denis Sabatier, Étienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon
2017 — conf
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B.
RSSRail
Mathieu Comptier, David Déharbe, Julien Molinero Perez, Louis Mussat, Pierre Thibaut, Denis Sabatier
2016 — conf
Using Formal Proof and B Method at System Level for Industrial Projects.
RSSRail
Denis Sabatier
2012 C conf
Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project.
ABZ
Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry
2004 — conf
Reusing formal models - Domain capitalization via formalization.
IFIP Congress Topical Sessions
Denis Sabatier
2000 J jnl
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.
Denis Sabatier, Pierre Lartigue
1999 — conf
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
Denis Sabatier, Pierre Lartigue