Mohamed Ghazel - Publications, H-index & Citations

Mohamed Ghazel

université gustave eiffel

17H指数

145论文数

965被引数

收录论文 18

发表时间

GA2AD: a generalized adaptive adversarial training framework considering surrounding hybrid risk field for autonomous driving GA2AD：一种考虑周围混合风险场的自适应对抗训练框架，用于自动驾驶

Nature Communications

IF15.7

2026-07-16

OAAI

Haocheng Xu; Yusheng Ci; Yunfei Long; Ci Liang; Lina Wu; Xiqun Chen; Mohamed Ghazel; Lei Feng

Verification and Enforcement of Concealability and Diagnosability in Probabilistic Timed Automata 在概率时间自动机中对可隐藏性和可诊断性的验证与执行

IEEE Transactions on Automation Science and Engineering

IF6.4

2026-07-01

PREAI

Tareq Ahmad Al-Sarayrah; Sjood Ammen Daje; Ding Liu; Mohamed Ghazel; Zhiwu Li

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification 连接神经ODE与ResNet：安全性验证的正式误差界限

AI VERIFICATION, SAIV 2025

IF0

2026-01-01

PREAI

Sayed, Abdelrahman Sayed; Meyer, Pierre-Jean; Ghazel, Mohamed

INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification

IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS

IF8.9

2024-12-01

OAAI

Boudardara, Fateh; Boussif, Abderraouf; Meyer, Pierre-Jean; Ghazel, Mohamed

Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques

AUTOMATICA

IF5.9

2024-04-01

PREAI

Chouchane, Amira; Ghazel, Mohamed

Dynamic Cumulative Human-Like Brake Control Modeling for Autonomous Vehicle Collision Analysis

IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY

IF7.1

2024-01-01

PREAI

Liang, Ci; Ghazel, Mohamed; Zheng, Wei; Chen, Wei

Guest Editorial: Innovative control approaches for smart transportation systems 嘉宾社论: 智能交通系统的创新控制方法

CONTROL ENGINEERING PRACTICE

IF4.6

2023-08-01

OAAI

Siri, Silvia; Pasquale, Cecilia; Bhouri, Neila; De Schutter, Bart; Ghazel, Mohamed; Viti, Francesco

K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization

AUTOMATICA

IF5.9

2023-01-01

OAAI

Chouchane, Amira; Ghazel, Mohamed; Boussif, Abderraouf

Model-Based Monitoring of a Train Passenger Access System

IEEE ACCESS

IF3.6

2018-01-01

OAAI

Boussif, Abderraouf; Ghazel, Mohamed

A new insight on the risky behavior of motorists at railway level crossings: An observational field study 关于铁路平交道口驾驶员危险行为的新见解: 一项观察性现场研究

ACCIDENT ANALYSIS AND PREVENTION

IF6.2

2017-11-01

PREAI

Liang, Ci; Ghazel, Mohamed; Cazier, Olivier; El-Koursi, El-Miloudi

A Control Scheme for Automatic Level Crossings Under the ERTMS/ETCS Level 2/3 Operation

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS

IF8.4

2017-10-01

PREAI

Ghazel, Mohamed

Model-Based Diagnosis of Multi-Track Level Crossing Plants

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS

IF8.4

2016-02-01

PREAI

Liu, Baisi; Ghazel, Mohamed; Toguyeni, Armand

Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS

IF8.4

2014-06-01

PREAI

Ghazel, Mohamed; El-Koursi, El-Miloudi

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES

IF7.9

2014-05-01

PREAI

Ghazel, Mohamed

Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS

IF8.4

2012-06-01

PREAI

Mekki, Ahmed; Ghazel, Mohamed; Toguyeni, Armand

Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS

IF8.4

2009-12-01

PREAI

Ghazel, Mohamed

A semi-formal approach to build the functional graph of an automated production system for supervision purposes

INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING

IF4

2006-04-01

PREAI

Ghazel, M; Toguyéni, A; Bigand, M

An UML approach for the metamodelling of automated production systems for monitoring purpose

COMPUTERS IN INDUSTRY

IF9.1

2004-12-01

PREAI

Ghazel, M; Toguyéni, A; Bigand, M

研究方向