Irit Shitsevalov

	2001
2		Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham: On the Effective Deployment of Functional Formal Verification. Formal Methods in System Design 19(1): 35-44 (2001)
	2000
1		Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk: A methodology for formal design of hardware control with application to cache coherence protocols. DAC 2000: 724-729

Coauthor Index

1	Yael Abarbanel-Vinov	[2]
2	Neta Aizenbud-Reshef	[2]
3	Ilan Beer	[2]
4	Cindy Eisner	[1] [2]
5	Daniel Geist	[2]
6	Tamir Heyman	[2]
7	Russ Hoover	[1]
8	Wayne G. Nation	[1]
9	Kyle L. Nelson	[1]
10	Iris Reuveni	[2]
11	Eran Rippel	[2]
12	Ken Valk	[1]
13	Yaron Wolfsthal (Yaron Wolfstahl)	[2]
14	Tali Yatzkar-Haham	[2]