Hernán Vanzetto

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 4

Top Topics

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Sci. Comput. Program.

University of Lorraine, Nancy, France (PHD)

Education History

University of Lorraine, Nancy, France

PHD

Publications

Ji-Yong Shin, Jieung Kim, Wolf Honoré, Hernán Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, Zhong Shao
WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems. SoCC (2019)
Ji-Yong Shin, Jieung Kim, Hernán Vanzetto, Srihari Radhakrishnan, Wolf Honoré, Zhong Shao, Mahesh Balakrishnan
WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems. SoCC (2019)
Stephan Merz, Hernán Vanzetto
into unsorted and many-sorted first-order logic. Sci. Comput. Program. 158 (2018)
Stephan Merz, Hernán Vanzetto
Encoding TLA ^+ + into Many-Sorted First-Order Logic. ABZ (2016)
Stephan Merz, Hernán Vanzetto
Encoding TLA+ set theory into many-sorted first-order logic. CoRR (2015)
Stephan Merz, Hernán Vanzetto
Refinement Types for tla +. NASA Formal Methods (2014)
Stephan Merz, Hernán Vanzetto
Automatic Verification of TLA + Proof Obligations with SMT Solvers. LPAR (2012)
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
TLA+ Proofs CoRR (2012)
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
TLA + Proofs. FM (2012)
Stephan Merz, Hernán Vanzetto
Harnessing SMT Solvers for TLA+ Proofs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Stephan Merz, Hernán Vanzetto
Towards certification of TLA+ proof obligations with SMT solvers. PxTP (2011)