Satoshi Harauchi

According to our database, Satoshi Harauchi authored at least 3 papers between 2002 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench.

Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima

IEICE Trans. Inf. Syst., 2019

2017

Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability.

Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima

Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

2002

Automatic Generation of System Descriptions for Plant Supervisory Control Systems.

Hideo Nakata, Satoshi Harauchi, Taizo Kojima, Yasuaki Nakamura

Proceedings of the ISCA 17th International Conference Computers and Their Applications, 2002