Hiromi Hiraishi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
1990–1994
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | RTSS | Computing Quantitative Characteristics of Finite-State Real-Time Systems. | Srgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi |
| 1992 | CAV | Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic. | Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima |
| 1991 | CAV | Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic. | Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima |
| 1991 | CAV | Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification. | Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima |
| 1990 | CAV | Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity. | Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima |
| 1990 | CAV | Vectorized Model Checking for Computation Tree Logic. | Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi |