 | 2006 |
|---|
| 5 |       | Xingwen Xu,
Shinji Kimura,
Kazunari Horikawa,
Takehiko Tsuchiya:
Transition-based coverage estimation for symbolic model checking.
ASP-DAC 2006: 1-6 |
| 4 | | Xingwen Xu,
Shinji Kimura,
Kazunari Horikawa,
Takehiko Tsuchiya:
Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification.
IEICE Transactions 89-A(12): 3451-3457 (2006) |
| 2005 |
|---|
| 3 | | Xingwen Xu,
Shinji Kimura,
Kazunari Horikawa,
Takehiko Tsuchiya:
Extended abstract: transition traversal coverage estimation for symbolic model checking.
MEMOCODE 2005: 259-260 |
| 2000 |
|---|
| 2 |  | Tomomichi Seki,
Takehiko Tsuchiya,
Tatsuji Tanaka,
Hadime Watanabe,
Toshibumi Seki:
Network Integrated Supervisory Control for Power Systems Based on Distributed Objects.
SAC (2) 2000: 620-626 |
| 1999 |
|---|
| 1 | | Ryuji Wakizono,
Toshikazu Kawamura,
Takehiko Tsuchiya,
Takahiro Hatanaka,
Tatsuji Tanaka:
Object-Oriented Database management System for Process Control Systems: Development and Evaluation.
SAC 1999: 204-209 |
