Rémy Boutonnet

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 3

Top Topics

Abstract Interpretation

Active Databases

Evaluation Process

Top Venues

Leibniz Trans. Embed. Syst.

Formal Methods Syst. Des.

Publications

Rémy Boutonnet, Nicolas Halbwachs
Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis. VMCAI (2019)
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet
Improving WCET Evaluation using Linear Relation Analysis. Leibniz Trans. Embed. Syst. 6 (1) (2019)
Rémy Boutonnet, Nicolas Halbwachs
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence. Formal Methods Syst. Des. 53 (3) (2018)