Combination of Static and Dynamic Analyses for the Certification of Avionics Software. - Antoine Ferlin; Virginie Wiels (ISSRE Workshops, 2012)

Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces. - Antoine Ferlin; Virginie Wiels; Philippe Bon (Int. J. Comput. Commun. Control, 2016)

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)