| 2024 | CoDIT | An Algebraic Formulation of K-step Opacity Problem in Labeled Petri Net Models. | Amira Chouchane, Mohamed Ghazel |
| 2024 | VECoS | Monitoring of Neural Network Classifiers Using Neuron Activation Paths. | Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel |
| 2024 | VECoS | A High Parallelization Method for Automated Formal Verification of Deep Neural Networks. | Imene Ben Hafaiedh, Amira Chouchane, Amani Elaoud, Linda Lamouchi, Mohamed Ghazel |
| 2024 | VECoS | ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation Scenario. | Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel |
| 2023 | SAFECOMP | Rear-End Collision Risk Analysis for Autonomous Driving. | Ci Liang, Mohamed Ghazel, Yusheng Ci, Nour-Eddin El Faouzi, Rui Wang, Wei Zheng |
| 2023 | VECoS | A Sound Abstraction Method Towards Efficient Neural Networks Verification. | Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel |
| 2022 | SAFECOMP | Interval Weight-Based Abstraction for Neural Network Verification. | Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel |
| 2018 | ETFA | Efficient diagnosability assessment via ILP optimization: a railway benchmark. | Francesco Basile, Gianmaria De Tommasi, Claudio Sterle, Abderraouf Boussif, Mohamed Ghazel |
| 2017 | DX | An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems. | Abderraouf Boussif, Baisi Liu, Mohamed Ghazel |
| 2017 | VECoS | An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study. | Abderraouf Boussif, Mohamed Ghazel |
| 2016 | VECoS | Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study. | Abderraouf Boussif, Mohamed Ghazel |
| 2015 | VECoS | Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems. | Abderraouf Boussif, Mohamed Ghazel, Kais Klai |
| 2014 | VECoS | A -Calculus Framework for the Diagnosability of Discrete Event Systems. | Mohamed Ghazel, Florent Peres |
| 2010 | ICINCO | Patterns for Temporal Requirements Engineering - A Level Crossing Case Study. | Ahmed Mekki, Mohamed Ghazel, Armand Toguyni |
| 2010 | ICINCO | Timed Specification Patterns for System Validation: A Railway Case Study. | Ahmed Mekki, Mohamed Ghazel, Armand Toguyni |