Login / Signup
Yosuke Kakiuchi
Publication Activity (10 Years)
Years Active: 2005-2017
Publications (10 Years): 1
Top Topics
Simulated Annealing
Sat Solvers
Optimization Problems
Top Venues
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
</>
Publications
</>
Yosuke Kakiuchi
,
Kiyoharu Hamaguchi
Coverage-Driven Design Verification Using a Diverse SAT Solver.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
(7) (2017)
Yosuke Kakiuchi
,
Tomofumi Nakagawa
,
Kiyoharu Hamaguchi
,
Tadaaki Tanimoto
,
Masaki Nakanishi
Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts.
Inf. Media Technol.
6 (4) (2011)
Yosuke Kakiuchi
,
Tomofumi Nakagawa
,
Kiyoharu Hamaguchi
,
Tadaaki Tanimoto
,
Masaki Nakanishi
Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts.
IPSJ Trans. Syst. LSI Des. Methodol.
4 (2011)
Yosuke Kakiuchi
,
A. Kitajima
,
Kiyoharu Hamaguchi
,
Toshinobu Kashiwabara
Automatic monitor generation from regular expression based specifications for module interface verification.
ISCAS (4)
(2005)