Olivier Bouissou

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 3

Top Venues

CoRR

NASA Formal Methods

VMCAI

VSTTE

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou
Construction of parametric barrier functions for dynamical systems using interval analysis. Autom. 78 (2017)
Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. TACAS (2016)
Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou
Construction of Parametric Barrier Functions for Dynamical Systems using Interval Analysis. CoRR (2015)
Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer
Computation of parametric barrier functions for dynamical systems using interval analysis. CDC (2014)
Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods. CoRR (2013)
Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot
Static Analysis of Programs with Imprecise Probabilistic Inputs. VSTTE (2013)
Yassamine Seladji, Olivier Bouissou
Numerical Abstract Domain Using Support Functions. NASA Formal Methods (2013)
Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods. NASA Formal Methods (2013)
Yassamine Seladji, Olivier Bouissou
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools. VMCAI (2013)
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
Acceleration of the abstract fixpoint computation in numerical program analysis. J. Symb. Comput. 47 (12) (2012)
Olivier Bouissou, Alexandre Chapoutot
An operational semantics for Simulink's simulation engine. LCTES (2012)
Olivier Bouissou
From control-command synchronous programs to hybrid automata. ADHS (2012)
Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot
A generalization of p-boxes to affine arithmetic. Computing 94 (2-4) (2012)
Olivier Bouissou
Vérification partielle de programmes de contrôle-commande par interprétation abstraite. Tech. Sci. Informatiques 31 (3) (2012)
Olivier Bouissou, Samuel Mimram, Alexandre Chapoutot
HySon: Set-based simulation of hybrid systems. RSP (2012)
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
Abstract Fixpoint Computations with Numerical Acceleration Methods CoRR (2010)
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
Abstract Fixpoint Computations with Numerical Acceleration Methods. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Olivier Bouissou
Proving the Correctness of the Implementation of a Control-Command Algorithm. SAS (2009)
Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. CAV (2009)
Olivier Bouissou, Matthieu Martel
A Hybrid Denotational Semantics for Hybrid Systems. ESOP (2008)
Olivier Bouissou, Matthieu Martel
Abstract Interpretation of the Physical Inputs of Embedded Programs. VMCAI (2008)

Olivier Bouissou.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Olivier Bouissou