Yoichi Hirai

According to our database, Yoichi Hirai authored at least 11 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Developing With Formal Methods at BedRock Systems, Inc.

Gregory Malecha, Gordon Stewart, Frantisek Farka, Jasper Haag, Yoichi Hirai

IEEE Secur. Priv., 2022

2018

Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap.

Yoichi Hirai

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

Defining the Ethereum Virtual Machine for Interactive Theorem Provers.

Yoichi Hirai

Proceedings of the Financial Cryptography and Data Security, 2017

2016

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.

Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk

Proceedings of the FM 2016: Formal Methods, 2016

2015

Containment for Conditional Tree Patterns.

Alessandro Facchini, Yoichi Hirai, Maarten Marx, Evgeny Sherkhonov

Log. Methods Comput. Sci., 2015

2014

What could Coq do for Database Software? - A Progress Report.

Yoichi Hirai, Reynald Affeldt

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

2013

Session Types in Abelian Logic.

Yoichi Hirai

Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

2012

A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom.

Yoichi Hirai

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

Balancing weight-balanced trees.

Yoichi Hirai, Kazuhiko Yamamoto

J. Funct. Program., 2011

Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications.

Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010

An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory.

Yoichi Hirai

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010