Olivier Bouissou

发表

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

Eric Goubault, Karim Tekkal, Sylvie Putot, 2009, CAV.

From control-command synchronous programs to hybrid automata

Olivier Bouissou, 2012, ADHS.

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods

Alexandre Chapoutot, Olivier Bouissou, Adel Djoudi, 2013, NASA Formal Methods.

A Hybrid Denotational Semantics for Hybrid Systems

Matthieu Martel, Olivier Bouissou, 2008, ESOP.

HySon: Set-based simulation of hybrid systems

Samuel Mimram, Alexandre Chapoutot, Olivier Bouissou, 2012, 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP).

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

Olivier Bouissou, Olivier Bouissou, 2012, Tech. Sci. Informatiques.

Static Analysis of Embedded Programs with Continuous I/O (poster)

Matthieu Martel, Olivier Bouissou, O. Bouissou, 2007 .

Abstract Fixpoint Computations with Numerical Acceleration Methods pdf

Yassamine Seladji, Alexandre Chapoutot, Olivier Bouissou, 2010, Electron. Notes Theor. Comput. Sci..

Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities

Sriram Sankaranarayanan, Eric Goubault, Sylvie Putot, 2016, TACAS.

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

Olivier Bouissou, Olivier Bouissou, 2008 .

Set-based Simulation for Design and Verification of Simulink Models

Alexandre Chapoutot, Olivier Bouissou, Samuel Mimram, 2014 .

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

Olivier Bouissou, 2009, SAS.

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

Yassamine Seladji, Olivier Bouissou, O. Bouissou, 2013, VMCAI.

An operational semantics for Simulink's simulation engine

Alexandre Chapoutot, Olivier Bouissou, O. Bouissou, 2012, LCTES '12.

Acceleration of the abstract fixpoint computation in numerical program analysis

Yassamine Seladji, Alexandre Chapoutot, Olivier Bouissou, 2012, J. Symb. Comput..

An operational semantics for Simulink's simulation engine

Alexandre Chapoutot, Olivier Bouissou, 2012, LCTES 2012.

Numerical Abstract Domain Using Support Function

Yassamine Seladji, Olivier Bouissou, 2012 .

Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods pdf

Samuel Mimram, Alexandre Chapoutot, Olivier Bouissou, 2013, ArXiv.

Computation of parametric barrier functions for dynamical systems using interval analysis

Michel Kieffer, Alexandre Chapoutot, Olivier Bouissou, 2014, 53rd IEEE Conference on Decision and Control.

Space Software Validation using Abstract Interpretation

Eric Goubault, Patrick Cousot, Antoine Miné, 2009 .

A generalization of p-boxes to affine arithmetic

Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot, 2011, Computing.

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

Michel Kieffer, Alexandre Chapoutot, Olivier Bouissou, 2015, Autom..

Abstract Interpretation of the Physical Inputs of Embedded Programs

Matthieu Martel, Olivier Bouissou, O. Bouissou, 2008, VMCAI.

Static Analysis of Programs with Imprecise Probabilistic Inputs

Jean Goubault-Larrecq, Eric Goubault, Assalé Adjé, 2013, VSTTE.

Numerical Abstract Domain Using Support Functions

Yassamine Seladji, Olivier Bouissou, 2013, NASA Formal Methods.