Olivier Bouissou

According to our database, Olivier Bouissou authored at least 20 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Construction of parametric barrier functions for dynamical systems using interval analysis.

Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou

Autom., 2017

2016

Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities.

Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2014

Computation of parametric barrier functions for dynamical systems using interval analysis.

Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods.

Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram

CoRR, 2013

Static Analysis of Programs with Imprecise Probabilistic Inputs.

Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools.

Yassamine Seladji, Olivier Bouissou

Proceedings of the Verification, 2013

Numerical Abstract Domain Using Support Functions.

Yassamine Seladji, Olivier Bouissou

Proceedings of the NASA Formal Methods, 2013

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods.

Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi

Proceedings of the NASA Formal Methods, 2013

2012

Vérification partielle de programmes de contrôle-commande par interprétation abstraite.

Olivier Bouissou

Tech. Sci. Informatiques, 2012

Acceleration of the abstract fixpoint computation in numerical program analysis.

Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot

J. Symb. Comput., 2012

A generalization of p-boxes to affine arithmetic.

Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot

Computing, 2012

HySon: Set-based simulation of hybrid systems.

Olivier Bouissou, Samuel Mimram, Alexandre Chapoutot

Proceedings of the 23rd IEEE International Symposium on Rapid System Prototyping, 2012

An operational semantics for Simulink's simulation engine.

Olivier Bouissou, Alexandre Chapoutot

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012

From control-command synchronous programs to hybrid automata.

Olivier Bouissou

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2010

Abstract Fixpoint Computations with Numerical Acceleration Methods.

Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

2009

Proving the Correctness of the Implementation of a Control-Command Algorithm.

Olivier Bouissou

Proceedings of the Static Analysis, 16th International Symposium, 2009

HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.

Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Analyse statique par interprétation abstraite de systèmes hybrides.

Olivier Bouissou

PhD thesis, 2008

Abstract Interpretation of the Physical Inputs of Embedded Programs.

Olivier Bouissou, Matthieu Martel

Proceedings of the Verification, 2008

A Hybrid Denotational Semantics for Hybrid Systems.

Olivier Bouissou, Matthieu Martel

Proceedings of the Programming Languages and Systems, 2008