Yoann Fonteneau

According to our database, Yoann Fonteneau authored at least 6 papers between 2015 and 2023.

Collaborative distances:

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

2023

Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems.

Alexandra Halchin, Adja Ndeye Sylla, Sarah Benyagoub, Abderrahmane Feliachi, Yoann Fonteneau, Sven Leger

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

2019

Interlocking Formal Verification at Alstom Signalling.

Camille Parillaud, Yoann Fonteneau, Fabien Belmonte

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

2018

Integrated formal verification of safety-critical software.

Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau

Int. J. Softw. Tools Technol. Transf., 2018

2016

S3: Proving the Safety of Critical Systems.

Nicolas Breton, Yoann Fonteneau

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

Formal Verification of a Rover Anti-collision System.

Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2015

Formal Verification of Industrial Critical Software.

Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau, Matthias Güdemann

Proceedings of the Formal Methods for Industrial Critical Systems, 2015