Search - Archive ouverte HAL Access content directly

Filter your results

4 Results
Structure: Internal structure identifier : 350856

Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation

Boutheina Bannour , Julien Niol , Paolo Crisafulli
2021 IEEE Intelligent Vehicles Symposium (IV), Jul 2021, Nagoya, Japan. pp.215-222, ⟨10.1109/IV48863.2021.9575528⟩
Conference papers hal-03540190v1
Image document

Autonomous Driving System : Model Based Safety Analysis

Mohamed Tlig , Mathilde Machin , Romain Kerneis , Emmanuel Arbaretier , Linda Zhao et al.
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Jun 2018, Luxembourg city, Luxembourg. ⟨10.1109/DSN-W.2018.00012⟩
Conference papers hal-01906465v1

Validations par Virtualisation et Simulation : de nouveaux champs méthodologiques et techniques pour une ingénierie de conception sûre des systèmes autonomes

Emmanuel Arbaretier , Linda Zhao , Mohamed Tlig
Lambda Mu 21, Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2018, Reims, France
Conference papers hal-01907608v1
Image document

Modélisation comportementale et sémantique pour la sûreté de fonctionnement des systèmes autonomes critiques

Nicolas Méric , Julien Niol , Mohamed Tlig
Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France
Conference papers hal-03453613v1