Ilan Beer

	2012
13		Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler: Explaining counterexamples using causality. Formal Methods in System Design 40(1): 20-40 (2012)
	2009
12		Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler: Explaining Counterexamples Using Causality. CAV 2009: 94-108
	2003
11		Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer: An Optimized Symbolic Bounded Model Checking Engine. CHARME 2003: 141-149
	2001
10		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		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

Coauthor Index

1	Yael Abarbanel	[7]
2	Yael Abarbanel-Vinov	[8]
3	Neta Aizenbud-Reshef	[8]
4	Shoham Ben-David	[2] [3] [4] [5] [6] [9] [10] [12] [13]
5	Eli Berger	[11]
6	Hana Chockler	[12] [13]
7	Cindy Eisner	[3] [4] [5] [8] [9] [10]
8	Dana Fisman	[10]
9	Daniel Geist	[1] [2] [4] [8]
10	Raanan Gewirtzman	[2]
11	Leonid Gluhovsky	[4] [7]
12	Anna Gringauze	[10]
13	Tamir Heyman	[4] [8]
14	Sharon Keidar	[7]
15	Avner Landver	[3] [4] [6]
16	Mark Matusevich	[11]
17	Avigail Orni	[12] [13]
18	P. Paanah	[4]
19	Iris Reuveni	[8]
20	Eran Rippel	[8]
21	Yoav Rodeh	[4] [5] [9] [10]
22	G. Ronin	[4]
23	Irit Shitsevalov	[8]
24	Richard J. Trefler	[12] [13]
25	Rachel Tzoref (Rachel Tzoref-Brill)	[11]
26	Yaron Wolfsthal (Yaron Wolfstahl)	[4] [7] [8]
27	Tali Yatzkar-Haham	[8]
28	Michael Yoeli	[2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page