Automatic Generation of System Descriptions for Plant Supervisory Control Systems. - Hideo Nakata; Satoshi Harauchi; Taizo Kojima; Yasuaki Nakamura (CATA, 2002)

Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. - Kozo Okano; Satoshi Harauchi; Toshifusa Sekizawa; Shinpei Ogata; Shin Nakajima 001 (ICCCN, 2017)

Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench. - Kozo Okano; Satoshi Harauchi; Toshifusa Sekizawa; Shinpei Ogata; Shin Nakajima 001 (IEICE Trans. Inf. Syst., 2019)