Matthieu Journault
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2020
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | WISE | How to Teach the Undecidability of Malware Detection Problem and Halting Problem. | Matthieu Journault, Pascal Lafourcade, Malika More, Rmy Poulain, Lo Robert |
| 2019 | ESOP | An Abstract Domain for Trees with Numeric Relations. | Matthieu Journault, Antoine Min, Abdelraouf Ouadjaout |
| 2018 | SAS | Modular Static Analysis of String Manipulations in C Programs. | Matthieu Journault, Antoine Min, Abdelraouf Ouadjaout |
| 2016 | SAS | Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs. | Matthieu Journault, Antoine Min |
| 2014 | EuroPar | Power-Aware Replica Placement in Tree Networks with Multiple Servers per Client. | Guillaume Aupy, Anne Benoit, Matthieu Journault, Yves Robert |