Hiromi Hiraishi

Publication Activity (10 Years)

Years Active: 1981-2000
Publications (10 Years): 0

Publications

Hiromi Hiraishi
Yet more image computations for SMV, the symbolic model verifier. Systems and Computers in Japan 31 (9) (2000)
Hiromi Hiraishi
Verification of deadlock free property of high level robot control. Asian Test Symposium (2000)
Kazuo Kawakubo, Koji Tanaka, Hiromi Hiraishi
Formal Verification Of Self-Testing Properties Of Combinational Circuits. Asian Test Symposium (1996)
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 Syst. Des. 6 (2) (1995)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi
Temporal Verification of Real-Time Systems. IEICE Trans. Inf. Syst. (7) (1995)
Hiromi Hiraishi
Towards Verification of Bit-Slice Circuits-Time-Space Modal Model Checking Approach-. IEICE Trans. Inf. Syst. (7) (1995)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi
Computing Quantitative Characteristics of Finite-State Real-Time Systems. RTSS (1994)
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)
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic. CAV (1992)
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
Infinity-Regular Temporal Logic and its Model Checking Problem. Theor. Comput. Sci. 103 (2) (1992)
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)
Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima
Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification. CAV (1991)
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity. CAV (DIMACS/AMS volume) (1990)
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity. CAV (1990)
Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi
Vectorized Model Checking for Computation Tree Logic. CAV (DIMACS/AMS volume) (1990)
Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi
Vectorized Model Checking for Computation Tree Logic. CAV (1990)
Shigeharu Teshima, Hiromi Hiraishi, Shuzo Yajima
Algebraic Specification of Parallel Systems Based on Binary Relations between Events. Systems and Computers in Japan 19 (10) (1988)
Shuzo Yajima, Jan L. Goodsell, Takao Ichida, Hiromi Hiraishi
Data Compression of the Kanji Character Patterns Digitized on the Hexagonal Mesh. IEEE Trans. Pattern Anal. Mach. Intell. 3 (2) (1981)