Mario M. Alvarez

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 2

Top Topics

Dispute Resolution

Top Venues

SOSCYPS@CPSWeek

Publications

Mario M. Alvarez, Henry Arneson, Ben Berger, Lee Bousfield, Chris Buckland, Yafah Edelman, Edward W. Felten, Daniel Goldman, Raul Jordan, Mahimna Kelkar, Akaki Mamageishvili, Harry Ng, Aman Sanghi, Victor Shoup, Terence Tsao
BoLD: Fast and Cheap Dispute Resolution. CoRR (2024)
Gregory Malecha, Daniel Ricketts, Mario M. Alvarez, Sorin Lerner
Towards foundational verification of cyber-physical systems. SOSCYPS@CPSWeek (2016)
Daniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, Sorin Lerner
Towards verification of hybrid systems in a foundational proof assistant. MEMOCODE (2015)