Mohamed Ghazel

51 papers C 14Journal 21Unranked 16
YearRankTypeTitle / Venue / Authors
2025 — conf
Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification.
SAIV
Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel
2025 J jnl
Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification.
CoRR
Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel
2025 J jnl
Dynamic Cumulative Human-Like Brake Control Modeling for Autonomous Vehicle Collision Analysis.
IEEE Trans. Veh. Technol.
Ci Liang, Mohamed Ghazel, Wei Zheng, Wei Chen
2025 J jnl
Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency.
CoRR
Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel
2025 C ed.
Verification and Evaluation of Computer and Communication Systems - 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024, Proceedings
VECoS
Belgacem Ben Hedia, Mohamed Ghazel, Bruno Monsuez
2024 C conf
A High Parallelization Method for Automated Formal Verification of Deep Neural Networks.
VECoS
Imene Ben Hafaiedh, Amira Chouchane, Amani Elaoud, Linda Lamouchi, Mohamed Ghazel
2024 J jnl
A Proven Translation from a UML State Machine Subset to Timed Automata.
ACM Trans. Embed. Comput. Syst.
Florent Peres, Mohamed Ghazel
2024 J jnl
A Review of Abstraction Methods Toward Verifying Neural Networks.
ACM Trans. Embed. Comput. Syst.
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
2024 C conf
An Algebraic Formulation of K-step Opacity Problem in Labeled Petri Net Models.
CoDIT
Amira Chouchane, Mohamed Ghazel
2024 C conf
ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation Scenario.
VECoS
Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel
2024 J jnl
Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques.
Autom.
Amira Chouchane, Mohamed Ghazel
2024 J jnl
INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification.
IEEE Trans. Neural Networks Learn. Syst.
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
2024 C conf
Monitoring of Neural Network Classifiers Using Neuron Activation Paths.
VECoS
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
2023 C conf
A Sound Abstraction Method Towards Efficient Neural Networks Verification.
VECoS
Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel
2023 — conf
Rear-End Collision Risk Analysis for Autonomous Driving.
SAFECOMP Workshops
Ci Liang, Mohamed Ghazel, Yusheng Ci, Nour-Eddin El Faouzi, Rui Wang, Wei Zheng
2022 — conf
Interval Weight-Based Abstraction for Neural Network Verification.
SAFECOMP Workshops
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
2021 J jnl
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches.
Discret. Event Dyn. Syst.
Abderraouf Boussif, Mohamed Ghazel, João Carlos Basilio
2018 — conf
Codesign of an IoT Using a Metaheuristic IP.
IINTEC
Monia Ettouil, Habib Smei, Abderrazak Jemai, Mohamed Ghazel
2018 C conf
Efficient diagnosability assessment via ILP optimization: a railway benchmark.
ETFA
Francesco Basile, Gianmaria De Tommasi, Claudio Sterle, Abderraouf Boussif, Mohamed Ghazel
2018 J jnl
Fault diagnosis of discrete-event systems based on the symbolic observation graph.
Int. J. Crit. Comput. Based Syst.
Abderraouf Boussif, Mohamed Ghazel, Kais Klai
2018 J jnl
Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking.
Int. J. Crit. Comput. Based Syst.
Abderraouf Boussif, Mohamed Ghazel
2018 J jnl
Model-Based Monitoring of a Train Passenger Access System.
IEEE Access
Abderraouf Boussif, Mohamed Ghazel
2017 J jnl
A Control Scheme for Automatic Level Crossings Under the ERTMS/ETCS Level 2/3 Operation.
IEEE Trans. Intell. Transp. Syst.
Mohamed Ghazel
2017 C conf
A diagnoser-based approach for intermittent fault diagnosis of discrete-event systems.
ACC
Abderraouf Boussif, Mohamed Ghazel
2017 C conf
An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems.
DX
Abderraouf Boussif, Baisi Liu, Mohamed Ghazel
2017 C conf
An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study.
VECoS
Abderraouf Boussif, Mohamed Ghazel
2017 — conf
Bayesian Network Modeling Applied on Railway Level Crossing Safety.
RSSRail
Ci Liang, Mohamed Ghazel, Olivier Cazier, Laurent Bouillaut, El-Miloudi El-Koursi
2016 — conf
A customizable railway benchmark to deal with fault diagnosis issues in DES.
WODES
Mohamed Ghazel, Baisi Liu
2016 — conf
A twin-plant based approach for diagnosability analysis of intermittent failures.
WODES
Abderraouf Boussif, Baisi Liu, Mohamed Ghazel
2016 J jnl
A µ-calculus formulation of the diagnosability of discrete event systems.
Int. J. Crit. Comput. Based Syst.
Florent Peres, Mohamed Ghazel
2016 — conf
Intermittent fault diagnosis of industrial systems in a model-checking framework.
ICPHM
Abderraouf Boussif, Mohamed Ghazel
2016 J jnl
Model-Based Diagnosis of Multi-Track Level Crossing Plants.
IEEE Trans. Intell. Transp. Syst.
Baisi Liu, Mohamed Ghazel, Armand Toguyéni
2016 — conf
Petri Net Diagnosability Analyzer.
IDT
Baisi Liu, Mohamed Ghazel
2016 C ed.
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016.
VECoS
Mohamed Ghazel, Mohamed Jmaiel
2016 C conf
Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study.
VECoS
Abderraouf Boussif, Mohamed Ghazel
2015 J jnl
A pattern-based method for refining and formalizing informal specifications in critical control systems.
J. Innov. Digit. Ecosyst.
Mohamed Ghazel, Jing Yang, El-Miloudi El-Koursi
2015 C conf
Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems.
VECoS
Abderraouf Boussif, Mohamed Ghazel, Kais Klai
2014 C conf
A µ-Calculus Framework for the Diagnosability of Discrete Event Systems.
VECoS
Mohamed Ghazel, Florent Peres
2014 — conf
OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets.
ADECS @ Petri Nets
Baisi Liu, Mohamed Ghazel, Armand Toguyéni
2014 J jnl
Two-Half-Barrier Level Crossings Versus Four-Half-Barrier Level Crossings: A Comparative Risk Analysis Study.
IEEE Trans. Intell. Transp. Syst.
Mohamed Ghazel, El-Miloudi El-Koursi
2012 J jnl
Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques.
IEEE Trans. Intell. Transp. Syst.
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni
2010 — conf
Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems.
Software Engineering Research and Practice
Mohamed Ghazel, Ahmed Mekki
2010 — conf
Patterns for Temporal Requirements Engineering - A Level Crossing Case Study.
ICINCO (1)
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni
2010 — conf
Timed Specification Patterns for System Validation: A Railway Case Study.
ICINCO (Selected Papers)
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni
2009 J jnl
State Observer for DES Under Partial Observation with Time Petri Nets.
Discret. Event Dyn. Syst.
Mohamed Ghazel, Armand Toguyéni, Pascal Yim
2009 J jnl
Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment.
IEEE Trans. Intell. Transp. Syst.
Mohamed Ghazel
2009 — conf
Verification of temporal requirements of complex systems using UML patterns, application to a railway control example.
SoSE
Mohamed Ghazel, Malek Masmoudi, Armand Toguyéni
2007 — conf
Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design.
SoSE
Mohamed Ghazel, El-Miloudi El-Koursi
2006 J jnl
A semi-formal approach to build the functional graph of an automated production system for supervision purposes.
Int. J. Comput. Integr. Manuf.
Mohamed Ghazel, Armand Toguyéni, Michel Bigand
2004 J jnl
An UML approach for the metamodelling of automated production systems for monitoring purpose.
Comput. Ind.
Mohamed Ghazel, Armand Toguyéni, Michel Bigand
2003 — conf
UML modelling approach to build an information system for automated production systems.
CE
Mohamed Ghazel, Armand Toguyéni, Michel Bigand