Sylvie Putot

Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot: A generalization of p-boxes to affine arithmetic. Computing 94(2-4): 189-201 (2012)

Eric Goubault, Tristan Le Gall, Sylvie Putot: An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations. Electr. Notes Theor. Comput. Sci. 287: 65-76 (2012)

Daniel Menard, Romuald Rocher, Olivier Sentieys, N. Simon, L.-S. Didier, T. Hilaire, B. Lopez, Eric Goubault, Sylvie Putot, Franck Védrine, A. Najahi, Guillaume Revy, L. Fangain, Christian Samoyeau, Fabrice Lemonnier, Christophe Clienti: Design of fixed-point embedded systems (DEFIS) French ANR project. DASIP 2012: 1-2

Eric Goubault, Sylvie Putot, Franck Védrine: Modular Static Analysis with Zonotopes. SAS 2012: 24-40

Georgios E. Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan: Foreword. Mathematics in Computer Science 5(4): 357-358 (2011)

Eric Goubault, Sylvie Putot: Static Analysis of Finite Precision Computations. VMCAI 2011: 232-247

Khalil Ghorbal, Eric Goubault, Sylvie Putot: A Logical Product Approach to Zonotope Intersection. CAV 2010: 212-226

Khalil Ghorbal, Eric Goubault, Sylvie Putot: A Logical Product Approach to Zonotope Intersection. CoRR abs/1002.2236 (2010)

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

Khalil Ghorbal, Eric Goubault, Sylvie Putot: The Zonotope Abstract Domain Taylor1+. CAV 2009: 627-633

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

Eric Goubault, Sylvie Putot: A zonotopic framework for functional abstractions. CoRR abs/0910.1763 (2009)

Eric Goubault, Sylvie Putot: Perturbed affine arithmetic for invariant computation in numerical program analysis. CoRR abs/0807.2961 (2008)

Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino: Static Analysis of the Accuracy in Control Systems: Principles and Experiments. FMICS 2007: 3-20

Eric Goubault, Sylvie Putot: Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. SAS 2007: 137-152

Eric Goubault, Sylvie Putot: Static Analysis of Numerical Algorithms. SAS 2006: 18-34

Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot: A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. CAV 2005: 462-475

Sylvie Putot, Eric Goubault, Matthieu Martel: Static Analysis-Based Validation of Floating-Point Computations. Numerical Software with Result Verification 2003: 306-313

Eric Goubault, Matthieu Martel, Sylvie Putot: Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. ESOP 2002: 209-212