A Hybrid Denotational Semantics for Hybrid Systems. - Olivier Bouissou; Matthieu Martel (ESOP, 2008)

Abstract Interpretation of the Physical Inputs of Embedded Programs. - Olivier Bouissou; Matthieu Martel (VMCAI, 2008)

Analyse statique par interprétation abstraite de systèmes hybrides. - Olivier Bouissou (2008)

HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. - Olivier Bouissou; Eric Goubault; Sylvie Putot; Karim Tekkal; Franck Védrine (CAV, 2009)

Proving the Correctness of the Implementation of a Control-Command Algorithm. - Olivier Bouissou (SAS, 2009)

Abstract Fixpoint Computations with Numerical Acceleration Methods. - Olivier Bouissou; Yassamine Seladji; Alexandre Chapoutot (NSAD@SAS, 2010)

From control-command synchronous programs to hybrid automata. - Olivier Bouissou (ADHS, 2012)

An operational semantics for Simulink's simulation engine. - Olivier Bouissou; Alexandre Chapoutot (LCTES, 2012)

HySon: Set-based simulation of hybrid systems. - Olivier Bouissou; Samuel Mimram; Alexandre Chapoutot (RSP, 2012)

A generalization of p-boxes to affine arithmetic. - Olivier Bouissou; Eric Goubault; Jean Goubault-Larrecq; Sylvie Putot (Computing, 2012)

Acceleration of the abstract fixpoint computation in numerical program analysis. - Olivier Bouissou; Yassamine Seladji; Alexandre Chapoutot (J. Symb. Comput., 2012)

Vérification partielle de programmes de contrôle-commande par interprétation abstraite. - Olivier Bouissou (Tech. Sci. Informatiques, 2012)

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods. - Olivier Bouissou; Alexandre Chapoutot; Adel Djoudi (NASA Formal Methods, 2013)

Numerical Abstract Domain Using Support Functions. - Yassamine Seladji; Olivier Bouissou (NASA Formal Methods, 2013)

Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools. - Yassamine Seladji; Olivier Bouissou (VMCAI, 2013)

Static Analysis of Programs with Imprecise Probabilistic Inputs. - Assalé Adjé; Olivier Bouissou; Jean Goubault-Larrecq; Eric Goubault; Sylvie Putot (VSTTE, 2013)

Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods. - Olivier Bouissou; Alexandre Chapoutot; Samuel Mimram (CoRR, 2013)

Computation of parametric barrier functions for dynamical systems using interval analysis. - Olivier Bouissou; Alexandre Chapoutot; Adel Djaballah; Michel Kieffer (CDC, 2014)

Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. - Olivier Bouissou; Eric Goubault; Sylvie Putot; Aleksandar Chakarov; Sriram Sankaranarayanan 001 (TACAS, 2016)

Construction of parametric barrier functions for dynamical systems using interval analysis. - Adel Djaballah; Alexandre Chapoutot; Michel Kieffer; Olivier Bouissou (Autom., 2017)