Matthieu Journault

According to our database, Matthieu Journault authored at least 8 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

How to Teach the Undecidability of Malware Detection Problem and Halting Problem.

Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain, Léo Robert

Proceedings of the Information Security Education. Information Security in Action, 2020

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

PhD thesis, 2019

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer.

Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

An Abstract Domain for Trees with Numeric Relations.

Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout

Proceedings of the Programming Languages and Systems, 2019

2018

Inferring functional properties of matrix manipulating programs by abstract interpretation.

Matthieu Journault, Antoine Miné

Formal Methods Syst. Des., 2018

Modular Static Analysis of String Manipulations in C Programs.

Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout

Proceedings of the Static Analysis - 25th International Symposium, 2018

2016

Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs.

Matthieu Journault, Antoine Miné

Proceedings of the Static Analysis - 23rd International Symposium, 2016

2015

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