Approche innovante pour la recherche et l'extraction coopérative et dynamique d'informations sur Internet. - Xavier Denis; Gaëlle Simon; Nicolas Chanchevrier (EGC, 2004)

Architecture of a Medical Information Extraction System. - Dalila Bekhouche; Yann Pollet; Bruno Grilhères; Xavier Denis (NLDB, 2004)

Creusot: A Foundry for the Deductive Verification of Rust Programs. - Xavier Denis; Jacques-Henri Jourdan; Claude Marché (ICFEM, 2022)

RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code. - Yusuke Matsushita 002; Xavier Denis; Jacques-Henri Jourdan; Derek Dreyer (PLDI, 2022)

Specifying and Verifying Higher-order Rust Iterators. - Xavier Denis; Jacques-Henri Jourdan (TACAS (2), 2023)

VerifyThis 2023: An International Program Verification Competition. - Xavier Denis; Stephen F. Siegel (TOOLympics@ETAPS, 2023)

Vérification déductive de programmes Rust. (Deductive verification of Rust programs). - Xavier Denis (2023)

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities. - Federico Poli 001; Xavier Denis; Peter Müller 001; Alexander J. Summers (CoRR, 2024)

A Hybrid Approach to Semi-automated Rust Verification. - Sacha-Élie Ayoun; Xavier Denis; Petar Maksimovic 001; Philippa Gardner (Proc. ACM Program. Lang., 2025)