UML modelling approach to build an information system for automated production systems. - Mohamed Ghazel; Armand Toguyéni; Michel Bigand (CE, 2003)

An UML approach for the metamodelling of automated production systems for monitoring purpose. - Mohamed Ghazel; Armand Toguyéni; Michel Bigand (Comput. Ind., 2004)

A semi-formal approach to build the functional graph of an automated production system for supervision purposes. - Mohamed Ghazel; Armand Toguyéni; Michel Bigand (Int. J. Comput. Integr. Manuf., 2006)

Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design. - Mohamed Ghazel; El-Miloudi El-Koursi (SoSE, 2007)

Verification of temporal requirements of complex systems using UML patterns, application to a railway control example. - Mohamed Ghazel; Malek Masmoudi; Armand Toguyéni (SoSE, 2009)

State Observer for DES Under Partial Observation with Time Petri Nets. - Mohamed Ghazel; Armand Toguyéni; Pascal Yim (Discret. Event Dyn. Syst., 2009)

Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment. - Mohamed Ghazel (IEEE Trans. Intell. Transp. Syst., 2009)

Patterns for Temporal Requirements Engineering - A Level Crossing Case Study. - Ahmed Mekki; Mohamed Ghazel; Armand Toguyéni (ICINCO (1), 2010)

Timed Specification Patterns for System Validation: A Railway Case Study. - Ahmed Mekki; Mohamed Ghazel; Armand Toguyéni (ICINCO (Selected Papers), 2010)

Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems. - Mohamed Ghazel; Ahmed Mekki (Software Engineering Research and Practice, 2010)

Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques. - Ahmed Mekki; Mohamed Ghazel; Armand Toguyéni (IEEE Trans. Intell. Transp. Syst., 2012)

OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets. - Baisi Liu; Mohamed Ghazel; Armand Toguyéni (ADECS @ Petri Nets, 2014)

A µ-Calculus Framework for the Diagnosability of Discrete Event Systems. - Mohamed Ghazel; Florent Peres (VECoS, 2014)

Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study. - Mohamed Ghazel; El-Miloudi El-Koursi (IEEE Trans. Intell. Transp. Syst., 2014)

Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems. - Abderraouf Boussif; Mohamed Ghazel; Kais Klai (VECoS, 2015)

A pattern-based method for refining and formalizing informal specifications in critical control systems. - Mohamed Ghazel; Jing Yang; El-Miloudi El-Koursi (J. Innov. Digit. Ecosyst., 2015)

Intermittent fault diagnosis of industrial systems in a model-checking framework. - Abderraouf Boussif; Mohamed Ghazel (ICPHM, 2016)

Petri Net Diagnosability Analyzer. - Baisi Liu; Mohamed Ghazel (IDT, 2016)

Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study. - Abderraouf Boussif; Mohamed Ghazel (VECoS, 2016)

A twin-plant based approach for diagnosability analysis of intermittent failures. - Abderraouf Boussif; Baisi Liu; Mohamed Ghazel (WODES, 2016)

A customizable railway benchmark to deal with fault diagnosis issues in DES. - Mohamed Ghazel; Baisi Liu (WODES, 2016)

A µ-calculus formulation of the diagnosability of discrete event systems. - Florent Peres; Mohamed Ghazel (Int. J. Crit. Comput. Based Syst., 2016)

Model-Based Diagnosis of Multi-Track Level Crossing Plants. - Baisi Liu; Mohamed Ghazel; Armand Toguyéni (IEEE Trans. Intell. Transp. Syst., 2016)

A diagnoser-based approach for intermittent fault diagnosis of discrete-event systems. - Abderraouf Boussif; Mohamed Ghazel (ACC, 2017)

An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems. - Abderraouf Boussif; Baisi Liu; Mohamed Ghazel (DX, 2017)

Bayesian Network Modeling Applied on Railway Level Crossing Safety. - Ci Liang; Mohamed Ghazel; Olivier Cazier; Laurent Bouillaut; El-Miloudi El-Koursi (RSSRail, 2017)

An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study. - Abderraouf Boussif; Mohamed Ghazel (VECoS, 2017)

A Control Scheme for Automatic Level Crossings Under the ERTMS/ETCS Level 2/3 Operation. - Mohamed Ghazel (IEEE Trans. Intell. Transp. Syst., 2017)

Efficient diagnosability assessment via ILP optimization: a railway benchmark. - Francesco Basile; Gianmaria De Tommasi; Claudio Sterle; Abderraouf Boussif; Mohamed Ghazel (ETFA, 2018)

Codesign of an IoT Using a Metaheuristic IP. - Monia Ettouil; Habib Smei; Abderrazak Jemai; Mohamed Ghazel (IINTEC, 2018)

Model-Based Monitoring of a Train Passenger Access System. - Abderraouf Boussif; Mohamed Ghazel (IEEE Access, 2018)

Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking. - Abderraouf Boussif; Mohamed Ghazel (Int. J. Crit. Comput. Based Syst., 2018)

Fault diagnosis of discrete-event systems based on the symbolic observation graph. - Abderraouf Boussif; Mohamed Ghazel; Kais Klai (Int. J. Crit. Comput. Based Syst., 2018)

Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches. - Abderraouf Boussif; Mohamed Ghazel; João Carlos Basilio (Discret. Event Dyn. Syst., 2021)

Interval Weight-Based Abstraction for Neural Network Verification. - Fateh Boudardara; Abderraouf Boussif; Pierre-Jean Meyer; Mohamed Ghazel (SAFECOMP Workshops, 2022)

Rear-End Collision Risk Analysis for Autonomous Driving. - Ci Liang; Mohamed Ghazel; Yusheng Ci; Nour-Eddin El Faouzi; Rui Wang 042; Wei Zheng (SAFECOMP Workshops, 2023)

A Sound Abstraction Method Towards Efficient Neural Networks Verification. - Fateh Boudardara; Abderraouf Boussif; Mohamed Ghazel (VECoS, 2023)

K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization. - Amira Chouchane; Mohamed Ghazel; Abderraouf Boussif (Autom., 2023)

An Algebraic Formulation of K-step Opacity Problem in Labeled Petri Net Models. - Amira Chouchane; Mohamed Ghazel (CoDIT, 2024)

Monitoring of Neural Network Classifiers Using Neuron Activation Paths. - Fateh Boudardara; Abderraouf Boussif; Pierre-Jean Meyer; Mohamed Ghazel (VECoS, 2024)

A High Parallelization Method for Automated Formal Verification of Deep Neural Networks. - Imene Ben Hafaiedh; Amira Chouchane; Amani Elaoud; Linda Lamouchi; Mohamed Ghazel (VECoS, 2024)

ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation Scenario. - Rim Saddem-Yagoubi; Julie Beugin; Mohamed Ghazel (VECoS, 2024)

Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques. - Amira Chouchane; Mohamed Ghazel (Autom., 2024)

A Review of Abstraction Methods Toward Verifying Neural Networks. - Fateh Boudardara; Abderraouf Boussif; Pierre-Jean Meyer; Mohamed Ghazel (ACM Trans. Embed. Comput. Syst., 2024)

A Proven Translation from a UML State Machine Subset to Timed Automata. - Florent Peres; Mohamed Ghazel (ACM Trans. Embed. Comput. Syst., 2024)

INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification. - Fateh Boudardara; Abderraouf Boussif; Pierre-Jean Meyer; Mohamed Ghazel (IEEE Trans. Neural Networks Learn. Syst., 2024)

Dynamic Cumulative Human-Like Brake Control Modeling for Autonomous Vehicle Collision Analysis. - Ci Liang; Mohamed Ghazel; Wei Zheng; Wei Chen (IEEE Trans. Veh. Technol., 2025)

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification. - Abdelrahman Sayed Sayed; Pierre-Jean Meyer; Mohamed Ghazel (CoRR, 2025)