Nicolas Breton

According to our database, Nicolas Breton authored at least 4 papers between 2015 and 2018.

Collaborative distances:

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

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