Leonid Gluhovsky

According to our database, Leonid Gluhovsky authored at least 4 papers between 1997 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

Formal Verification Analysis of Load-Voltage Power Control.

Mark Moulin, Leonid Gluhovsky, Daniel Geist

Intell. Autom. Soft Comput., 2006

2005

Combining System Level Modeling with Assertion Based Verification.

Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib

Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005

2000

FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.

Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1997

RuleBase: Model Checking at IBM.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal

Proceedings of the Computer Aided Verification, 9th International Conference, 1997