We stand with Ukraine  

Maxime Jacquemin

According to our database1, Maxime Jacquemin authored at least 4 papers between 2018 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Arithmétiques relationnelles pour l'analyse par interprétation abstraite de propriétés de précision numérique. (Relational Arithmetics for Abstract Interpretation Based Analysis of Numerical Accuracy Properties).
[BibTeX]
[DOI]
Maxime Jacquemin
PhD thesis, 2021

Runtime Abstract Interpretation for Numerical Accuracy and Robustness.
[BibTeX]
[DOI]
Franck Védrine
,
Maxime Jacquemin
,
Nikolai Kosmatov
,
Julien Signoles
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2019
Abstract Compilation for Verification of Numerical Accuracy Properties.
[BibTeX]
[DOI]
Maxime Jacquemin
,
Fonenantsoa Maurica
,
Nikolai Kosmatov
,
Julien Signoles
,
Franck Védrine
CoRR, 2019

2018
A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis.
[BibTeX]
[DOI]
Maxime Jacquemin
,
Sylvie Putot
,
Franck Védrine
Proceedings of the Static Analysis - 25th International Symposium, 2018


  Loading...