Florian Faissole

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 14

Top Topics

Temporal Properties

Top Venues

J. Autom. Reason.

Publications

Florian Faissole
Formally-Verified Round-Off Error Analysis of Runge-Kutta Methods. J. Autom. Reason. 68 (1) (2024)
Paul Geneau de Lamarlière, Guillaume Melquiond, Florian Faissole
Slimmer Formal Proofs for Mathematical Libraries. ARITH (2023)
Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
Automated formal analysis of temporal properties of Ladder programs. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
A Coq Formalization of Lebesgue Integration of Nonnegative Functions. J. Autom. Reason. 66 (2) (2022)
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
A Coq Formalization of Lebesgue Integration of Nonnegative Functions. CoRR (2021)
Martin E. Bidlingmaier, Florian Faissole, Bas Spitters
Synthetic topology in Homotopy Type Theory for probabilistic programming. Math. Struct. Comput. Sci. 31 (10) (2021)
Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
Automated Verification of Temporal Properties of Ladder Programs. FMICS (2021)
Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods. IEEE Trans. Computers 69 (12) (2020)
Martin E. Bidlingmaier, Florian Faissole, Bas Spitters
Synthetic topology in Homotopy Type Theory for probabilistic programming. CoRR (2019)
Florian Faissole, George A. Constantinides, David Thomas
Formalizing Loop-Carried Dependencies in Coq for High-Level Synthesis. FCCM (2019)
Sylvie Boldo, Florian Faissole, Vincent Tourneur
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers. ARITH (2018)
Florian Faissole
Formalization and Closedness of Finite Dimensional Subspaces. SYNASC (2017)
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
A Coq formal proof of the LaxMilgram theorem. CPP (2017)
Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
Round-off Error Analysis of Explicit One-Step Numerical Integration Methods. ARITH (2017)