Olivier Bouissou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2008–2016
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | TACAS | Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. | Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan |
| 2013 | VMCAI | Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools. | Yassamine Seladji, Olivier Bouissou |
| 2012 | RSP | HySon: Set-based simulation of hybrid systems. | Olivier Bouissou, Samuel Mimram, Alexandre Chapoutot |
| 2009 | CAV | HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. | Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Vdrine |
| 2009 | SAS | Proving the Correctness of the Implementation of a Control-Command Algorithm. | Olivier Bouissou |
| 2008 | ESOP | A Hybrid Denotational Semantics for Hybrid Systems. | Olivier Bouissou, Matthieu Martel |
| 2008 | VMCAI | Abstract Interpretation of the Physical Inputs of Embedded Programs. | Olivier Bouissou, Matthieu Martel |