Improving the results of program analysis by abstract interpretation beyond the decreasing sequence. - Rémy Boutonnet; Nicolas Halbwachs (Formal Methods Syst. Des., 2018)

Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis. - Rémy Boutonnet; Nicolas Halbwachs (VMCAI, 2019)

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

Modular Analysis of Numerical Programs by Abstract Interpretation. (Analyse modulaire de propriétés numériques par interprétation abstraite). - Rémy Boutonnet (2020)