Fonenantsoa Maurica

According to our database, Fonenantsoa Maurica authored at least 6 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Efficient Runtime Assertion Checking for Properties over Mathematical Numbers.

Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles

Proceedings of the Runtime Verification - 20th International Conference, 2020

2019

Abstract Compilation for Verification of Numerical Accuracy Properties.

Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov, Julien Signoles, Franck Védrine

CoRR, 2019

2018

Runtime Assertion Checking and Static Verification: Collaborative Partners.

Fonenantsoa Maurica, David R. Cok, Julien Signoles

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017

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

Fonenantsoa Maurica

PhD thesis, 2017

2016

On the Linear Ranking Problem for Simple Floating-Point Loops.

Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Termination analysis of floating-point programs using parameterizable rational approximations.

Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016