| 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 | 30 | 2021 |
| 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 | 22 | 2021 |
| 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 | 21 | 2023 |
| 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 | 20 | 2018 |
| 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 | 18 | 2019 |
| 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 | 16 | 2015 |
| 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 | 14 | 2016 |
| An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems A Boussif, M Ghazel International Workshop on Principles of Diagnosis (DX-17), 2017 | 13 | 2017 |
| A Review of Abstraction Methods Toward Verifying Neural Networks F Boudardara, A Boussif, PJ Meyer, M Ghazel ACM Transactions on Embedded Computing Systems 23 (4), 1-19, 2024 | 12 | 2024 |
| Contributions to fault diagnosis of discrete-event systems A Boussif Ph.D. Thesis 1, 2016 | 11 | 2016 |
| 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 | 10 | 2022 |
| A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event Systems A Boussif, M Ghazel 2017 American Control Conference, Seattle, WA, USA, 2017 | 10 | 2017 |
| K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization A Chouchane, M Ghazel, A Boussif Automatica 147, 110689, 2023 | 9 | 2023 |
| 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 | 9 | 2021 |
| Model-Based Monitoring of a Train Passenger Access System A Boussif, M Ghazel IEEE Access 6, 41619-41632, 2018 | 9 | 2018 |
| A framework for risk-awareness and dynamic risk assessment for autonomous trains M Chelouati, A Boussif, J Beugin, EM El Koursi Proc. 32nd Eur. Saf. Rel. Conf.(ESREL), 2128-2135, 2022 | 8 | 2022 |
| Operational Design Domain or Operational Envelope: Seeking a suitable concept for autonomous railway systems A Tonk, A Boussif ESREL 2022, 32nd European Safety and Reliability Conference, 8p, 2022 | 8 | 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 |
| 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 |
Mohamed GhazelDirecteur du laboratoire ESTAS, COSYS (ex-IFSTTAR), Université Gustave Eiffeluniv-eiffel.fr üzerinde doğrulanmış e-posta adresine sahip
