Yoichi Hirai

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