Yosuke Kakiuchi

According to our database, Yosuke Kakiuchi authored at least 3 papers between 2005 and 2017.

Collaborative distances:

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

2017

Coverage-Driven Design Verification Using a Diverse SAT Solver.

Yosuke Kakiuchi, Kiyoharu Hamaguchi

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017

2011

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

2005

Automatic monitor generation from regular expression based specifications for module interface verification.

Yosuke Kakiuchi, A. Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005