Mohamed Ghazel

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

Mohamed Ghazel · Transportation Research Part C Emerging Technologies · 2014 · 64 citations

Computing, Computer Engineering, Computer Science +14

Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment

Mohamed Ghazel · IEEE Transactions on Intelligent Transportation Systems · 2009 · 64 citations

Public Health, Risk Management, Systems Engineering +17

State Observer for DES Under Partial Observation with Time Petri Nets

Mohamed Ghazel, Armand Toguyéni, Pascal Yim · Discrete Event Dynamic Systems · 2009 · 51 citations · Full text

Computing, Computer Systems, Systems Engineering +15

Model-Based Diagnosis of Multi-Track Level Crossing Plants

Baisi Liu, Mohamed Ghazel, Armand Toguyéni · IEEE Transactions on Intelligent Transportation Systems · 2015 · 47 citations

Engineering, Computer Science, Systems Engineering +17

Developing accident prediction model for railway level crossings

Ci Liang, Mohamed Ghazel, Olivier Cazier et al. · Safety Science · 2017 · 36 citations · Full text

Engineering, Civil Engineering, Safety Engineering +13