An attempt toward conjecturing lemmas with graphical animations of state machines
The Second International Lecture Series of School of Software and Microelectornics (SSM), Northwestern Polytechnic University, Xi'an, China, 2017
A Case Study on Extracting the Characteristics of the Reachable States of a State Machine formalizing a Communication Protocol with Inductive Logic Programing
25th International Conference on Inductive Logic Programming, 京都, 2015
不変性モデル検査器としてのCafeOBJ
2012年電子情報通信学会ソサイエティ大会, 富山市, 2012
有界モデル検査と帰納法の組合せによる NSPK 認証プロトコルの合意性
ソフトウェア・シンポジウム 2012, 福井市, 2012
CafeOBJによるシステム検証
情報処理学会ソフトウェア工学研究会第165回研究会, JAIST, 2009
代数仕様言語・処理系のシステム検証への応用
ソフトウェアシンポジウム２００９、ソフトウェア技術者協会, 札幌, 2009
Operational semantics of rewriting with the on-demand evaluation strategy
2000 ACM Symposium on AComputingpplied, 2000
Specification and verification of a single-track railroad signaling in CafeOBJ
200 International Technical Conference on Circuts/Systems, Computers and Communications (ITC-CSCC 2000), 2000
The evaluation strategy for head normal form with and without on-demand flags
The 3rd International Workshop on Rewriting Logic and its Applications (WRLA 2000), 2000
代数仕様言語CafeOBJによる実時間システムの仕様記述と検証 - tmed two-process race の仕様記述と検証 -
電子情報通信学会ソフトウェアサイエンス研究会（１月研究集会）, 2000
Formal verification of the {MCS} list-based queuing lock
ASIAN '99, 1999
検証を考慮した仕様記述の指針に関する研究
電子情報通信学会技術研究報告, 1999
代数仕様言語CafeOBJによる鉄道信号システムの記述と検証
FOSE '99, 1999
Specification and verification of some classical mutual exclusion algorithms with CafeOBJ
OBJ/CafeOBJ/Maude at Formal Methods '99, 1999