Power-aware replica placement in tree networks with multiple servers per client. - Guillaume Aupy; Anne Benoit; Matthieu Journault; Yves Robert (Sustain. Comput. Informatics Syst., 2015)

Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs. - Matthieu Journault; Antoine Miné (SAS, 2016)

Modular Static Analysis of String Manipulations in C Programs. - Matthieu Journault; Antoine Miné; Abdelraouf Ouadjaout (SAS, 2018)

Inferring functional properties of matrix manipulating programs by abstract interpretation. - Matthieu Journault; Antoine Miné (Formal Methods Syst. Des., 2018)

An Abstract Domain for Trees with Numeric Relations. - Matthieu Journault; Antoine Miné; Abdelraouf Ouadjaout (ESOP, 2019)

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer. - Matthieu Journault; Antoine Miné; Raphaël Monat; Abdelraouf Ouadjaout (VSTTE, 2019)

Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference. (Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l'inférence de contrats). - Matthieu Journault (2019)

How to Teach the Undecidability of Malware Detection Problem and Halting Problem. - Matthieu Journault; Pascal Lafourcade 001; Malika More; Rémy Poulain; Léo Robert (WISE, 2020)