Fabien Belmonte

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 2

Top Topics

Safety Analysis

Formal Verification

Belief Functions

Engineering Problems

Top Venues

SAFECOMP Workshops

University of Technology of Compiègne, France (PHD)

Education History

University of Technology of Compiègne, France

PHD

Publications

Camille Parillaud, Yoann Fonteneau, Fabien Belmonte
Interlocking Formal Verification at Alstom Signalling. RSSRail (2019)
Xabier Larrucea, Fabien Belmonte, Adam Welc, Tao Xie
Reliability Engineering. IEEE Softw. 34 (4) (2017)
Sunil Nair, Jose Luis de la Vara, Alberto Melzi, Giorgio Tagliaferri, Laurent de-la-Beaujardiere, Fabien Belmonte
Safety Evidence Traceability: Problem Analysis and Model. REFSQ (2014)
Fabien Belmonte, Elie Soubiran
A Model Based Approach for Safety Analysis. SAFECOMP Workshops (2012)
Felipe Aguirre, Mohamed Sallak, Walter Schön, Fabien Belmonte
A Quantitative Study of the Occurrence of a Railway Accident Based on Belief Functions. Belief Functions (2012)
Fabien Belmonte, Walter Schön, Laurent Heurley, Robert Capel
Interdisciplinary safety analysis of complex socio-technological systems based on the functional resonance accident model: An application to railway trafficsupervision. Reliab. Eng. Syst. Saf. 96 (2) (2011)
Daniela Cancila, François Terrier, Fabien Belmonte, Hubert Dubois, Huáscar Espinoza, Sébastien Gérard, Arnaud Cuccuru
SOPHIA: a Modeling Language for Model-Based Safety Engineering. ACES-MB@MoDELS (2009)
Fabien Belmonte, Jean-Louis Boulanger, Walter Schön
Human reliability analysis for automatic train supervision. IFAC HMS (2007)