Mohamed Ghazel

According to our database, Mohamed Ghazel authored at least 43 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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., December, 2024

A Proven Translation from a UML State Machine Subset to Timed Automata.

Florent Peres, Mohamed Ghazel

ACM Trans. Embed. Comput. Syst., September, 2024

A Review of Abstraction Methods Toward Verifying Neural Networks.

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

ACM Trans. Embed. Comput. Syst., July, 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

An Algebraic Formulation of K-step Opacity Problem in Labeled Petri Net Models.

Amira Chouchane, Mohamed Ghazel

Proceedings of the 10th International Conference on Control, 2024

2023

<i>K</i>-diagnosability analysis of bounded and unbounded Petri nets using linear optimization.

Amira Chouchane, Mohamed Ghazel, Abderraouf Boussif

Autom., 2023

A Sound Abstraction Method Towards Efficient Neural Networks Verification.

Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023

Rear-End Collision Risk Analysis for Autonomous Driving.

Ci Liang, Mohamed Ghazel, Yusheng Ci, Nour-Eddin El Faouzi, Rui Wang, Wei Zheng

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2022

Interval Weight-Based Abstraction for Neural Network Verification.

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

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, 2022

2021

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

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

Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking.

Abderraouf Boussif, Mohamed Ghazel

Int. J. Crit. Comput. Based Syst., 2018

Model-Based Monitoring of a Train Passenger Access System.

Abderraouf Boussif, Mohamed Ghazel

IEEE Access, 2018

Codesign of an IoT Using a Metaheuristic IP.

Monia Ettouil, Habib Smei, Abderrazak Jemai, Mohamed Ghazel

Proceedings of the International Conference on Internet of Things, 2018

Efficient diagnosability assessment via ILP optimization: a railway benchmark.

Francesco Basile, Gianmaria De Tommasi, Claudio Sterle, Abderraouf Boussif, Mohamed Ghazel

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

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

Mohamed Ghazel

IEEE Trans. Intell. Transp. Syst., 2017

An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study.

Abderraouf Boussif, Mohamed Ghazel

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

Bayesian Network Modeling Applied on Railway Level Crossing Safety.

Ci Liang, Mohamed Ghazel, Olivier Cazier, Laurent Bouillaut, El-Miloudi El-Koursi

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems.

Abderraouf Boussif, Baisi Liu, Mohamed Ghazel

Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

A diagnoser-based approach for intermittent fault diagnosis of discrete-event systems.

Abderraouf Boussif, Mohamed Ghazel

Proceedings of the 2017 American Control Conference, 2017

2016

Model-Based Diagnosis of Multi-Track Level Crossing Plants.

Baisi Liu, Mohamed Ghazel, Armand Toguyéni

IEEE Trans. Intell. Transp. Syst., 2016

A µ-calculus formulation of the diagnosability of discrete event systems.

Florent Peres, Mohamed Ghazel

Int. J. Crit. Comput. Based Syst., 2016

A customizable railway benchmark to deal with fault diagnosis issues in DES.

Mohamed Ghazel, Baisi Liu

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

A twin-plant based approach for diagnosability analysis of intermittent failures.

Abderraouf Boussif, Baisi Liu, Mohamed Ghazel

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study.

Abderraouf Boussif, Mohamed Ghazel

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Petri Net Diagnosability Analyzer.

Baisi Liu, Mohamed Ghazel

Proceedings of the 11th International Design & Test Symposium, 2016

Intermittent fault diagnosis of industrial systems in a model-checking framework.

Abderraouf Boussif, Mohamed Ghazel

Proceedings of the IEEE International Conference on Prognostics and Health Management, 2016

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

Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems.

Abderraouf Boussif, Mohamed Ghazel, Kais Klai

Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

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

A µ-Calculus Framework for the Diagnosability of Discrete Event Systems.

Mohamed Ghazel, Florent Peres

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets.

Baisi Liu, Mohamed Ghazel, Armand Toguyéni

Proceedings of the ADECS 2014, 2014

2012

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

2010

Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems.

Mohamed Ghazel, Ahmed Mekki

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Timed Specification Patterns for System Validation: A Railway Case Study.

Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni

Proceedings of the Informatics in Control, Automation and Robotics, 2010

Patterns for Temporal Requirements Engineering - A Level Crossing Case Study.

Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni

Proceedings of the ICINCO 2010, 2010

2009

Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment.

Mohamed Ghazel

IEEE Trans. Intell. Transp. Syst., 2009

State Observer for DES Under Partial Observation with Time Petri Nets.

Mohamed Ghazel, Armand Toguyéni, Pascal Yim

Discret. Event Dyn. Syst., 2009

Verification of temporal requirements of complex systems using UML patterns, application to a railway control example.

Mohamed Ghazel, Malek Masmoudi, Armand Toguyéni

Proceedings of the 4th IEEE International Conference on System of Systems Engineering, 2009

2007

Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design.

Mohamed Ghazel, El-Miloudi El-Koursi

Proceedings of the 2nd IEEE International Conference on System of Systems Engineering, 2007

2006

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

2004

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

Mohamed Ghazel, Armand Toguyéni, Michel Bigand

Comput. Ind., 2004

2003

UML modelling approach to build an information system for automated production systems.

Mohamed Ghazel, Armand Toguyéni, Michel Bigand

Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003