Follow
Mohamed Ghazel
Mohamed Ghazel
Directeur du laboratoire ESTAS, COSYS (ex-IFSTTAR), Université Gustave Eiffel
Verified email at univ-eiffel.fr - Homepage
Title
Cited by
Cited by
Year
Formalizing a subset of ERTMS/ETCS specifications for verification purposes
M Ghazel
Transportation research part C: emerging technologies 42, 60-75, 2014
882014
Using stochastic Petri nets for level-crossing collision risk assessment
M Ghazel
IEEE transactions on intelligent transportation systems 10 (4), 668-677, 2009
812009
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
622015
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
602009
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
442012
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
372014
Developing accident prediction model for railway level crossings
C Liang, M Ghazel, O Cazier, EM El-Koursi
Safety science 101, 48-59, 2018
352018
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
342017
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
312014
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
302005
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
292009
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
272017
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
242021
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
232017
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
232004
Advanced model-based risk reasoning on automatic railway level crossings
C Liang, M Ghazel, O Cazier, L Bouillaut
Safety science 124, 104592, 2020
222020
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
222009
Diagnosability analysis of input/output discrete-event systems using model-checking
A Boussif, M Ghazel
IFAC-PapersOnLine 48 (7), 71-78, 2015
212015
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
192012
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
182018
The system can't perform the operation now. Try again later.
Articles 1–20