| 2024 | VECoS | Monitoring of Neural Network Classifiers Using Neuron Activation Paths. | Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel |
| 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 |