Hiromi Hiraishi

	2000
12		Hiromi Hiraishi: Verification of deadlock free property of high level robot control. Asian Test Symposium 2000: 198-203
11		Hiromi Hiraishi: Yet more image computations for SMV, the symbolic model verifier. Systems and Computers in Japan 31(9): 1-9 (2000)
	1996
10		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

Coauthor Index

1	Sérgio Vale Aguiar Campos	[8]
2	Edmund M. Clarke	[7] [8] [9]
3	Orna Grumberg	[7] [9]
4	Kiyoharu Hamaguchi	[1] [2] [3] [4] [5] [6]
5	Somesh Jha	[7] [9]
6	Kazuo Kawakubo	[10]
7	David E. Long	[7] [9]
8	Wilfredo R. Marrero	[8]
9	Kenneth L. McMillan	[7] [9]
10	Shintaro Meki	[1]
11	Marius Minea	[8]
12	Linda A. Ness	[7] [9]
13	Hiroyuki Ochi	[4]
14	Koji Tanaka	[10]
15	Shuzo Yajima	[2] [3] [4] [5] [6]

Colors in the list of coauthors