Fabien Belmonte

According to our database, Fabien Belmonte authored at least 9 papers between 2007 and 2019.

Collaborative distances:

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

2019

Interlocking Formal Verification at Alstom Signalling.

Camille Parillaud, Yoann Fonteneau, Fabien Belmonte

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

2017

Reliability Engineering.

Xabier Larrucea, Fabien Belmonte, Adam Welc, Tao Xie

IEEE Softw., 2017

2014

Safety Evidence Traceability: Problem Analysis and Model.

Sunil Nair, Jose Luis de la Vara, Alberto Melzi, Giorgio Tagliaferri, Laurent de-la-Beaujardiere, Fabien Belmonte

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

2012

A Model Based Approach for Safety Analysis.

Fabien Belmonte, Elie Soubiran

Proceedings of the Computer Safety, Reliability, and Security, 2012

A Quantitative Study of the Occurrence of a Railway Accident Based on Belief Functions.

Felipe Aguirre, Mohamed Sallak, Walter Schön, Fabien Belmonte

Proceedings of the Belief Functions: Theory and Applications, 2012

2011

Interdisciplinary safety analysis of complex socio-technological systems based on the functional resonance accident model: An application to railway trafficsupervision.

Fabien Belmonte, Walter Schön, Laurent Heurley, Robert Capel

Reliab. Eng. Syst. Saf., 2011

2009

SOPHIA: a Modeling Language for Model-Based Safety Engineering.

Daniela Cancila, François Terrier, Fabien Belmonte, Hubert Dubois, Huáscar Espinoza, Sébastien Gérard, Arnaud Cuccuru

Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

2008

Impact des postes centraux de supervision de trafic ferroviaire sur la sécurité. (Impact of the automatic train supervision systems on safety).

Fabien Belmonte

PhD thesis, 2008

2007

Human reliability analysis for automatic train supervision.

Fabien Belmonte, Jean-Louis Boulanger, Walter Schön

Proceedings of the 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2007