An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints. - Mathias Péron; Nicolas Halbwachs (VMCAI, 2007)

Discovering properties about arrays in simple programs. - Nicolas Halbwachs; Mathias Péron (PLDI, 2008)

Contributions à l'analyse statique de programmes manipulant des tableaux. (Contributions to the Static Analysis of Programs Handling Arrays). - Mathias Péron (2010)