Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Denis Sabatier
Observed name:
Sabatier, Denis
OpenAlex ID:
A5074138386
Using Formal Proof and B Method at System Level for Industrial Projects
2016
·
Denis Sabatier
·
Lecture notes in computer science
·
40
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B
2017
·
Mathieu Comptier
, David Deharbe
, et al.
·
Lecture notes in computer science
·
39
UML-B Specification for Proven Embedded Systems Design
2004
·
Fredrik Bernin
, Michael Butler
, et al.
·
Springer eBooks
·
24
Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project
2012
·
Denis Sabatier
, Lilian Burdy
, et al.
·
Lecture notes in computer science
·
21
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications
2000
·
Denis Sabatier
, Pierre Lartigue
·
Formal Methods in System Design
·
20
Low Cost High Integrity Platform
2020
·
Lecomte, Thierry
, Deharbe, David
, et al.
·
arXiv (Cornell University)
·
8
PDF
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications
1999
·
Denis Sabatier
, Pierre Lartigue
·
Lecture notes in computer science
·
8
PDF
FDIR Strategy Validation with the B Method
2008
·
Denis Sabatier
, Brice Dellandrea
, et al.
·
6
A Safety Flasher Developed with the CLEARSY Safety Platform
2020
·
Thierry Lecomte
, Bruno Lavaud
, et al.
·
Lecture notes in computer science
·
4
Ensuring Safety with System Level Formal Modelling
2020
·
Thierry Lecomte
, Mathieu Comptier
, et al.
·
Lecture notes in computer science
·
4
Reusing Formal Models
2008
·
Denis Sabatier
·
Springer eBooks
·
2
Reusing formal models - Domain capitalization via formalization.
2004
·
Denis Sabatier
·
IFIP Congress
·
1
Localization of Autonomous Guided Vehicles in Dynamic Environments Using Chipless RFID
2025
·
Raymundo Amorim
, Ashkan Azarfar
, et al.
·
IEEE International Conference on RFID Technology and Applications (RFID-TA)
Assigning Safe Executed Systems to Meanings
2022
·
Lilian Burdy
, David Deharbe
, et al.
·
Lecture notes in computer science
Mathematical Proofs for the New York Subway
2014
·
Denis Sabatier
·
Wiley eBooks
'Safe Software' Need Not Be an Oxymoron
2005
·
George Hacken
, Sofia K. Georgiadis
, et al.
Adaptive Cruise Control Case Study Design Experiment
2004
·
Fredrik Bernin
, Michael Lundell
, et al.
·
Springer eBooks
Show more works
View as search
Works count:
18
Citation count:
177
H-index:
7
I10-index:
5
Year
Topic
Type
