| Using stochastic Petri nets for level-crossing collision risk assessment M Ghazel IEEE transactions on intelligent transportation systems 10 (4), 668-677, 2009 | 77 | 2009 |
| Formalizing a subset of ERTMS/ETCS specifications for verification purposes M Ghazel Transportation research part C: emerging technologies 42, 60-75, 2014 | 76 | 2014 |
| 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 | 56 | 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 | 52 | 2015 |
| 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 | 39 | 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 | 31 | 2014 |
| 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 | 30 | 2014 |
| 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 | 28 | 2005 |
| 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 | 26 | 2009 |
| 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 | 25 | 2017 |
| 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 | 24 | 2004 |
| 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 | 23 | 2017 |
| Developing accident prediction model for railway level crossings C Liang, M Ghazel, O Cazier, EM El-Koursi Safety science 101, 48-59, 2018 | 22 | 2018 |
| Diagnosability analysis of input/output discrete-event systems using model-checking A Boussif, M Ghazel IFAC-PapersOnLine 48 (7), 71-78, 2015 | 22 | 2015 |
| 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 | 21 | 2017 |
| A formal framework for the formalization of informal requirements F Peres, M Ghazel The International Journal of Soft Computing and Software Engineering 2 (8 …, 2012 | 20 | 2012 |
| 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 | 20 | 2009 |
| Combining enumerative and symbolic techniques for diagnosis of discrete-event systems A Boussif, M Ghazel, K Klai VECOS 2015-9th Workshop on Verification and Evaluation of Computer and …, 2015 | 17 | 2015 |
| A customizable railway benchmark to deal with fault diagnosis issues in DES M Ghazel, B Liu 2016 13th International Workshop on Discrete Event Systems (WODES), 177-182, 2016 | 16 | 2016 |
| Advanced model-based risk reasoning on automatic railway level crossings C Liang, M Ghazel, O Cazier, L Bouillaut Safety science 124, 104592, 2020 | 15 | 2020 |
Abderraouf BoussifSystem & Safety Engineering Researcher @IRT Railenium, Lille, FranceVerified email at railenium.eu
