Alexandre Chapoutot
6
Documents
Identifiants chercheurs
- alexandre-chapoutot
- 0000-0002-7230-0710
- IdRef : 198059833
Présentation
Je travaille sur la vérification formelle de programmes de contrôle-commande. En particulier, je m'intéresse à définir des méthodes de résolution garantie d'équations différentielles.
I am working on the formal verification of control-command systems. In particular, I am interested in the definition and the implementation of set-based simulation, i.e., the definition of new validated numerical integration methods.
Publications
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 1
- 1
- 1
- 1
- 6
- 1
- 1
|
Construction of parametric barrier functions for dynamical systems using interval analysisAutomatica, 2017, 78, pp.287 - 296. ⟨10.1016/j.automatica.2016.12.013⟩
Article dans une revue
hal-01164307v2
|
|
Improving the numerical accuracy of programs by automatic transformationInternational Journal on Software Tools for Technology Transfer, 2017, 19, pp.427-448. ⟨10.1007/s10009-016-0435-0⟩
Article dans une revue
hal-01373666v1
|
Data-Types Optimization for Floating-Point Formats by Program TransformationControl, Decision and Information Technologies (CoDIT), Apr 2016, Saint Julian's, Malta. ⟨10.1109/CoDIT.2016.7593626⟩
Communication dans un congrès
hal-01290292v1
|
|
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno PhenomenonInternational Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩
Communication dans un congrès
hal-01383584v1
|
|
|
Intra-procedural Optimization of the Numerical Accuracy of ProgramsFMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
Communication dans un congrès
hal-01164340v1
|
Impact of Accuracy Optimization on the Convergence of Numerical Iterative MethodsLogic-Based Program Synthesis and Transformation, 9527, Springer Verlag, pp.143-160, 2015, Lecture Notes in Computer Science, 978-3-319-27435-5. ⟨10.1007/978-3-319-27436-2_9⟩
Chapitre d'ouvrage
hal-01272514v1
|