Methodology and System for Practical Formal Verification of Reactive Hardware. - Ilan Beer; Shoham Ben-David; Daniel Geist; Raanan Gewirtzman; Michael Yoeli (CAV, 1994)

Efficient Model Checking by Automated Ordering of Transition Relation Partitions. - Daniel Geist; Ilan Beer (CAV, 1994)

RuleBase: An Industry-Oriented Formal Verification Tool. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Avner Landver (DAC, 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)

Efficient Detection of Vacuity in ACTL Formulaas. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Yoav Rodeh (CAV, 1997)

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

FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. - Yael Abarbanel; Ilan Beer; Leonid Gluhovsky; Sharon Keidar; Yaron Wolfsthal (CAV, 2000)

The Temporal Logic Sugar. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Dana Fisman; Anna Gringauze; Yoav Rodeh (CAV, 2001)

On the Effective Deployment of Functional Formal Verification. - 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 (Formal Methods Syst. Des., 2001)

Efficient Detection of Vacuity in Temporal Model Checking. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Yoav Rodeh (Formal Methods Syst. Des., 2001)

An Optimized Symbolic Bounded Model Checking Engine. - Rachel Tzoref; Mark Matusevich; Eli Berger; Ilan Beer (CHARME, 2003)

Explaining counterexamples using causality. - Ilan Beer; Shoham Ben-David; Hana Chockler; Avigail Orni; Richard J. Trefler (Formal Methods Syst. Des., 2012)

Facilitating timing debug by logic path correspondence. - Oshri Adler; Eli Arbel; Ilia Averbouch; Ilan Beer; Inna Grijnevitch (DATE, 2014)