| 2000 |
|---|
| 12 | EE | Hiromi Hiraishi:
Verification of deadlock free property of high level robot control.
Asian Test Symposium 2000: 198-203 |
| 11 | EE | Hiromi Hiraishi:
Yet more image computations for SMV, the symbolic model verifier.
Systems and Computers in Japan 31(9): 1-9 (2000) |
| 1996 |
|---|
| 10 | EE | Kazuo Kawakubo,
Koji Tanaka,
Hiromi Hiraishi:
Formal Verification Of Self-Testing Properties Of Combinational Circuits.
Asian Test Symposium 1996: 119-122 |
| 1995 |
|---|
| 9 | | Edmund M. Clarke,
Orna Grumberg,
Hiromi Hiraishi,
Somesh Jha,
David E. Long,
Kenneth L. McMillan,
Linda A. Ness:
Verification of the Futurebus+ Cache Coherence Protocol.
Formal Methods in System Design 6(2): 217-232 (1995) |
| 1994 |
|---|
| 8 | | Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Wilfredo R. Marrero,
Marius Minea,
Hiromi Hiraishi:
Computing Quantitative Characteristics of Finite-State Real-Time Systems.
IEEE Real-Time Systems Symposium 1994: 266-270 |
| 1993 |
|---|
| 7 | | Edmund M. Clarke,
Orna Grumberg,
Hiromi Hiraishi,
Somesh Jha,
David E. Long,
Kenneth L. McMillan,
Linda A. Ness:
Verification of the Futurebus+ Cache Coherence Protocol.
CHDL 1993: 15-30 |
| 1992 |
|---|
| 6 | | Kiyoharu Hamaguchi,
Hiromi Hiraishi,
Shuzo Yajima:
Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic.
CAV 1992: 206-219 |
| 5 | | Kiyoharu Hamaguchi,
Hiromi Hiraishi,
Shuzo Yajima:
Infinity-Regular Temporal Logic and its Model Checking Problem.
Theor. Comput. Sci. 103(2): 191-204 (1992) |
| 1991 |
|---|
| 4 | | Hiromi Hiraishi,
Kiyoharu Hamaguchi,
Hiroyuki Ochi,
Shuzo Yajima:
Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification.
CAV 1991: 214-224 |
| 3 | | Kiyoharu Hamaguchi,
Hiromi Hiraishi,
Shuzo Yajima:
Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic.
CAV 1991: 410-420 |
| 1990 |
|---|
| 2 | | Kiyoharu Hamaguchi,
Hiromi Hiraishi,
Shuzo Yajima:
Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity.
CAV 1990: 253-262 |
| 1 | | Hiromi Hiraishi,
Shintaro Meki,
Kiyoharu Hamaguchi:
Vectorized Model Checking for Computation Tree Logic.
CAV 1990: 44-53 |
