Antoine Ferlin

According to our database, Antoine Ferlin authored at least 3 papers between 2012 and 2018.

Collaborative distances:

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

2018

An Automated Method for the Study of Human Reliability in Railway Supervision Systems.

Antoine Ferlin, Siqi Qiu, Philippe Bon, Mohamed Sallak, Simon Collart Dutilleul, Walter Schön, Zohra Cherfi-Boulanger

IEEE Trans. Intell. Transp. Syst., 2018

2016

Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces.

Antoine Ferlin, Virginie Wiels, Philippe Bon

Int. J. Comput. Commun. Control, 2016

2012

Combination of Static and Dynamic Analyses for the Certification of Avionics Software.

Antoine Ferlin, Virginie Wiels

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012