Olivier Bouissou

	2009
4		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		Olivier Bouissou: Proving the Correctness of the Implementation of a Control-Command Algorithm. SAS 2009: 102-119
	2008
2		Olivier Bouissou, Matthieu Martel: A Hybrid Denotational Semantics for Hybrid Systems. ESOP 2008: 63-77
1		Olivier Bouissou, Matthieu Martel: Abstract Interpretation of the Physical Inputs of Embedded Programs. VMCAI 2008: 37-51

Coauthor Index

1	Eric Goubault	[4]
2	Matthieu Martel	[1] [2]
3	Sylvie Putot	[4]
4	Karim Tekkal	[4]
5	Franck Védrine	[4]