Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Avner Landver
2000 – 2009
- 2006
[c6]Sandeep K. Shukla, Alan J. Hu, Jacob Abrahams, Pranav Ashar, Harry Foster, Avner Landver, Carl Pixley: Panel: Assertion-Based Verification -What's the Big Deal? HLDVT 2006: 183- 2002
- [c5]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
1990 – 1999
- 1998
- [c4]Ilan Beer, Shoham Ben-David, Avner Landver: On-the-Fly Model Checking of RCTL Formulas. CAV 1998: 184-194
- 1997
- [c3]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
- [c2]Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver: RuleBase: An Industry-Oriented Formal Verification Tool. DAC 1996: 655-660
- [c1]Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal: Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD 1996: 143-158
- 1992
- [j2]Avner Landver: Baire Numbers, Uncountable Cohen Sets and Perfect-Set Forcing. J. Symb. Log. 57(3): 1086-1107 (1992)
- [j1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:08 CET by the dblp team