Matthieu Journault

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 6

Top Topics

Malware Detection

Abstract Interpretation

Test Generation

Top Venues

Publications

Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain, Léo Robert
How to Teach the Undecidability of Malware Detection Problem and Halting Problem. WISE (2020)
Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer. VSTTE (2019)
Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
An Abstract Domain for Trees with Numeric Relations. ESOP (2019)
Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
Modular Static Analysis of String Manipulations in C Programs. SAS (2018)
Matthieu Journault, Antoine Miné
Inferring functional properties of matrix manipulating programs by abstract interpretation. Formal Methods Syst. Des. 53 (2) (2018)
Matthieu Journault, Antoine Miné
Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs. SAS (2016)
Guillaume Aupy, Anne Benoit, Matthieu Journault, Yves Robert
Power-aware replica placement in tree networks with multiple servers per client. Sustain. Comput. Informatics Syst. 5 (2015)
Guillaume Aupy, Anne Benoit, Matthieu Journault, Yves Robert
Power-Aware Replica Placement in Tree Networks with Multiple Servers per Client. Euro-Par (2014)