Ortac: Runtime Assertion Checking for OCaml (Tool Paper). - Jean-Christophe Filliâtre; Clément Pascutto (RV, 2021)

Optimizing Prestate Copies in Runtime Verification of Function Postconditions. - Jean-Christophe Filliâtre; Clément Pascutto (RV, 2022)

Runtime verification of OCaml programs. (Vérification de programmes OCaml à l'exécution). - Clément Pascutto (2023)