Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems. - Abderraouf Boussif; Mohamed Ghazel; Kais Klai (VECoS, 2015)

Intermittent fault diagnosis of industrial systems in a model-checking framework. - Abderraouf Boussif; Mohamed Ghazel (ICPHM, 2016)

Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study. - Abderraouf Boussif; Mohamed Ghazel (VECoS, 2016)

A twin-plant based approach for diagnosability analysis of intermittent failures. - Abderraouf Boussif; Baisi Liu; Mohamed Ghazel (WODES, 2016)

Contributions to Model-Based Diagnosis of Discrete-Event Systems. (Contributions au Diagnostic à Base de Modèles des Systèmes à Évènements Discrets). - Abderraouf Boussif (2016)

A diagnoser-based approach for intermittent fault diagnosis of discrete-event systems. - Abderraouf Boussif; Mohamed Ghazel (ACC, 2017)

An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems. - Abderraouf Boussif; Baisi Liu; Mohamed Ghazel (DX, 2017)

An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study. - Abderraouf Boussif; Mohamed Ghazel (VECoS, 2017)

Efficient diagnosability assessment via ILP optimization: a railway benchmark. - Francesco Basile; Gianmaria De Tommasi; Claudio Sterle; Abderraouf Boussif; Mohamed Ghazel (ETFA, 2018)

Model-Based Monitoring of a Train Passenger Access System. - Abderraouf Boussif; Mohamed Ghazel (IEEE Access, 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)

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)

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)

Interval Weight-Based Abstraction for Neural Network Verification. - Fateh Boudardara; Abderraouf Boussif; Pierre-Jean Meyer; Mohamed Ghazel (SAFECOMP Workshops, 2022)

A Sound Abstraction Method Towards Efficient Neural Networks Verification. - Fateh Boudardara; Abderraouf Boussif; Mohamed Ghazel (VECoS, 2023)

K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization. - Amira Chouchane; Mohamed Ghazel; Abderraouf Boussif (Autom., 2023)

Graphical safety assurance case using Goal Structuring Notation (GSN) - challenges, opportunities and a framework for autonomous trains. - Mohammed Chelouati; Abderraouf Boussif; Julie Beugin; El-Miloudi El-Koursi (Reliab. Eng. Syst. Saf., 2023)

Monitoring of Neural Network Classifiers Using Neuron Activation Paths. - Fateh Boudardara; Abderraouf Boussif; Pierre-Jean Meyer; Mohamed Ghazel (VECoS, 2024)

A Risk-Based Decision-Making Process for Autonomous Trains Using POMDP: Case of the Anti-Collision Function. - Mohammed Chelouati; Abderraouf Boussif; Julie Beugin; El-Miloudi El-Koursi (IEEE Access, 2024)

Application of Systems Theoretic Accident Model and Processes in Railway Systems: A Review. - Abhimanyu Tonk; Abderraouf Boussif (IEEE Access, 2024)

A Review of Abstraction Methods Toward Verifying Neural Networks. - Fateh Boudardara; Abderraouf Boussif; Pierre-Jean Meyer; Mohamed Ghazel (ACM Trans. Embed. Comput. Syst., 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., 2024)