dblp.uni-trier.dewww.uni-trier.de

Leonid Gluhovsky

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
3EEAnat 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)