![]() |
| * | 2009 | |
|---|---|---|
| 4 | EE | 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 | EE | Olivier Bouissou: Proving the Correctness of the Implementation of a Control-Command Algorithm. SAS 2009: 102-119 |
| 2008 | ||
| 2 | EE | Olivier Bouissou, Matthieu Martel: A Hybrid Denotational Semantics for Hybrid Systems. ESOP 2008: 63-77 |
| 1 | EE | 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] |