Assessment criteria for safety critical computer. - El-Miloudi El-Koursi; Ph. Meganck (SMC, 1998)

Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design. - Mohamed Ghazel; El-Miloudi El-Koursi (SoSE, 2007)

A New Selective Confidence Measure-Based Approach for Stereo Matching. - Nizar Fakhfakh; Louahdi Khoudour; El-Miloudi El-Koursi; Jacques Jacot; Alain Dufaux (KES (1), 2009)

Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System. - Joffrey Clarhaut; Etienne Lemaire; El-Miloudi El-Koursi (FORMS/FORMAT, 2010)

Robust 3D Objects Localization using Hierarchical Belief Propagation in Real World Environment. - Nizar Fakhfakh; Louahdi Khoudour; El-Miloudi El-Koursi; Jean-Luc Bruyelle; Alain Dufaux; Jacques Jacot (IPCV, 2010)

Background subtraction and 3D localization of moving and stationary obstacles at level crossings. - Nizar Fakhfakh; Louahdi Khoudour; El-Miloudi El-Koursi; Jean-Luc Bruyelle; Alain Dufaux; Jacques Jacot (IPTA, 2010)

3D Objects Localization Using Fuzzy Approach and Hierarchical Belief Propagation: Application at Level Crossings. - Nizar Fakhfakh; Louahdi Khoudour; El-Miloudi El-Koursi; Jean-Luc Bruyelle; Alain Dufaux; Jacques Jacot (EURASIP J. Image Video Process., 2011)

Sensitivity assessment to analyse dependability of a multisensor localisation system based on GNSS. - Cyril Legrand; Julie Beugin; Blaise Conrard; Juliette Marais; Marion Berbineau; El-Miloudi El-Koursi (ITST, 2013)

From Goal Modeling of Real-Time Control System to RT-DEVS Safety Properties Analysis. - Nesrine Darragi; El-Miloudi El-Koursi; Simon Collart Dutilleul (WODES, 2014)

Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study. - Mohamed Ghazel; El-Miloudi El-Koursi (IEEE Trans. Intell. Transp. Syst., 2014)

HCPN Modeling for ERTMS Requirements Specification. - Zakaryae Boudi; El-Miloudi El-Koursi; Simon Collart Dutilleul (HASE, 2015)

A pattern-based method for refining and formalizing informal specifications in critical control systems. - Mohamed Ghazel; Jing Yang; El-Miloudi El-Koursi (J. Innov. Digit. Ecosyst., 2015)

From extended integrity monitoring to the safety evaluation of satellite-based localisation system. - Cyril Legrand; Julie Beugin; Juliette Marais; Blaise Conrard; El-Miloudi El-Koursi; Marion Berbineau (Reliab. Eng. Syst. Saf., 2016)

Bayesian Network Modeling Applied on Railway Level Crossing Safety. - Ci Liang; Mohamed Ghazel; Olivier Cazier; Laurent Bouillaut; El-Miloudi El-Koursi (RSSRail, 2017)

Safety Appraisal of GNSS-Based Localization Systems Used in Train Spacing Control. - Julie Beugin; Cyril Legrand; Juliette Marais; Marion Berbineau; El-Miloudi El-Koursi (IEEE Access, 2018)

Graphical safety assurance case using Goal Structuring Notation (GSN) - challenges, opportunities and a framework for autonomous trains. - Mohammed Chelouati; Abderraouf Boussif; Julie Beugin; El-Miloudi El-Koursi (Reliab. Eng. Syst. Saf., 2023)

A Risk-Based Decision-Making Process for Autonomous Trains Using POMDP: Case of the Anti-Collision Function. - Mohammed Chelouati; Abderraouf Boussif; Julie Beugin; El-Miloudi El-Koursi (IEEE Access, 2024)