Hernn Vanzetto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2012–2019
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CLOUD | WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems. | Ji-Yong Shin, Jieung Kim, Wolf Honor, Hernn Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, Zhong Shao |
| 2012 | FM | TLA + Proofs. | Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernn Vanzetto |
| 2012 | LPAR | Automatic Verification of TLA + Proof Obligations with SMT Solvers. | Stephan Merz, Hernn Vanzetto |