C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Xavier Denis
ORCID
Publication Activity (10 Years)
Years Active: 2004-2023
Publications (10 Years): 3
Top Topics
Functional Verification
Top Venues
PLDI
TACAS (2)
ICFEM
</>
Publications
</>
Xavier Denis
,
Jacques-Henri Jourdan
Specifying and Verifying Higher-order Rust Iterators.
TACAS (2)
(2023)
Yusuke Matsushita
,
Xavier Denis
,
Jacques-Henri Jourdan
,
Derek Dreyer
RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code.
PLDI
(2022)
Xavier Denis
,
Jacques-Henri Jourdan
,
Claude Marché
Creusot: A Foundry for the Deductive Verification of Rust Programs.
ICFEM
(2022)
Xavier Denis
,
Gaëlle Simon
,
Nicolas Chanchevrier
Approche innovante pour la recherche et l'extraction coopérative et dynamique d'informations sur Internet.
EGC
(2004)
Dalila Bekhouche
,
Yann Pollet
,
Bruno Grilhères
,
Xavier Denis
Architecture of a Medical Information Extraction System.
NLDB
(2004)