Automatic monitor generation from regular expression based specifications for module interface verification. - Yosuke Kakiuchi; A. Kitajima; Kiyoharu Hamaguchi; Toshinobu Kashiwabara (ISCAS (4), 2005)

Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts. - Yosuke Kakiuchi; Tomofumi Nakagawa; Kiyoharu Hamaguchi; Tadaaki Tanimoto; Masaki Nakanishi (IPSJ Trans. Syst. LSI Des. Methodol., 2011)

Coverage-Driven Design Verification Using a Diverse SAT Solver. - Yosuke Kakiuchi; Kiyoharu Hamaguchi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017)