Skip to Main content Skip to Navigation
New interface


...
hal-01578297v1  Conference papers
Béatrice BérardYann DuplouySerge Haddad. Une sémantique formelle pour les modèles Simulink
École d'été Temps Réel 2017, Aug 2017, Paris, France
...
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-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-02072696v1  Conference papers
Mohamed TligMathilde MachinRomain KerneisEmmanuel ArbaretierLinda Zhao et al.  Contribution à la sécurisation du véhicule autonome: Modélisation comportementale avec AltaRica
Congrès Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, 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