Abderraouf Boussif

21 papers C 8Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Review of Abstraction Methods Toward Verifying Neural Networks.
ACM Trans. Embed. Comput. Syst.
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
2024 J jnl
A Risk-Based Decision-Making Process for Autonomous Trains Using POMDP: Case of the Anti-Collision Function.
IEEE Access
Mohammed Chelouati, Abderraouf Boussif, Julie Beugin, El-Miloudi El-Koursi
2024 J jnl
Application of Systems Theoretic Accident Model and Processes in Railway Systems: A Review.
IEEE Access
Abhimanyu Tonk, Abderraouf Boussif
2024 J jnl
INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification.
IEEE Trans. Neural Networks Learn. Syst.
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
2024 C conf
Monitoring of Neural Network Classifiers Using Neuron Activation Paths.
VECoS
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
2023 C conf
A Sound Abstraction Method Towards Efficient Neural Networks Verification.
VECoS
Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel
2023 J jnl
Graphical safety assurance case using Goal Structuring Notation (GSN) - challenges, opportunities and a framework for autonomous trains.
Reliab. Eng. Syst. Saf.
Mohammed Chelouati, Abderraouf Boussif, Julie Beugin, El-Miloudi El-Koursi
2022 — conf
Interval Weight-Based Abstraction for Neural Network Verification.
SAFECOMP Workshops
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
2021 J jnl
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches.
Discret. Event Dyn. Syst.
Abderraouf Boussif, Mohamed Ghazel, João Carlos Basilio
2018 C conf
Efficient diagnosability assessment via ILP optimization: a railway benchmark.
ETFA
Francesco Basile, Gianmaria De Tommasi, Claudio Sterle, Abderraouf Boussif, Mohamed Ghazel
2018 J jnl
Fault diagnosis of discrete-event systems based on the symbolic observation graph.
Int. J. Crit. Comput. Based Syst.
Abderraouf Boussif, Mohamed Ghazel, Kais Klai
2018 J jnl
Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking.
Int. J. Crit. Comput. Based Syst.
Abderraouf Boussif, Mohamed Ghazel
2018 J jnl
Model-Based Monitoring of a Train Passenger Access System.
IEEE Access
Abderraouf Boussif, Mohamed Ghazel
2017 C conf
A diagnoser-based approach for intermittent fault diagnosis of discrete-event systems.
ACC
Abderraouf Boussif, Mohamed Ghazel
2017 C conf
An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems.
DX
Abderraouf Boussif, Baisi Liu, Mohamed Ghazel
2017 C conf
An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study.
VECoS
Abderraouf Boussif, Mohamed Ghazel
2016 — conf
A twin-plant based approach for diagnosability analysis of intermittent failures.
WODES
Abderraouf Boussif, Baisi Liu, Mohamed Ghazel
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 — conf
Intermittent fault diagnosis of industrial systems in a model-checking framework.
ICPHM
Abderraouf Boussif, Mohamed Ghazel
2016 C conf
Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study.
VECoS
Abderraouf Boussif, Mohamed Ghazel
2015 C conf
Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems.
VECoS
Abderraouf Boussif, Mohamed Ghazel, Kais Klai