Fonenantsoa Maurica

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 5

Top Topics

Geographically Dispersed

Termination Analysis

Instruction Set

Top Venues

University of La Réunion, Saint-Denis, France (PHD)

Education History

University of La Réunion, Saint-Denis, France

PHD

Publications

Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles
Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. RV (2020)
Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov, Julien Signoles, Franck Védrine
Abstract Compilation for Verification of Numerical Accuracy Properties. CoRR (2019)
Fonenantsoa Maurica, David R. Cok, Julien Signoles
Runtime Assertion Checking and Static Verification: Collaborative Partners. ISoLA (2) (2018)
Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet
Termination analysis of floating-point programs using parameterizable rational approximations. SAC (2016)
Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet
On the Linear Ranking Problem for Simple Floating-Point Loops. SAS (2016)