Towards verification of hybrid systems in a foundational proof assistant. - Daniel Ricketts 001; Gregory Malecha; Mario M. Alvarez; Vignesh Gowda; Sorin Lerner (MEMOCODE, 2015)

Towards foundational verification of cyber-physical systems. - Gregory Malecha; Daniel Ricketts 001; Mario M. Alvarez; Sorin Lerner (SOSCYPS@CPSWeek, 2016)

BoLD: Fast and Cheap Dispute Resolution. - 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; et al. (AFT, 2024)