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-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