Login / Signup
Antoine Ferlin
ORCID
Publication Activity (10 Years)
Years Active: 2012-2018
Publications (10 Years): 2
Top Topics
Regression Analysis
Life Cycle
Hardware Design
Temporal Properties
Top Venues
ISSRE Workshops
Int. J. Comput. Commun. Control
IEEE Trans. Intell. Transp. Syst.
</>
Publications
</>
Antoine Ferlin
,
Siqi Qiu
,
Philippe Bon
,
Mohamed Sallak
,
Simon Collart Dutilleul
,
Walter Schön
,
Zohra Cherfi-Boulanger
An Automated Method for the Study of Human Reliability in Railway Supervision Systems.
IEEE Trans. Intell. Transp. Syst.
19 (10) (2018)
Antoine Ferlin
,
Virginie Wiels
,
Philippe Bon
Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces.
Int. J. Comput. Commun. Control
11 (5) (2016)
Antoine Ferlin
,
Virginie Wiels
Combination of Static and Dynamic Analyses for the Certification of Avionics Software.
ISSRE Workshops
(2012)