Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches A Boussif, M Ghazel, JC Basilio Discrete Event Dynamic Systems 31, 59-102, 2021 | 25 | 2021 |
Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking A Boussif, M Ghazel IFAC-PapersOnLine 48 (7), 71-78, 2015 | 21 | 2015 |
Efficient diagnosability assessment via ILP optimization: a railway benchmark F Basile, G De Tommasi, C Sterle, A Boussif, M Ghazel 2018 IEEE 23rd International Conference on Emerging Technologies and Factory …, 2018 | 18 | 2018 |
Combining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event Systems A Boussif, M Ghazel, K Klai Verification and Evaluation of Computer and Communication Systems (VECoS …, 2015 | 18 | 2015 |
Towards a specified operational design domain for a safe remote driving of trains A Tonk, A Boussif, J Beugin, S Collart-Dutilleul Proceedings of the 31st European Safety and Reliability Conference, Angers …, 2021 | 16 | 2021 |
Diagnosability Analysis of Intermittent Faults in Discrete Event Systems Using a Twin-plant Structure A Boussif, M Ghazel International Journal of Control, Automation and Systems 17, 1-14, 2019 | 14 | 2019 |
An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems A Boussif, M Ghazel International Workshop on Principles of Diagnosis (DX-17), 2017 | 14 | 2017 |
A twin-plant based approach for diagnosability analysis of intermittent failures A Boussif, B Liu, M Ghazel 2016 13th International Workshop on Discrete Event Systems (WODES), 237-244, 2016 | 13 | 2016 |
Contributions to fault diagnosis of discrete-event systems A Boussif Ph.D. Thesis 1, 2016 | 11 | 2016 |
A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event Systems A Boussif, M Ghazel 2017 American Control Conference, Seattle, WA, USA, 2017 | 9 | 2017 |
Graphical safety assurance case using Goal Structuring Notation (GSN)—challenges, opportunities and a framework for autonomous trains M Chelouati, A Boussif, J Beugin, EM El Koursi Reliability Engineering & System Safety 230, 108933, 2023 | 8 | 2023 |
Model-Based Monitoring of a Train Passenger Access System A Boussif, M Ghazel IEEE Access 6, 41619-41632, 2018 | 8 | 2018 |
Interval Weight-Based Abstraction for Neural Network Verification F Boudardara, A Boussif, PJ Meyer, M Ghazel International Conference on Computer Safety, Reliability, and Security, 330-342, 2022 | 7 | 2022 |
A semi‐symbolic diagnoser for fault diagnosis of bounded labeled petri nets A Boussif, M Ghazel, K Klai Asian Journal of Control 23 (2), 648-660, 2021 | 7 | 2021 |
A Diagnosis Study on a Train Passenger Access System using Petri Net Models A Boussif, M Ghazel IFAC-PapersOnLine 51 (9), 150-155, 2018 | 7 | 2018 |
DPN-SOG: A software tool for fault diagnosis of labeled petri nets using the semi-symbolic diagnoser A Boussif, M Ghazel, K Klai 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), 2017 | 7 | 2017 |
A framework for risk-awareness and dynamic risk assessment for autonomous trains M Chelouati, A Boussif, J Beugin, EM El Koursi ESREL 2022, 32nd European Safety and Reliability Conference, 1-8, 2022 | 6 | 2022 |
Tuning the Diagnoser-based Approach for Diagnosability Analysis of Finite Automata A Boussif, M Ghazel International Journal of Control, Automation and Systems 19 (8), 2842-2858, 2021 | 6 | 2021 |
Intermittent Fault Diagnosis of Industrial Systems in the Model-Checking Framework A Boussif, M Ghazel 2016 IEEE International Conference on Prognostics and Health Managemen, 2016 | 6 | 2016 |
Rule-Based and Managed Safety: A Challenge for Railway Autonomous Driving Systems P Richard, A Boussif, P Christopher ESREL 2021, 31st European Safety And Reliability Conference, 2021 | 5 | 2021 |