The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation. - Mathieu Laurent; Emmanuelle Saillard; Martin Quinson (Correctness@SC, 2021)

Towards Efficient Verification of Parallel Applications with Mc SimGrid. - Mathieu Laurent; Thierry Jéron; Martin Quinson (FORTE, 2025)