Concepedia

Sylvie Putot

SP

Statistics

Publications

16

Citations

461

H-Index

13

Active since

2002

Affiliations

Centre National de la Recherche Scientifique(Current)

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

École Polytechnique

Laboratoire d'Informatique de l'École Polytechnique

Université Paris-Saclay

Sylvie Putot is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceNumerical AnalysisSystems EngineeringApproximation TheoryFormal VerificationComputational ComplexityMathematical ProgrammingVerification

Publications per year

2002–2023

16

Publications

16

Static analysis of finite precision computations

Éric Goubault, Sylvie Putot · Verification, Model Checking and Abstract Interpretation · 2011 · 94 citations

Real Data Type, Engineering, Validated Numerics +6

A generalization of p-boxes to affine arithmetic

Olivier Bouissou, Éric Goubault, Jean Goubault-Larrecq et al. · Computing · 2012 · 46 citations

Finite Geometry, Finite Field

Forward Inner-Approximated Reachability of Non-Linear Continuous Systems

Éric Goubault, Sylvie Putot · 2017 · 38 citations

Numerical Analysis, Reachability Analysis, Taylor Models Outer-approximations +14

Inner approximated reachability analysis

Éric Goubault, Olivier Mullier, Sylvie Putot et al. · 2014 · 36 citations · Full text

Numerical Analysis, Mathematical Programming, Engineering +16

Inner and outer reachability for the verification of control systems

Éric Goubault, Sylvie Putot · 2019 · 31 citations

Mathematical Programming, Engineering, Reachability Problem +16

1–5 of 16