Abderraouf Boussif

According to our database, Abderraouf Boussif authored at least 20 papers between 2015 and 2024.

Collaborative distances:

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

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

Application of Systems Theoretic Accident Model and Processes in Railway Systems: A Review.

Abhimanyu Tonk, Abderraouf Boussif

IEEE Access, 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

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

<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

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

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

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

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

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

Abderraouf Boussif

PhD thesis, 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

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

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