Filter your results
- 6
- 3
- 9
- 9
- 1
- 6
- 2
- 6
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Statistical Model-Checking for Autonomous Vehicle Safety ValidationConference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France
Conference papers
hal-01491064v1
|
||
|
Une sémantique formelle pour les modèles SimulinkÉcole d'été Temps Réel 2017, Aug 2017, Paris, France
Conference papers
hal-01578297v1
|
||
|
Integrating Simulink Models into the Model Checker Cosmos39th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.363-373, ⟨10.1007/978-3-319-91268-4_19⟩
Conference papers
hal-01916467v1
|
||
|
Autonomous Driving System : Model Based Safety Analysis2018 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
|
||
A Model Based System Engineering Methodology for an Autonomous Driving System Design25th ITS World Congress, Sep 2018, Copenhagen, Denmark
Conference papers
hal-01924108v1
|
|||
|
An Ontology-based Approach to Generate the Advanced Driver Assistance Use Cases of Highway Traffic10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management., Sep 2018, Seville, Spain
Conference papers
hal-01835139v1
|
||
|
Contribution à la sécurisation du véhicule autonome: Modélisation comportementale avec AltaRicaCongrès Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Conference papers
hal-02072696v1
|
||
Validations par Virtualisation et Simulation : de nouveaux champs méthodologiques et techniques pour une ingénierie de conception sûre des systèmes autonomesLambda Mu 21, Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2018, Reims, France
Conference papers
hal-01907608v1
|
|||
|
MOOVE & MOSAR Projects: a scenario library for designing & validating ADSDriving Simulation Conference (DSC), Sep 2020, Antibes, France
Conference papers
hal-04098011v1
|