Sven Leger

According to our database, Sven Leger authored at least 2 papers between 2017 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

2017

OVADO - Enhancing Data Validation for Safety-Critical Railway Systems.

Manel Fredj, Sven Leger, Abderrahmane Feliachi, Julien Ordioni

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