Nicolas Breton

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 3

Top Topics

Safety Analysis

Formal Verification

Software Systems

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau
Integrated formal verification of safety-critical software. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau
Formal Verification of a Rover Anti-collision System. FMICS-AVoCS (2016)
Nicolas Breton, Yoann Fonteneau
S3: Proving the Safety of Critical Systems. RSSRail (2016)
Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau, Matthias Güdemann
Formal Verification of Industrial Critical Software. FMICS (2015)