Skip to Main content Skip to Navigation

hal-01290286v1  Conference papers
Olivier BouissouSamuel MimramBaptiste StrazzullaAlexandre Chapoutot. Set-based Simulation for Design and Verification of Simulink Models
Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France
hal-00819373v1  Conference papers
Olivier BouissouAlexandre Chapoutot. An operational semantics for Simulink's simulation engine
13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Jun 2012, Pekin, China. pp.129-138, ⟨10.1145/2248418.2248437⟩
hal-00819377v1  Conference papers
Olivier BouissouAlexandre ChapoutotSamuel Mimram. HySon: Set-based simulation of hybrid systems
23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩
hal-01073673v1  Conference papers
Olivier BouissouAlexandre ChapoutotAdel DjaballahMichel Kieffer. Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis
53rd IEEE Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States. pp.1-4, ⟨10.1109/cdc.2014.7039472⟩