AB

Abderraouf Boussif

43
Documents

Présentation

Publications

19
10
5
4
2
1
1
1
18
16
15
15
13
12
11
11
9
6
5
5
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
1
27
9
6
6
6
5
4
3
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
3
2
1
1
1
1
1
1
1
1
6
6
8
3
2
1
4
5
4
4
22
19
2
2
2
2

Publications

Image document

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-04402491 v1

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-04681936 v1

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-04415127 v1

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-03896770 v1
Image document

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-04235453 v1
Image document

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-03842331 v1
Image document

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-04235472 v2

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-03300679 v1

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-02483169 v1
Image document

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-02940679 v1

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-02298344 v1
Image document

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-01871377 v1

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-01928797 v1

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, Institut pour la Maîtrise des Risques, Oct 2024, Bourges, France, France
Communication dans un congrès hal-04908996 v1
Image document

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-05016249 v1
Image document

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-05016281 v1
Image document

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-04749896 v1

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-04666578 v1

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-03691799 v1
Image document

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-03968250 v1
Image document

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-03968262 v1

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-03690433 v1
Image document

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-04426163 v1

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-04662695 v1
Image document

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-04666949 v1
Image document

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-04426156 v1

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-03328878 v1
Image document

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-03347585 v1

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-01877250 v1

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-02464751 v1
Image document

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-01653191 v1
Image document

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-01647847 v1

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-01647001 v1
Image document

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-01657433 v1
Image document

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-01647904 v1

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-01374116 v1
Image document

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-01646486 v1

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-01646340 v1
Image document

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-01471590 v1

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-01472584 v1

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-01471419 v1
Image document

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-01224281 v1
Image document

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-01667809 v1