Takehiko Tsuchiya

Publication Activity (10 Years)

Years Active: 1999-2006
Publications (10 Years): 0

Publications

Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2006)
Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
Transition-based coverage estimation for symbolic model checking. ASP-DAC (2006)
Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
Extended abstract: transition traversal coverage estimation for symbolic model checking. MEMOCODE (2005)
Tomomichi Seki, Takehiko Tsuchiya, Tatsuji Tanaka, Hadime Watanabe, Toshibumi Seki
Network Integrated Supervisory Control for Power Systems Based on Distributed Objects. SAC (2) (2000)
Ryuji Wakizono, Toshikazu Kawamura, Takehiko Tsuchiya, Takahiro Hatanaka, Tatsuji Tanaka
Object-Oriented Database management System for Process Control Systems: Development and Evaluation. SAC (1999)