Olivier Bouissou

Available identifiers

Publication	Date of Publication	Type
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities	2019-09-17	Paper
Construction of parametric barrier functions for dynamical systems using interval analysis	2017-03-28	Paper
Abstract fixpoint computations with numerical acceleration methods	2016-06-17	Paper
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools	2014-11-03	Paper
Acceleration of the abstract fixpoint computation in numerical program analysis	2012-07-13	Paper
A generalization of \(p\)-boxes to affine arithmetic	2012-04-04	Paper
Proving the Correctness of the Implementation of a Control-Command Algorithm	2009-08-18	Paper
A Hybrid Denotational Semantics for Hybrid Systems	2008-04-11	Paper
Abstract Interpretation of the Physical Inputs of Embedded Programs	2008-04-04	Paper

This page was built for person: Olivier Bouissou