The following pages link to Olivier Bouissou (Q411435):
Displaying 9 items.
- A generalization of \(p\)-boxes to affine arithmetic (Q411436) (← links)
- Acceleration of the abstract fixpoint computation in numerical program analysis (Q435974) (← links)
- Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
- Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities (Q2272918) (← links)
- Abstract Fixpoint Computations with Numerical Acceleration Methods (Q2814099) (← links)
- Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools (Q2926643) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)
- Abstract Interpretation of the Physical Inputs of Embedded Programs (Q5452705) (← links)
- A Hybrid Denotational Semantics for Hybrid Systems (Q5458386) (← links)
