Xavier Denis
Scholar

Xavier Denis

Google Scholar ID: CNeJ5QQAAAAJ
ETHZ
Formal verificationRust
Google Scholar↗
Citations & Impact
All-time
Citations
215
 
H-index
4
 
i10-index
4
 
Publications
6
 
Co-authors
4
list available
Contact
No contact links provided.
Publications
2 items
Toward Practical Deductive Verification: Insights from a Qualitative Survey in Industry and Academia
2025
Cited
0
A hybrid approach to semi-automated Rust verification
arXiv.org · 2024
Cited
6
Resume (English only)
Co-authors
4 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Yusuke Matsushita
Yusuke Matsushita
Kyoto University
Co-author 4
Co-author 4