Hiromi Hiraishi

18 papers A* 5A 1Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2000 — conf
Verification of deadlock free property of high level robot control.
Asian Test Symposium
Hiromi Hiraishi
2000 J jnl
Yet more image computations for SMV, the symbolic model verifier.
Syst. Comput. Jpn.
Hiromi Hiraishi
1996 — conf
Formal Verification Of Self-Testing Properties Of Combinational Circuits.
Asian Test Symposium
Kazuo Kawakubo, Koji Tanaka, Hiromi Hiraishi
1995 J jnl
Temporal Verification of Real-Time Systems.
IEICE Trans. Inf. Syst.
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi
1995 J jnl
Towards Verification of Bit-Slice Circuits-Time-Space Modal Model Checking Approach-.
IEICE Trans. Inf. Syst.
Hiromi Hiraishi
1995 J jnl
Verification of the Futurebus+ Cache Coherence Protocol.
Formal Methods Syst. Des.
Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
1994 A conf
Computing Quantitative Characteristics of Finite-State Real-Time Systems.
RTSS
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi
1993 — conf
Verification of the Futurebus+ Cache Coherence Protocol.
CHDL
Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
1992 A* conf
Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic.
CAV
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
1992 J jnl
Infinity-Regular Temporal Logic and its Model Checking Problem.
Theor. Comput. Sci.
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
1991 A* conf
Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic.
CAV
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
1991 A* conf
Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification.
CAV
Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima
1990 A* conf
Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity.
CAV
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
1990 — conf
Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity.
CAV (DIMACS/AMS volume)
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
1990 A* conf
Vectorized Model Checking for Computation Tree Logic.
CAV
Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi
1990 — conf
Vectorized Model Checking for Computation Tree Logic.
CAV (DIMACS/AMS volume)
Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi
1988 J jnl
Algebraic Specification of Parallel Systems Based on Binary Relations between Events.
Syst. Comput. Jpn.
Shigeharu Teshima, Hiromi Hiraishi, Shuzo Yajima
1981 J jnl
Data Compression of the Kanji Character Patterns Digitized on the Hexagonal Mesh.
IEEE Trans. Pattern Anal. Mach. Intell.
Shuzo Yajima, Jan L. Goodsell, Takao Ichida, Hiromi Hiraishi