Xavier Denis

12 papers A* 1C 3Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Hybrid Approach to Semi-automated Rust Verification.
Proc. ACM Program. Lang.
Sacha-Élie Ayoun, Xavier Denis, Petar Maksimovic, Philippa Gardner
2025 C conf
GRust: A Programming Language for Automotive Engineering.
FMICS
Émilie Thomé, Xavier Denis, Christine Tasson
2025 J jnl
Toward Practical Deductive Verification: Insights from a Qualitative Survey in Industry and Academia.
CoRR
Lea Salome Brugger, Xavier Denis, Peter Müller
2024 J jnl
A hybrid approach to semi-automated Rust verification.
CoRR
Sacha-Élie Ayoun, Xavier Denis, Petar Maksimovic, Philippa Gardner
2024 J jnl
Reasoning about Interior Mutability in Rust using Library-Defined Capabilities.
CoRR
Federico Poli, Xavier Denis, Peter Müller, Alexander J. Summers
2023 — conf
Specifying and Verifying Higher-order Rust Iterators.
TACAS (2)
Xavier Denis, Jacques-Henri Jourdan
2023 — conf
VerifyThis 2023: An International Program Verification Competition.
TOOLympics@ETAPS
Xavier Denis, Stephen F. Siegel
2023 — —
Vérification déductive de programmes Rust. (Deductive verification of Rust programs).
Xavier Denis
2022 C conf
Creusot: A Foundry for the Deductive Verification of Rust Programs.
ICFEM
Xavier Denis, Jacques-Henri Jourdan, Claude Marché
2022 A* conf
RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code.
PLDI
Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer
2004 — conf
Approche innovante pour la recherche et l'extraction coopérative et dynamique d'informations sur Internet.
EGC
Xavier Denis, Gaëlle Simon, Nicolas Chanchevrier
2004 C conf
Architecture of a Medical Information Extraction System.
NLDB
Dalila Bekhouche, Yann Pollet, Bruno Grilhères, Xavier Denis