Takehiko Tsuchiya

According to our database, Takehiko Tsuchiya authored at least 5 papers between 1999 and 2006.

Collaborative distances:

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

2006

Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification.

Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya

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

Transition-based coverage estimation for symbolic model checking.

Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya

Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006

2005

Extended abstract: transition traversal coverage estimation for symbolic model checking.

Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

2000

Network Integrated Supervisory Control for Power Systems Based on Distributed Objects.

Tomomichi Seki, Takehiko Tsuchiya, Tatsuji Tanaka, Hadime Watanabe, Toshibumi Seki

Proceedings of the Applied Computing 2000, 2000

1999

Object-Oriented Database management System for Process Control Systems: Development and Evaluation.

Ryuji Wakizono, Toshikazu Kawamura, Takehiko Tsuchiya, Takahiro Hatanaka, Tatsuji Tanaka

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999