Florian Faissole

A Coq formal proof of the Lax-Milgram theorem

Vincent Martin, François Clément, Sylvie Boldo, 2017, CPP.

A Coq Formalization of Lebesgue Integration of Nonnegative Functions pdf

Sylvie Boldo, Florian Faissole, Micaela Mayero, 2021, Journal of Automated Reasoning.

Automated Verification of Temporal Properties of Ladder Programs

Denis Cousineau, Claude Marché, David Mentré, 2021, International Workshop on Formal Methods for Industrial Critical Systems.

Automated formal analysis of temporal properties of Ladder programs

C. Marché, D. Cousineau, Florian Faissole, 2022, International Journal on Software Tools for Technology Transfer.

Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods

Sylvie Boldo, Florian Faissole, Alexandre Chapoutot, 2020, IEEE Transactions on Computers.

Round-off Error Analysis of Explicit One-Step Numerical Integration Methods

Sylvie Boldo, Florian Faissole, Alexandre Chapoutot, 2017, 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH).