| Implementation of a model-oriented approach for supporting safe integration of GNSS-based virtual balises in ERTMS/ETCS level 3 O Himrane, J Beugin, M Ghazel IEEE Open Journal of Intelligent Transportation Systems 4, 294-310, 2023 | 11 | 2023 |
| Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms O Himrane, A Ourghanlian, S Amari International Journal of Control 95 (2), 419-431, 2022 | 10 | 2022 |
| Toward formal safety and performance evaluation of GNSS-based railway localisation function O Himrane, J Beugin, M Ghazel IFAC-PapersOnLine 54 (2), 159-166, 2021 | 9 | 2021 |
| Towards a model-based safety assessment of railway operation using GNSS localization O Himrane, J Beugin, M Ghazel Proc. 30th European Safety and Reliability Conference and the 15th …, 2020 | 5 | 2020 |
| Contribution to safety and operational performance evaluation of GNSS-based railway localization systems using a formal model-based approach O Himrane Université de Lille, 2022 | 2 | 2022 |
| From French National Signaling Systems to ERTMS: Considering the Evolution of Track-Side Systems DI de Almeida Pereira, O Himrane, P Bon, J Beugin International Journal of Signal Processing Systems 9 (2), pp11-16, 2021 | 1 | 2021 |
| Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS O Himrane, J Beugin, M Ghazel Congrès Lambda Mu 22 «Les risques au cœur des transitions»(e-congrès)-22e …, 2020 | 1 | 2020 |
| Quel rôle pour la SOTIF (ISO 21448: 2022) dans la démonstration de sécurité des trains autonomes? A Tonk, O Himrane, A Boussif Congrès Lambda Mu 24, 2024 | | 2024 |
| A Methodology of Elicitation of Safety Requirements of Artificial Intelligence bases Functions in Railway A Mahtani, I Sassi, O Himrane, A Boussif Transport Research Arena, 2024 | | 2024 |
Mohamed GhazelDirecteur du laboratoire ESTAS, COSYS (ex-IFSTTAR), Université Gustave EiffelVerified email at univ-eiffel.fr