Checking assignments of controls to risks for internal control. - Yasuhito Arimoto; Michiharu Kudo; Yuji Watanabe; Kokichi Futatsugi (ICEGOV, 2008)

Formal Verification of Effectiveness of Control Activities in Business Processes. - Yasuhito Arimoto; Shusaku Iida; Kokichi Futatsugi (IEICE Trans. Inf. Syst., 2012)

Constructor-Based Inductive Theorem Prover. - Daniel Gâinâ; Min Zhang 002; Yuki Chiba; Yasuhito Arimoto (CALCO, 2013)

ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC. - Weiqiang Kong; Gang Hou; Xiangpei Hu; Yasuhito Arimoto; Masahiko Watanabe; Takahiro Ando; Kenji Hisazumi; Akira Fukuda (ICA, 2016)