| 2009 | ||
|---|---|---|
| 2 | 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 | |
| 1 | David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine: Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. FMICS 2009: 53-69 | |
| 1 | Olivier Bouissou | [2] |
| 2 | David Delmas | [1] |
| 3 | Eric Goubault | [1] [2] |
| 4 | Sylvie Putot | [1] [2] |
| 5 | Jean Souyris | [1] |
| 6 | Franck Védrine | [1] [2] |