Valentin Robert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Automating Bitvector and Finite Field Equivalence Proofs in Lean. | Elizaveta Pertseva, Valentin Robert, Clark W. Barrett, James Parker |
| 2023 | SAFECOMP | RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence. | Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng |
| 2014 | PLDI | Automating formal proofs for reactive systems. | Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner |
| 2012 | CPP | A Formally-Verified Alias Analysis. | Valentin Robert, Xavier Leroy |