Abderraouf Boussif

Présentation

Publications

Article dans une revue (13)

A Risk-Based Decision-Making Process for Autonomous Trains Using POMDP: Case of the Anti-Collision Function Mohammed Chelouati,Abderraouf Boussif,Julie Beugin,El-Miloudi El-Koursi IEEE Access, 2024, 12, pp.5630-5647. ⟨10.1109/ACCESS.2023.3347500⟩ Article dans une revue hal-04402491v1
Application of Systems Theoretic Accident Model and Processes in Railway Systems: A Review Abhimanyu Tonk,Abderraouf Boussif IEEE Access, 2024, 12, pp.99872-99893. ⟨10.1109/ACCESS.2024.3429568⟩ Article dans une revue hal-04681936v1
Operational risk assessment of railway remote driving system Abderraouf Boussif,Abhimanyu Tonk,Julie Beugin,Simon Collart Dutilleul Journal of Safety and Reliability, 2023, 42 (2-3), pp.143-164. ⟨10.1080/09617353.2023.2226965⟩ Article dans une revue (article de synthèse) hal-04415127v1
Graphical safety assurance case using Goal Structuring Notation (GSN) - challenges, opportunities and a framework for autonomous trains Mohammed Chelouati,Abderraouf Boussif,Julie Beugin,El-Miloudi El Koursi Reliability Engineering and System Safety, 2023, 230, pp1-9. ⟨10.1016/j.ress.2022.108933⟩ Article dans une revue hal-03896770v1
K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization Amira Chouchane,Mohamed Ghazel,Abderraouf Boussif Automatica, 2023, 147, pp1-13. ⟨10.1016/j.automatica.2022.110689⟩ Article dans une revue hal-03842331v1
INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification Fateh Boudardara,Abderraouf Boussif,Pierre-Jean Meyer,Mohamed Ghazel IEEE Transactions on Neural Networks and Learning Systems, 2023, pp.1-15. ⟨10.1109/tnnls.2023.3316551⟩ Article dans une revue hal-04235453v1
A review of abstraction methods towards verifying neural networks Fateh Boudardara,Abderraouf Boussif,Pierre-Jean Meyer,Mohamed Ghazel ACM Transactions on Embedded Computing Systems (TECS), 2023, 23 (4), pp.1-19. ⟨10.1145/3617508⟩ Article dans une revue hal-04235472v2
Tuning the Diagnoser-based Approach for Diagnosability Analysis of Finite Automata Abderraouf Boussif,Mohamed Ghazel International Journal of Control, Automation and Systems, 2021, 19 (8), pp2842-2858. ⟨10.1007/s12555-020-0100-y⟩ Article dans une revue hal-03300679v1
A semi-symbolic diagnoser for fault diagnosis of bounded labeled petri nets Abderraouf Boussif,Mohamed Ghazel,Kais Klai Asian Journal of Control, 2021, 23 (2), pp648-660. ⟨10.1002/asjc.2259⟩ Article dans une revue hal-02483169v1
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches Abderraouf Boussif,Mohamed Ghazel,João Carlos Basilio Discrete Event Dynamic Systems, 2020, 30 (3), 44p. ⟨10.1007/s10626-020-00324-y⟩ Article dans une revue hal-02940679v1
Diagnosability Analysis of Intermittent Faults in Discrete Event Systems Using a Twin-plant Structure Abderraouf Boussif,Mohamed Ghazel International Journal of Control, Automation and Systems, 2019, 18 (3), pp682-695. ⟨10.1007/s12555-018-0682-9⟩ Article dans une revue hal-02298344v1
Model-Based Monitoring of a Train Passenger Access System Abderraouf Boussif,Mohamed Ghazel IEEE Access, 2018, 6 (1), pp41619-41632. ⟨10.1109/ACCESS.2018.2860966⟩ Article dans une revue hal-01871377v1
Fault diagnosis of discrete-event systems based on the symbolic observation graph Abderraouf Boussif,Mohamed Ghazel,Kais Klai International Journal of Critical Computer-Based Systems (IJCCBS), 2018, 8 (2), pp141-168. ⟨10.1504/IJCCBS.2018.10011234⟩ Article dans une revue hal-01928797v1

Communication dans un congrès (31)

Towards applying STPA to autonomous railway systems -a hierarchical safety control structure for GoA2 train operations Abhimanyu Tonk,Abderraouf Boussif,El-Miloudi El-Koursi 35th European Safety and Reliability Conference (ESREL2025) and the 33rd Society for Risk Analysis Europe Conference (SRA-E 2025), Jun 2025, Stavanger, Norway. ⟨10.3850/978-981-94-3281-3_ESREL-SRA-E2025-P2345-cd⟩ Communication dans un congrès hal-05128983v1
A POMDP-based approach for obstacle avoidance in autonomous trains Mohammed Chelouati,Abderraouf Boussif,Julie Beugin,El Miloudi El Koursi 35th European Safety and Reliability (ESREL SRA-E 2025), University of Stavanger, Jun 2025, Stavanger, Norway. pp.3115-3122, ⟨10.3850/981-973-0000-00-0⟩ Communication dans un congrès hal-05217200v1
Towards AI trustworthiness assessment framework for railway applications Asma Ladj,Abderraouf Boussif 35th European Safety and Reliability Conference (ESREL2025), University of Stavanger, Jun 2025, Stavanger, Norway. ⟨10.3850/981-973-0000-00-0⟩ Communication dans un congrès hal-05217207v1
Quel rôle pour la SOTIF (ISO 21448:2022) dans la démonstration de sécurité des trains autonomes ? Ouail Himrane,Abhimanyu Tonk,Abderraouf Boussif Congrès Lambda Mu 24 « Les métiers du risque : clés de la réindustrialisation et de la transition écologique », Institut pour la Maîtrise des Risques (IMdR), Oct 2024, Bourges, France Communication dans un congrès hal-05016249v1
Monitoring of Neural Network Classifiers using Neuron Activation Paths Fateh Boudardara,Abderraouf Boussif,Pierre-Jean Meyer,Mohamed Ghazel International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Oct 2024, Djerba, Tunisia, Tunisia Communication dans un congrès hal-04749896v1
Une approche orientée risques pour la prise de décision dans les trains autonomes : Cas de la fonction anti-collision Mohammed Chelouati,Abderraouf Boussif,Julie Beugin,El Miloudi El Koursi Congrès Lambda Mu 24 « Les métiers du risque : clés de la réindustrialisation et de la transition écologique », Institut pour la Maîtrise des Risques (IMdR), Oct 2024, Bourges, France Communication dans un congrès hal-05016281v1
Specification of the AI based perception module for autonomous trains Insaf Sassi,Abderraouf Boussif 5th SmartRaCon Workshop, May 2023, Braunschweig, Germany Communication dans un congrès hal-04666578v1
TC-Rail: Railways Remote Driving further experiments Emilie Masson,Philippe Richard,Abderraouf Boussif,Quentin Gadmer,Philippe Davidet al. 13th World Congress on Railway Research (WCRR), Jun 2022, Birmingham, United Kingdom Communication dans un congrès hal-04662695v1
Deep Neural Networks Abstraction using An Interval Weights Based Approach Fateh Boudardara,Abderraouf Boussif,Pierre-Jean Meyer,Mohamed Ghazel Confiance.ai Days, Oct 2022, Saclay (92), France Communication dans un congrès hal-04426163v1
A framework for risk-awareness and dynamic risk assessment for autonomous trains Mohammed Chelouati,Abderraouf Boussif,Julie Beugin,El-Miloudi El Koursi ESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p Communication dans un congrès hal-03691799v1
Argumentaire de sécurité graphique pour l'assurance de sécurité des trains autonomes Mohammed Chelouati,Boussif Abderraouf,Julie Beugin,El Miloudi El Koursi Congrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2022, Paris Saclay, France Communication dans un congrès hal-03968250v1
A Safety Assurance Methodology for Autonomous Trains Abhimanyu Tonk,Mohammed Chelouati,Abderraouf Boussif,Julie Beugin,El Miloudi El Koursi TRA 2022, Transport Research Arena, Nov 2022, Lisbon, Portugal. 8p Communication dans un congrès hal-03690433v1
Définir la fiabilité de l'opérateur humain pour concevoir les futurs systèmes autonomes : un regard des Facteurs Organisationnels et Humains Paglia Christopher,Philippe Richard,Carli Yanna,Boussif Abderraouf Congrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2022, Paris Saclay, France Communication dans un congrès hal-03968262v1
Deep Neural Networks Abstraction using An Interval Weights Based Approach Fateh Boudardara,Abderraouf Boussif,Mohamed Ghazel,Pierre-Jean Meyer Confiance.ai Days 2022, Oct 2022, Gif-sur-Yvette, France Communication dans un congrès hal-04666949v1
Interval Weight-Based Abstraction for Neural Network Verification Fateh Boudardara,Abderraouf Boussif,Pierre-Jean Meyer,Mohamed Ghazel International Conference on Computer Safety, Reliability, and Security, Sep 2022, Munich, Germany. pp.330-342, ⟨10.1007/978-3-031-14862-0_24⟩ Communication dans un congrès hal-04426156v1
Towards a Specified Operational Design Domain for a Safe Remote Driving of Trains Abhimanyu Tonk,Abderraouf Boussif,Julie Beugin,Simon Collart-Dutilleul ESREL 2021, 31st European Safety And Reliability Conference, Sep 2021, Angers, France. 8p Communication dans un congrès hal-03328878v1
Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défis Abderraouf Boussif,Simon Collart-Dutilleul,François Baranowski,Julie Beugin,Walter Schön Lambda Mu 22 - Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2020, Le Havre (e-congrès), France. pp.312-320 Communication dans un congrès hal-03347585v1
A Diagnosis Study on a Train Passenger Access System using Petri Net Models Abderraouf Boussif,Mohamed Ghazel CTS 2018, 15th IFAC Symposium on Control in Transportation Systems, Jun 2018, Savona, Italy. 6p Communication dans un congrès hal-02464751v1
Efficient diagnosability assessment via ILP optimization: a railway benchmark Francesco Basile,Gianmaria de Tommasi,Claudio Sterle,Abderraouf Boussif,Mohamed Ghazel IEEE ETFA 2018, 23rd International Conference on Emerging Technologies and Factory Automation, Sep 2018, Torino, Italy. 8p Communication dans un congrès hal-01877250v1
DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser Abderraouf Boussif,Mohamed Ghazel,Kais Klai 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France Communication dans un congrès hal-01653191v1
Diagnosticabilité des Systèmes à Évènements Discrets: Une Nouvelle Variante de l'Approche Diagnostiqueur Abderraouf Boussif,Mohamed Ghazel MSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France. 15p Communication dans un congrès hal-01647847v1
A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event Systems Abderraouf Boussif,Mohamed Ghazel ACC - 2017 American Control Conference, May 2017, Seattle, United States. pp 3860-3867, ⟨10.23919/ACC.2017.7963546⟩ Communication dans un congrès hal-01647001v1
DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems Abderraouf Boussif,Mohamed Ghazel 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France Communication dans un congrès hal-01657433v1
An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems Abderraouf Boussif,Baisi Liu,Mohamed Ghazel DX'17 - 28th International Workshop on Principles of Diagnosis, Sep 2017, Brescia, Italy. p8 Communication dans un congrès hal-01647904v1
A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure Abderraouf Boussif,Baisi Liu,Mohamed Ghazel 13th International Workshop on Discrete Event Systems (WODES 2016), May 2016, Xi'An, China. p237-244, ⟨10.1109/WODES.2016.7497854⟩ Communication dans un congrès hal-01374116v1
Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults-A Railway Case-Study. Abderraouf Boussif,Mohamed Ghazel VECOS 2016 - 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, Oct 2016, Tunis, Tunisia. 11p Communication dans un congrès hal-01646486v1
Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework Abderraouf Boussif,Mohamed Ghazel ICPHM - 2016 IEEE International Conference on Prognostics and Health Management, Jun 2016, Ottawa, Canada. 6p, ⟨10.1109/ICPHM.2016.7542874⟩ Communication dans un congrès hal-01646340v1
Combining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event Systems Abderraouf Boussif,Mohamed Ghazel,Kais Klai VECOS 2015 - 9th Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2015, Bucarest, Romania. 11p Communication dans un congrès hal-01471590v1
Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking Abderraouf Boussif,Mohamed Ghazel 5th IFAC International Workshop on Dependable Control of Discrete Systems : DCDS 2015, May 2017, Cancun, Mexico. pp.71-78, ⟨10.1016/j.ifacol.2015.06.475⟩ Communication dans un congrès hal-01472584v1
Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking Abderraouf Boussif,Mohamed Ghazel 5th IFAC Workshop on Dependable Control of Discrete Systems, May 2015, Cancun, Mexico. 8p Communication dans un congrès hal-01471419v1
Une Approche par Décomposition de Modèles pour l'Analyse de la Diagnosticabilité des SEDs par Model-Checking Abderraouf Boussif,Mohamed Ghazel Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France Communication dans un congrès hal-01224281v1

Thèse (1)

Contributions to Model-Based Diagnosis of Discrete-Event Systems Abderraouf Boussif Symbolic Computation [cs.SC]. Université de Lille1 - Sciences et Technologies, 2016. English. ⟨NNT : ⟩ Thèse tel-01667809v1