Leonid Gluhovsky

Publication Activity (10 Years)

Years Active: 1997-2006
Publications (10 Years): 0

Publications

Mark Moulin, Leonid Gluhovsky, Daniel Geist
Formal Verification Analysis of Load-Voltage Power Control. Intell. Autom. Soft Comput. 12 (1) (2006)
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)
Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal
FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. CAV (2000)
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)