Abderraouf Boussif

21 papers C 8Journal 9Unranked 3

Year	Rank	Type	Title / 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