| 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 | |
| 1 | Eric Goubault | [4] |
| 2 | Matthieu Martel | [1] [2] |
| 3 | Sylvie Putot | [4] |
| 4 | Karim Tekkal | [4] |
| 5 | Franck Védrine | [4] |