Yoichi Hirai

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 5

Top Topics

Formal Analysis

Database Software

Top Venues

Financial Cryptography Workshops

IEEE Secur. Priv.

Publications

Gregory Malecha, Gordon Stewart, Frantisek Farka, Jasper Haag, Yoichi Hirai
Developing With Formal Methods at BedRock Systems, Inc. IEEE Secur. Priv. 20 (3) (2022)
Yoichi Hirai
Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap. ISoLA (4) (2018)
Yoichi Hirai
Defining the Ethereum Virtual Machine for Interactive Theorem Provers. Financial Cryptography Workshops (2017)
Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. FM (2016)
Alessandro Facchini, Yoichi Hirai, Maarten Marx, Evgeny Sherkhonov
Containment for Conditional Tree Patterns. Log. Methods Comput. Sci. 11 (2) (2015)
Yoichi Hirai, Reynald Affeldt
What could Coq do for Database Software? - A Progress Report. JFLA (2014)
Yoichi Hirai
Session Types in Abelian Logic. PLACES (2013)
Yoichi Hirai
A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom. FLOPS (2012)
Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. SEFM (2011)
Yoichi Hirai, Kazuhiko Yamamoto
Balancing weight-balanced trees. J. Funct. Program. 21 (3) (2011)
Yoichi Hirai
An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory. LPAR (Dakar) (2010)