| 2002 |
|---|
| 7 | EE | Roy Armoni,
Limor Fix,
Alon Flaisher,
Rob Gerth,
Boris Ginsburg,
Tomer Kanza,
Avner Landver,
Sela Mador-Haim,
Eli Singerman,
Andreas Tiemeyer,
Moshe Y. Vardi,
Yael Zbar:
The ForSpec Temporal Logic: A New Temporal Property-Specification Language.
TACAS 2002: 296-211 |
| 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,
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 |
|---|
| 4 | EE | Ilan Beer,
Shoham Ben-David,
Cindy Eisner,
Avner Landver:
RuleBase: An Industry-Oriented Formal Verification Tool.
DAC 1996: 655-660 |
| 3 | | Daniel Geist,
Monica Farkas,
Avner Landver,
Yossi Lichtenstein,
Shmuel Ur,
Yaron Wolfsthal:
Coverage-Directed Test Generation Using Symbolic Techniques.
FMCAD 1996: 143-158 |
| 1992 |
|---|
| 2 | | Avner Landver:
Baire Numbers, Uncountable Cohen Sets and Perfect-Set Forcing.
J. Symb. Log. 57(3): 1086-1107 (1992) |
| 1 | | Avner Landver:
Singular sigma-Dense Trees.
J. Symb. Log. 57(4): 1403-1416 (1992) |
