Mohamed Ghazel

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 26

Top Topics

Formal Verification

Fault Diagnosis

Top Venues

Int. J. Crit. Comput. Based Syst.

IEEE Trans. Intell. Transp. Syst.

SAFECOMP Workshops

Publications

Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
A Review of Abstraction Methods Toward Verifying Neural Networks. ACM Trans. Embed. Comput. Syst. 23 (4) (2024)
Amira Chouchane, Mohamed Ghazel
Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques. Autom. 162 (2024)
Ci Liang, Mohamed Ghazel, Yusheng Ci, Nour-Eddin El Faouzi, Rui Wang, Wei Zheng
Rear-End Collision Risk Analysis for Autonomous Driving. SAFECOMP Workshops (2023)
Amira Chouchane, Mohamed Ghazel, Abderraouf Boussif
-diagnosability analysis of bounded and unbounded Petri nets using linear optimization. Autom. 147 (2023)
Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel
A Sound Abstraction Method Towards Efficient Neural Networks Verification. VECoS (2023)
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
Interval Weight-Based Abstraction for Neural Network Verification. SAFECOMP Workshops (2022)
Abderraouf Boussif, Mohamed Ghazel, João Carlos Basilio
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches. Discret. Event Dyn. Syst. 31 (1) (2021)
Monia Ettouil, Habib Smei, Abderrazak Jemai, Mohamed Ghazel
Codesign of an IoT Using a Metaheuristic IP. IINTEC (2018)
Abderraouf Boussif, Mohamed Ghazel
Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking. Int. J. Crit. Comput. Based Syst. 8 (2) (2018)
Abderraouf Boussif, Mohamed Ghazel
Model-Based Monitoring of a Train Passenger Access System. IEEE Access 6 (2018)
Francesco Basile, Gianmaria De Tommasi, Claudio Sterle, Abderraouf Boussif, Mohamed Ghazel
Efficient diagnosability assessment via ILP optimization: a railway benchmark. ETFA (2018)
Abderraouf Boussif, Mohamed Ghazel, Kais Klai
Fault diagnosis of discrete-event systems based on the symbolic observation graph. Int. J. Crit. Comput. Based Syst. 8 (2) (2018)
Abderraouf Boussif, Baisi Liu, Mohamed Ghazel
An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems. DX (2017)
Abderraouf Boussif, Mohamed Ghazel
An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study. VECoS (2017)
Mohamed Ghazel
A Control Scheme for Automatic Level Crossings Under the ERTMS/ETCS Level 2/3 Operation. IEEE Trans. Intell. Transp. Syst. 18 (10) (2017)
Abderraouf Boussif, Mohamed Ghazel
A diagnoser-based approach for intermittent fault diagnosis of discrete-event systems. ACC (2017)
Ci Liang, Mohamed Ghazel, Olivier Cazier, Laurent Bouillaut, El-Miloudi El-Koursi
Bayesian Network Modeling Applied on Railway Level Crossing Safety. RSSRail (2017)
Florent Peres, Mohamed Ghazel
A µ-calculus formulation of the diagnosability of discrete event systems. Int. J. Crit. Comput. Based Syst. 6 (4) (2016)
Baisi Liu, Mohamed Ghazel, Armand Toguyéni
Model-Based Diagnosis of Multi-Track Level Crossing Plants. IEEE Trans. Intell. Transp. Syst. 17 (2) (2016)
Mohamed Ghazel, Baisi Liu
A customizable railway benchmark to deal with fault diagnosis issues in DES. WODES (2016)
Abderraouf Boussif, Mohamed Ghazel
Intermittent fault diagnosis of industrial systems in a model-checking framework. ICPHM (2016)
Abderraouf Boussif, Baisi Liu, Mohamed Ghazel
A twin-plant based approach for diagnosability analysis of intermittent failures. WODES (2016)
Abderraouf Boussif, Mohamed Ghazel
Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study. VECoS (2016)
Baisi Liu, Mohamed Ghazel
Petri Net Diagnosability Analyzer. IDT (2016)
Abderraouf Boussif, Mohamed Ghazel, Kais Klai
Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems. VECoS (2015)
Mohamed Ghazel, Jing Yang, El-Miloudi El-Koursi
A pattern-based method for refining and formalizing informal specifications in critical control systems. J. Innov. Digit. Ecosyst. 2 (1-2) (2015)
Mohamed Ghazel, El-Miloudi El-Koursi
Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study. IEEE Trans. Intell. Transp. Syst. 15 (3) (2014)
Baisi Liu, Mohamed Ghazel, Armand Toguyéni
OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets. ADECS @ Petri Nets (2014)
Mohamed Ghazel, Florent Peres
A µ-Calculus Framework for the Diagnosability of Discrete Event Systems. VECoS (2014)
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni
Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques. IEEE Trans. Intell. Transp. Syst. 13 (2) (2012)
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni
Patterns for Temporal Requirements Engineering - A Level Crossing Case Study. ICINCO (1) (2010)
Mohamed Ghazel, Ahmed Mekki
Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems. Software Engineering Research and Practice (2010)
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni
Timed Specification Patterns for System Validation: A Railway Case Study. ICINCO (Selected Papers) (2010)
Mohamed Ghazel, Malek Masmoudi, Armand Toguyéni
Verification of temporal requirements of complex systems using UML patterns, application to a railway control example. SoSE (2009)
Mohamed Ghazel, Armand Toguyéni, Pascal Yim
State Observer for DES Under Partial Observation with Time Petri Nets. Discret. Event Dyn. Syst. 19 (2) (2009)
Mohamed Ghazel
Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment. IEEE Trans. Intell. Transp. Syst. 10 (4) (2009)
Mohamed Ghazel, El-Miloudi El-Koursi
Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design. SoSE (2007)
Mohamed Ghazel, Armand Toguyéni, Michel Bigand
A semi-formal approach to build the functional graph of an automated production system for supervision purposes. Int. J. Comput. Integr. Manuf. 19 (3) (2006)
Mohamed Ghazel, Armand Toguyéni, Michel Bigand
An UML approach for the metamodelling of automated production systems for monitoring purpose. Comput. Ind. 55 (3) (2004)
Mohamed Ghazel, Armand Toguyéni, Michel Bigand
UML modelling approach to build an information system for automated production systems. ISPE CE (2003)