Skip to Main content Skip to Navigation
New interface

hal-01916467v1  Conference papers
Benoît BarbotBéatrice BérardYann DuplouySerge Haddad. Integrating Simulink Models into the Model Checker Cosmos
39th 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⟩
hal-01491064v1  Conference papers
Benoît BarbotBéatrice BérardYann DuplouySerge Haddad. Statistical Model-Checking for Autonomous Vehicle Safety Validation
Conference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France
hal-01906465v1  Conference papers
Mohamed TligMathilde MachinRomain KerneisEmmanuel ArbaretierLinda Zhao et al.  Autonomous Driving System : Model Based Safety Analysis
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⟩
hal-01835139v1  Conference papers
Wei ChenLeila Kloul. An Ontology-based Approach to Generate the Advanced Driver Assistance Use Cases of Highway Traffic
10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management., Sep 2018, Seville, Spain