Pattern Eliminating Transformations. - Horatiu Cirstea; Pierre Lermusiaux; Pierre-Etienne Moreau (LOPSTR, 2020)

Static analysis of pattern-free properties. - Horatiu Cirstea; Pierre Lermusiaux; Pierre-Etienne Moreau (PPDP, 2021)

Analyse statique de transformations pour l'élimination de motifs. (Static analysis of pattern eliminating transformations). - Pierre Lermusiaux (2022)

Generic Encodings and Static Analysis of Constructor Rewriting Systems. - Horatiu Cirstea; Pierre Lermusiaux; Pierre-Etienne Moreau (SYNASC, 2023)

Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation. - Pierre Lermusiaux; Benoît Montagu (ESOP (2), 2024)

The Salto Project: Static Analysis of OCaml Programs by Abstract Interpretation. - Pierre Lermusiaux; Benoît Montagu (ERCIM News, 2024)