HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. - Olivier Bouissou; Eric Goubault; Sylvie Putot; Karim Tekkal; Franck Védrine (CAV, 2009)

Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. - David Delmas; Eric Goubault; Sylvie Putot; Jean Souyris; Karim Tekkal; Franck Védrine (FMICS, 2009)