Termination analysis of floating-point programs using parameterizable rational approximations. - Fonenantsoa Maurica; Frédéric Mesnard; Étienne Payet (SAC, 2016)

On the Linear Ranking Problem for Simple Floating-Point Loops. - Fonenantsoa Maurica; Frédéric Mesnard; Étienne Payet (SAS, 2016)

Analyses de terminaison des calculs flottants. (Termination Analysis of Floating-Point Computations). - Fonenantsoa Maurica (2017)

Runtime Assertion Checking and Static Verification: Collaborative Partners. - Fonenantsoa Maurica; David R. Cok; Julien Signoles (ISoLA (2), 2018)

Abstract Compilation for Verification of Numerical Accuracy Properties. - Maxime Jacquemin; Fonenantsoa Maurica; Nikolai Kosmatov; Julien Signoles; Franck Védrine (CoRR, 2019)

Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. - Nikolai Kosmatov; Fonenantsoa Maurica; Julien Signoles (RV, 2020)