| |
| * | 2009 | |
|---|---|---|
| 2 | 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 |
| 1995 | ||
| 1 | Franck Védrine: Binding-Time Analysis and Strictness Analysis by Abstract Interpretation SAS 1995: 400-417 | |
| 1 | Olivier Bouissou | [2] |
| 2 | Eric Goubault | [2] |
| 3 | Sylvie Putot | [2] |
| 4 | Karim Tekkal | [2] |