| Formalizing a subset of ERTMS/ETCS specifications for verification purposes M Ghazel Transportation research part C: emerging technologies 42, 60-75, 2014 | 89 | 2014 |
| Using stochastic Petri nets for level-crossing collision risk assessment M Ghazel IEEE transactions on intelligent transportation systems 10 (4), 668-677, 2009 | 82 | 2009 |
| Model-based diagnosis of multi-track level crossing plants B Liu, M Ghazel, A Toguyéni IEEE Transactions on Intelligent Transportation Systems 17 (2), 546-556, 2015 | 63 | 2015 |
| State observer for DES under partial observation with time Petri nets M Ghazel, A Toguyéni, P Yim Discrete Event Dynamic Systems 19, 137-165, 2009 | 61 | 2009 |
| Validation of a new functional design of automatic protection systems at level crossings with model-checking techniques A Mekki, M Ghazel, A Toguyeni IEEE Transactions on Intelligent Transportation Systems 13 (2), 714-723, 2012 | 48 | 2012 |
| Two-half-barrier level crossings versus four-half-barrier level crossings: A comparative risk analysis study M Ghazel, EM El-Koursi IEEE Transactions on Intelligent Transportation Systems 15 (3), 1123-1133, 2014 | 41 | 2014 |
| Developing accident prediction model for railway level crossings C Liang, M Ghazel, O Cazier, EM El-Koursi Safety science 101, 48-59, 2018 | 37 | 2018 |
| Risk analysis on level crossings using a causal Bayesian network based approach C Liang, M Ghazel, O Cazier, EM El-Koursi Transportation research procedia 25, 2167-2181, 2017 | 35 | 2017 |
| A monitoring approach for discrete event systems based on a time Petri net model M Ghazel, A Toguyéni, M Bigand IFAC Proceedings Volumes 38 (1), 331-336, 2005 | 31 | 2005 |
| Toward an efficient approach for diagnosability analysis of DES modeled by labeled Petri nets B Liu, M Ghazel, A Toguyéni 2014 European Control Conference (ECC), 1293-1298, 2014 | 28 | 2014 |
| A control scheme for automatic level crossings under the ERTMS/ETCS level 2/3 operation M Ghazel IEEE Transactions on Intelligent Transportation Systems 18 (10), 2667-2680, 2017 | 27 | 2017 |
| Towards safer level crossings: existing recommendations, new applicable technologies and a proposed simulation model L Khoudour, M Ghazel, F Boukour, M Heddebaut, EM El-Koursi European transport research review 1 (1), 35-45, 2009 | 27 | 2009 |
| Advanced model-based risk reasoning on automatic railway level crossings C Liang, M Ghazel, O Cazier, L Bouillaut Safety science 124, 104592, 2020 | 26 | 2020 |
| Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches A Boussif, M Ghazel, JC Basilio Discrete Event Dynamic Systems 31, 59-102, 2021 | 25 | 2021 |
| A new insight on the risky behavior of motorists at railway level crossings: An observational field study C Liang, M Ghazel, O Cazier, EM El-Koursi Accident Analysis & Prevention 108, 181-188, 2017 | 23 | 2017 |
| Validating time-constrained systems using UML statecharts patterns and timed automata observers A Mekki, M Ghazel, A Toguyeni Third International Workshop on Verification and Evaluation of Computer and …, 2009 | 23 | 2009 |
| An UML approach for the metamodelling of automated production systems for monitoring purpose M Ghazel, A Toguyéni, M Bigand Computers in Industry 55 (3), 283-299, 2004 | 22 | 2004 |
| Diagnosability analysis of input/output discrete-event systems using model-checking A Boussif, M Ghazel IFAC-PapersOnLine 48 (7), 71-78, 2015 | 20 | 2015 |
| Analyzing risky behavior of motorists during the closure cycle of railway level crossings C Liang, M Ghazel, O Cazier, EM El-Koursi Safety science 110, 115-126, 2018 | 19 | 2018 |
| A formal framework for the formalization of informal requirements F Peres, J Yang, M Ghazel The International Journal of Soft Computing and Software Engineering 2 (8 …, 2012 | 19 | 2012 |
Abderraouf BoussifResearch Associate @ Univ. Gustave Eiffel - ESTASAdresse e-mail validée de univ-eiffel.fr
