Scholar
Mohamed Ghazel
Google Scholar ID: Rwah7Z8AAAAJ
Directeur du laboratoire ESTAS, COSYS (ex-IFSTTAR), Université Gustave Eiffel
Citations & Impact
Citations
833
H-index
17
i10-index
29
Publications
20
Co-authors
7
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- 1. Belgacem Ben Hedia, Mohamed Ghazel, Bruno Monsuez. Verification and Evaluation of Computer and Communication Systems. 17th International Conference, VECoS 2024.
- 2. Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel. Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency. 2025.
- 3. Ci Liang, Mohamed Ghazel, Wei Zheng, Wei Chen. Dynamic Cumulative Human-Like Brake Control Modeling for Autonomous Vehicle Collision Analysis. IEEE Transactions on Vehicular Technology, 2025.
- 4. Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel. ERTMS/ETCS L3: Usable Formal Models for the 'Loss of Train Integrity' Operation Scenario. 2024.
- 5. Amira Chouchane, Mohamed Ghazel. An Efficient Algorithm for K -Diagnosability Analysis of Bounded and Unbounded Petri Nets. WODES'2024.
Research Experience
- Director of ESTAS Laboratory, responsible for evaluating automated transport systems and their safety. Has presented research at multiple international conferences.
Background
- Research Interests: Safety and interoperability in guided transportation systems; Field: Verification and evaluation of computer and communication systems.
