Alexandre Chapoutot

	2010
6		Alexandre Chapoutot: Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables. SAS 2010: 184-200
5		Alexandre Chapoutot: Interval Slopes as Numerical Abstract Domain for Floating-Point Variables CoRR abs/1004.0202: (2010)
4		Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot: Abstract Fixpoint Computations with Numerical Acceleration Methods CoRR abs/1006.3159: (2010)
3		Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot: Abstract Fixpoint Computations with Numerical Acceleration Methods. Electr. Notes Theor. Comput. Sci. 267(1): 29-42 (2010)
	2009
2		Alexandre Chapoutot, Matthieu Martel: Abstract Simulation: A Static Analysis of Simulink Models. ICESS 2009: 83-92
1		Alexandre Chapoutot, Matthieu Martel: Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Technique et Science Informatiques 28(4): 503-531 (2009)

Coauthor Index

1	Olivier Bouissou	[3] [4]
2	Matthieu Martel	[1] [2]
3	Yassamine Seladji	[3] [4]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page