 | 2012 |
|---|
| 8 |       | Olivier Bouissou,
Eric Goubault,
Jean Goubault-Larrecq,
Sylvie Putot:
A generalization of p-boxes to affine arithmetic.
Computing 94(2-4): 189-201 (2012) |
| 7 | | Olivier Bouissou:
Vérification partielle de programmes de contrôle-commande par interprétation abstraite.
Technique et Science Informatiques 31(3): 337-373 (2012) |
| 2010 |
|---|
| 6 | | Olivier Bouissou,
Yassamine Seladji,
Alexandre Chapoutot:
Abstract Fixpoint Computations with Numerical Acceleration Methods
CoRR abs/1006.3159: (2010) |
| 5 | | Olivier Bouissou,
Yassamine Seladji,
Alexandre Chapoutot:
Abstract Fixpoint Computations with Numerical Acceleration Methods.
Electr. Notes Theor. Comput. Sci. 267(1): 29-42 (2010) |
| 2009 |
|---|
| 4 | | Olivier Bouissou,
Eric Goubault,
Sylvie Putot,
Karim Tekkal,
Franck Védrine:
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.
CAV 2009: 620-626 |
| 3 | | Olivier Bouissou:
Proving the Correctness of the Implementation of a Control-Command Algorithm.
SAS 2009: 102-119 |
| 2008 |
|---|
| 2 | | Olivier Bouissou,
Matthieu Martel:
A Hybrid Denotational Semantics for Hybrid Systems.
ESOP 2008: 63-77 |
| 1 | | Olivier Bouissou,
Matthieu Martel:
Abstract Interpretation of the Physical Inputs of Embedded Programs.
VMCAI 2008: 37-51 |
Data released under the ODC-BY 1.0 license — See also our legal information page