AB

Abderraouf Boussif

45
Documents

Présentation

Publications

19
12
5
4
2
1
1
1
18
16
15
15
13
12
11
11
9
6
5
5
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
27
10
7
6
6
5
4
4
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
2
1
1
1
1
1
1
1
1
3
5
6
8
3
2
1
4
5
4
4
22
19
4
2
2
2

Publications

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 David et al.

13th World Congress on Railway Research (WCRR), Jun 2022, Birmingham, United Kingdom

Communication dans un congrès hal-04662695v1
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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