Yoann Fonteneau

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 6

Top Topics

Industrial Strength

Formal Verification

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Alexandra Halchin, Adja Ndeye Sylla, Sarah Benyagoub, Abderrahmane Feliachi, Yoann Fonteneau, Sven Leger
Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems. RSSRail (2023)
Camille Parillaud, Yoann Fonteneau, Fabien Belmonte
Interlocking Formal Verification at Alstom Signalling. RSSRail (2019)
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)