| 2003 |
|---|
| 11 | EE | Rachel Tzoref,
Mark Matusevich,
Eli Berger,
Ilan Beer:
An Optimized Symbolic Bounded Model Checking Engine.
CHARME 2003: 141-149 |
| 2001 |
|---|
| 10 | EE | Ilan Beer,
Shoham Ben-David,
Cindy Eisner,
Dana Fisman,
Anna Gringauze,
Yoav Rodeh:
The Temporal Logic Sugar.
CAV 2001: 363-367 |
| 9 | | Ilan Beer,
Shoham Ben-David,
Cindy Eisner,
Yoav Rodeh:
Efficient Detection of Vacuity in Temporal Model Checking.
Formal Methods in System Design 18(2): 141-163 (2001) |
| 8 | | 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 |
|---|
| 7 | | Yael Abarbanel,
Ilan Beer,
Leonid Gluhovsky,
Sharon Keidar,
Yaron Wolfsthal:
FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.
CAV 2000: 538-542 |
| 1998 |
|---|
| 6 | | Ilan Beer,
Shoham Ben-David,
Avner Landver:
On-the-Fly Model Checking of RCTL Formulas.
CAV 1998: 184-194 |
| 1997 |
|---|
| 5 | | Ilan Beer,
Shoham Ben-David,
Cindy Eisner,
Yoav Rodeh:
Efficient Detection of Vacuity in ACTL Formulaas.
CAV 1997: 279-290 |
| 4 | | 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 |
| 1996 |
|---|
| 3 | EE | Ilan Beer,
Shoham Ben-David,
Cindy Eisner,
Avner Landver:
RuleBase: An Industry-Oriented Formal Verification Tool.
DAC 1996: 655-660 |
| 1994 |
|---|
| 2 | | Ilan Beer,
Shoham Ben-David,
Daniel Geist,
Raanan Gewirtzman,
Michael Yoeli:
Methodology and System for Practical Formal Verification of Reactive Hardware.
CAV 1994: 182-193 |
| 1 | | Daniel Geist,
Ilan Beer:
Efficient Model Checking by Automated Ordering of Transition Relation Partitions.
CAV 1994: 299-310 |
