Olivier Bouissou

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Automatica	2017-03-28	Paper
Abstract fixpoint computations with numerical acceleration methods Electronic Notes in Theoretical Computer Science	2016-06-17	Paper
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools Lecture Notes in Computer Science	2014-11-03	Paper
Acceleration of the abstract fixpoint computation in numerical program analysis Journal of Symbolic Computation	2012-07-13	Paper
A generalization of \(p\)-boxes to affine arithmetic Computing	2012-04-04	Paper
Proving the Correctness of the Implementation of a Control-Command Algorithm Static Analysis	2009-08-18	Paper
A Hybrid Denotational Semantics for Hybrid Systems Programming Languages and Systems	2008-04-11	Paper
Abstract Interpretation of the Physical Inputs of Embedded Programs Lecture Notes in Computer Science	2008-04-04	Paper

Research outcomes over time

This page was built for person: Olivier Bouissou