Accepted papers
- Numerical Abstract Domain Using Support Function (with Olivier Bouissou). In the International Workshop on Numerical Software Verification(NSV 2012). [PDF]
- Acceleration of the abstract fixpoint computation in numerical program analysis (with Olivier Bouissou and Alexandre Chapoutot). In Journal of Symbolic Computation, 2012. [PDF]
- Abstract Fixpoint Computations with Numerical Acceleration Methods (with Olivier Bouissou and Alexandre Chapoutot). In the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010). [PDF]
Reports
- Master2: Accélération de calcul du point-fixe en interprétation abstraire en utilisant l'accélération de convergence des suites numériques, co-supervised by Olivier Bouissou and Alexandre Chapoutot. [PDF]