Franck Védrine

	2009
3		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
2		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
	1995
1		Franck Védrine: Binding-Time Analysis and Strictness Analysis by Abstract Interpretation SAS 1995: 400-417

Coauthor Index

1	Olivier Bouissou	[3]
2	David Delmas	[2]
3	Eric Goubault	[2] [3]
4	Sylvie Putot	[2] [3]
5	Jean Souyris	[2]
6	Karim Tekkal	[2] [3]