Hiromi Hiraishi

According to our database, Hiromi Hiraishi authored at least 15 papers between 1981 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Yet more image computations for SMV, the symbolic model verifier.

Hiromi Hiraishi

Syst. Comput. Jpn., 2000

Verification of deadlock free property of high level robot control.

Hiromi Hiraishi

Proceedings of the 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, 2000

1996

Formal Verification Of Self-Testing Properties Of Combinational Circuits.

Kazuo Kawakubo, Koji Tanaka, Hiromi Hiraishi

Proceedings of the 5th Asian Test Symposium (ATS '96), 1996

1995

Towards Verification of Bit-Slice Circuits-Time-Space Modal Model Checking Approach-.

Hiromi Hiraishi

IEICE Trans. Inf. Syst., 1995

Temporal Verification of Real-Time Systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi

IEICE Trans. Inf. Syst., 1995

1994

Computing Quantitative Characteristics of Finite-State Real-Time Systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

1993

Verification of the Futurebus+ Cache Coherence Protocol.

Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1992

Infinity-Regular Temporal Logic and its Model Checking Problem.

Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima

Theor. Comput. Sci., 1992

Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic.

Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification.

Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic.

Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Vectorized Model Checking for Computation Tree Logic.

Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi

Proceedings of the Computer-Aided Verification, 1990

Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity.

Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima

Proceedings of the Computer-Aided Verification, 1990

1988

Algebraic Specification of Parallel Systems Based on Binary Relations between Events.

Shigeharu Teshima, Hiromi Hiraishi, Shuzo Yajima

Syst. Comput. Jpn., 1988

1981

Data Compression of the Kanji Character Patterns Digitized on the Hexagonal Mesh.

Shuzo Yajima, Jan L. Goodsell, Takao Ichida, Hiromi Hiraishi

IEEE Trans. Pattern Anal. Mach. Intell., 1981