We stand with Ukraine  

Rémy Boutonnet

According to our database1, Rémy Boutonnet authored at least 4 papers between 2018 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Modular Analysis of Numerical Programs by Abstract Interpretation. (Analyse modulaire de propriétés numériques par interprétation abstraite).
[BibTeX]
[DOI]
Rémy Boutonnet
PhD thesis, 2020

2019
Improving WCET Evaluation using Linear Relation Analysis.
[BibTeX]
[DOI]
Pascal Raymond
,
Claire Maiza
,
Catherine Parent-Vigouroux
,
Erwan Jahier
,
Nicolas Halbwachs
,
Fabienne Carrier
,
Mihail Asavoae
,
Rémy Boutonnet
Leibniz Trans. Embed. Syst., 2019

Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis.
[BibTeX]
[DOI]
Rémy Boutonnet
,
Nicolas Halbwachs
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence.
[BibTeX]
[DOI]
Rémy Boutonnet
,
Nicolas Halbwachs
Formal Methods Syst. Des., 2018


  Loading...