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