Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Valentin Perrelle
conf.researchr.org general profile
ECOOP 2025 profile
ETAPS 2019 profile
POPL 2020 profile
Not registered as user
Name:
Valentin Perrelle
Contributions
2025
ECOOP
Author of Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis within the Technical Papers-track
2020
PLanQC
Author of Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control within the PLanQC-track
Author of Qbricks: formal verification in quantum computing within the PLanQC-track
2019
InterAVT
Author of Advances in Usability of Formal Methods for Code Verification within the InterAVT-track
Share
x
Fri 23 May 14:25
