Leonid Gluhovsky

2005
3	EE	Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib: Combining System Level Modeling with Assertion Based Verification. ISQED 2005: 310-315
2000
2		Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal: FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. CAV 2000: 538-542
1997
1		Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal: RuleBase: Model Checking at IBM. CAV 1997: 480-483

Coauthor Index

1	Yael Abarbanel	[2]
2	Ilan Beer	[1] [2]
3	Shoham Ben-David	[1]
4	Lyes Benalycherif	[3]
5	Anat Dahan	[3]
6	Cindy Eisner	[1]
7	Daniel Geist	[1] [3]
8	Tamir Heyman	[1]
9	Romain Kamdem	[3]
10	Sharon Keidar	[2]
11	Younes Lahbib	[3]
12	Avner Landver	[1]
13	P. Paanah	[1]
14	Dmitry Pidan	[3]
15	Yoav Rodeh	[1]
16	G. Ronin	[1]
17	Gil Shapir	[3]
18	Yaron Wolfsthal (Yaron Wolfstahl)	[1] [2] [3]