Abderraouf Boussif
Présentation
Publications
Publications
|
|
Towards applying STPA to autonomous railway systems -a hierarchical safety control structure for GoA2 train operations35th 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⟩ |
|
|
Towards AI trustworthiness assessment framework for railway applications35th European Safety and Reliability Conference (ESREL2025), University of Stavanger, Jun 2025, Stavanger, Norway. ⟨10.3850/981-973-0000-00-0⟩ |
|
|
A POMDP-based approach for obstacle avoidance in autonomous trains35th 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⟩ |
|
|
Quel rôle pour la SOTIF (ISO 21448:2022) dans la démonstration de sécurité des trains autonomes ?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 |
|
|
Monitoring of Neural Network Classifiers using Neuron Activation PathsInternational Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Oct 2024, Djerba, Tunisia, Tunisia |
|
|
Une approche orientée risques pour la prise de décision dans les trains autonomes : Cas de la fonction anti-collisionCongrè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 |
Specification of the AI based perception module for autonomous trains5th SmartRaCon Workshop, May 2023, Braunschweig, Germany |
|
TC-Rail: Railways Remote Driving further experiments13th World Congress on Railway Research (WCRR), Jun 2022, Birmingham, United Kingdom |
|
|
|
Deep Neural Networks Abstraction using An Interval Weights Based ApproachConfiance.ai Days, Oct 2022, Saclay (92), France |
|
|
Définir la fiabilité de l'opérateur humain pour concevoir les futurs systèmes autonomes : un regard des Facteurs Organisationnels et HumainsCongrè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 |
A Safety Assurance Methodology for Autonomous TrainsTRA 2022, Transport Research Arena, Nov 2022, Lisbon, Portugal. 8p |
|
|
|
Argumentaire de sécurité graphique pour l'assurance de sécurité des trains autonomesCongrè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 |
A framework for risk-awareness and dynamic risk assessment for autonomous trainsESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p |
|
|
|
Deep Neural Networks Abstraction using An Interval Weights Based ApproachConfiance.ai Days 2022, Oct 2022, Gif-sur-Yvette, France |
|
|
Interval Weight-Based Abstraction for Neural Network VerificationInternational Conference on Computer Safety, Reliability, and Security, Sep 2022, Munich, Germany. pp.330-342, ⟨10.1007/978-3-031-14862-0_24⟩ |
Towards a Specified Operational Design Domain for a Safe Remote Driving of TrainsESREL 2021, 31st European Safety And Reliability Conference, Sep 2021, Angers, France. 8p |
|
|
|
Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défisLambda 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 |
A Diagnosis Study on a Train Passenger Access System using Petri Net ModelsCTS 2018, 15th IFAC Symposium on Control in Transportation Systems, Jun 2018, Savona, Italy. 6p |
|
Efficient diagnosability assessment via ILP optimization: a railway benchmarkIEEE ETFA 2018, 23rd International Conference on Emerging Technologies and Factory Automation, Sep 2018, Torino, Italy. 8p |
|
|
|
An Experimental Comparison of Three Diagnosis Techniques for Discrete Event SystemsDX'17 - 28th International Workshop on Principles of Diagnosis, Sep 2017, Brescia, Italy. p8 |
A Diagnoser-Based Approach for Intermittent Fault Diagnosis of Discrete-Event SystemsACC - 2017 American Control Conference, May 2017, Seattle, United States. pp 3860-3867, ⟨10.23919/ACC.2017.7963546⟩ |
|
|
|
Diagnosticabilité des Systèmes à Évènements Discrets: Une Nouvelle Variante de l'Approche DiagnostiqueurMSR 2017 - 11ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France. 15p |
|
|
DPN-SOG: A Software Tool for Fault Diagnosis of Labeled Petri Nets Using the Semi-Symbolic Diagnoser11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France |
|
|
DIAG-IPF: A Software Tool for Fault Diagnosis of Discrete Event Systems11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France |
A Twin-Plant Based Approach for Diagnosability Analysis of Intermittent Failure13th International Workshop on Discrete Event Systems (WODES 2016), May 2016, Xi'An, China. p237-244, ⟨10.1109/WODES.2016.7497854⟩ |
|
Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking FrameworkICPHM - 2016 IEEE International Conference on Prognostics and Health Management, Jun 2016, Ottawa, Canada. 6p, ⟨10.1109/ICPHM.2016.7542874⟩ |
|
|
|
Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults-A Railway Case-Study.VECOS 2016 - 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, Oct 2016, Tunis, Tunisia. 11p |
|
|
Combining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event SystemsVECOS 2015 - 9th Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2015, Bucarest, Romania. 11p |
|
|
Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking5th 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⟩ |
Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking5th IFAC Workshop on Dependable Control of Discrete Systems, May 2015, Cancun, Mexico. 8p |
|
|
|
Une Approche par Décomposition de Modèles pour l'Analyse de la Diagnosticabilité des SEDs par Model-CheckingModélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France |
|
|
Contributions to Model-Based Diagnosis of Discrete-Event SystemsSymbolic Computation [cs.SC]. Université de Lille1 - Sciences et Technologies, 2016. English. ⟨NNT : ⟩ |