Baire Numbers, Uncountable Cohen Sets and Perfect-Set Forcing. - Avner Landver (J. Symb. Log., 1992)

Singular sigma-Dense Trees. - Avner Landver (J. Symb. Log., 1992)

RuleBase: An Industry-Oriented Formal Verification Tool. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Avner Landver (DAC, 1996)

Coverage-Directed Test Generation Using Symbolic Techniques. - Daniel Geist; Monica Farkas; Avner Landver; Yossi Lichtenstein; Shmuel Ur; Yaron Wolfsthal (FMCAD, 1996)

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 (CAV, 1997)

On-the-Fly Model Checking of RCTL Formulas. - Ilan Beer; Shoham Ben-David; Avner Landver (CAV, 1998)

The ForSpec Temporal Logic: A New Temporal Property-Specification Language. - 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 (TACAS, 2002)

Panel: Assertion-Based Verification -What's the Big Deal? - Sandeep K. Shukla; Alan J. Hu; Jacob Abrahams; Pranav Ashar; Harry Foster; Avner Landver; Carl Pixley (HLDVT, 2006)