Abderraouf Boussif

ORCID

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 19

Top Venues

VECoS

IEEE Access

Int. J. Crit. Comput. Based Syst.

ACM Trans. Embed. Comput. Syst.

Lille University of Science and Technology (PHD)

Education History

Lille University of Science and Technology

PHD

Publications

Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
A Review of Abstraction Methods Toward Verifying Neural Networks. ACM Trans. Embed. Comput. Syst. 23 (4) (2024)
Abhimanyu Tonk, Abderraouf Boussif
Application of Systems Theoretic Accident Model and Processes in Railway Systems: A Review. IEEE Access 12 (2024)
Mohammed Chelouati, Abderraouf Boussif, Julie Beugin, El-Miloudi El-Koursi
A Risk-Based Decision-Making Process for Autonomous Trains Using POMDP: Case of the Anti-Collision Function. IEEE Access 12 (2024)
Mohammed Chelouati, Abderraouf Boussif, Julie Beugin, El-Miloudi El-Koursi
Graphical safety assurance case using Goal Structuring Notation (GSN) - challenges, opportunities and a framework for autonomous trains. Reliab. Eng. Syst. Saf. 230 (2023)
Amira Chouchane, Mohamed Ghazel, Abderraouf Boussif
-diagnosability analysis of bounded and unbounded Petri nets using linear optimization. Autom. 147 (2023)
Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel
A Sound Abstraction Method Towards Efficient Neural Networks Verification. VECoS (2023)
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
Interval Weight-Based Abstraction for Neural Network Verification. SAFECOMP Workshops (2022)
Abderraouf Boussif, Mohamed Ghazel, João Carlos Basilio
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches. Discret. Event Dyn. Syst. 31 (1) (2021)
Abderraouf Boussif, Mohamed Ghazel
Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking. Int. J. Crit. Comput. Based Syst. 8 (2) (2018)
Abderraouf Boussif, Mohamed Ghazel
Model-Based Monitoring of a Train Passenger Access System. IEEE Access 6 (2018)
Francesco Basile, Gianmaria De Tommasi, Claudio Sterle, Abderraouf Boussif, Mohamed Ghazel
Efficient diagnosability assessment via ILP optimization: a railway benchmark. ETFA (2018)
Abderraouf Boussif, Mohamed Ghazel, Kais Klai
Fault diagnosis of discrete-event systems based on the symbolic observation graph. Int. J. Crit. Comput. Based Syst. 8 (2) (2018)
Abderraouf Boussif, Baisi Liu, Mohamed Ghazel
An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems. DX (2017)
Abderraouf Boussif, Mohamed Ghazel
An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study. VECoS (2017)
Abderraouf Boussif, Mohamed Ghazel
A diagnoser-based approach for intermittent fault diagnosis of discrete-event systems. ACC (2017)
Abderraouf Boussif, Mohamed Ghazel
Intermittent fault diagnosis of industrial systems in a model-checking framework. ICPHM (2016)
Abderraouf Boussif, Baisi Liu, Mohamed Ghazel
A twin-plant based approach for diagnosability analysis of intermittent failures. WODES (2016)
Abderraouf Boussif, Mohamed Ghazel
Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study. VECoS (2016)
Abderraouf Boussif, Mohamed Ghazel, Kais Klai
Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems. VECoS (2015)

Abderraouf Boussif.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Abderraouf Boussif