Shoham Ben-David

	2009
21		Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler: Explaining Counterexamples Using Causality. CAV 2009: 94-108
20		Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell: Fair Cycle Detection using Description Logic Reasoning. Description Logics 2009
	2008
19		Shoham Ben-David, Dana Fisman, Sitvanit Ruah: Embedding finite automata within regular expressions. Theor. Comput. Sci. 404(3): 202-218 (2008)
	2007
18		Shoham Ben-David, Dana Fisman, Sitvanit Ruah: Temporal Antecedent Failure: Refining Vacuity. CONCUR 2007: 492-506
17		Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Modal vs. Propositional Reasoning for model checking with Description Logics. Description Logics 2007
16		Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Bounded Model Checking with Description Logic Reasoning. TABLEAUX 2007: 60-72
	2006
15		Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Model checking the basic modalities of CTL with Description Logic. Description Logics 2006
	2005
14		Shoham Ben-David, Dana Fisman, Sitvanit Ruah: The Safety Simple Subset. Haifa Verification Conference 2005: 14-29
	2004
13		Shoham Ben-David, Dana Fisman, Sitvanit Ruah: Embedding Finite Automata within regular Expressions. ISoLA (Preliminary proceedings) 2004: 175-180
	2003
12		Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal: Model Checking at IBM. Formal Methods in System Design 22(2): 101-108 (2003)
11		Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster: Scalable distributed on-the-fly symbolic model checking. STTT 4(4): 496-504 (2003)
	2002
10		Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: PathFinder: A Tool for Design Exploration. CAV 2002: 510-514
9		Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: An Algorithmic Approach to Design Exploration. FME 2002: 146-162
	2001
8		Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh: The Temporal Logic Sugar. CAV 2001: 363-367
7		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)
	2000
6		Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster: Scalable Distributed On-the-Fly Symbolic Model Checking. FMCAD 2000: 390-404
	1998
5		Ilan Beer, Shoham Ben-David, Avner Landver: On-the-Fly Model Checking of RCTL Formulas. CAV 1998: 184-194
	1997
4		Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh: Efficient Detection of Vacuity in ACTL Formulaas. CAV 1997: 279-290
3		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
2		Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver: RuleBase: An Industry-Oriented Formal Verification Tool. DAC 1996: 655-660
	1994
1		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

Coauthor Index

1	Sharon Barner	[9]
2	Ilan Beer	[1] [2] [3] [4] [5] [7] [8] [21]
3	Hana Chockler	[21]
4	Cindy Eisner	[2] [3] [4] [7] [8] [12]
5	Dana Fisman	[8] [13] [14] [18] [19]
6	Daniel Geist	[1] [3] [12]
7	Raanan Gewirtzman	[1]
8	Leonid Gluhovsky	[3]
9	Anna Gringauze	[8] [9] [10]
10	Orna Grumberg	[6] [11]
11	Tamir Heyman	[3] [6] [11]
12	Avner Landver	[2] [3] [5]
13	Avigail Orni	[21]
14	P. Paanah	[3]
15	Jeffrey Pound	[20]
16	Yoav Rodeh	[3] [4] [7] [8]
17	G. Ronin	[3]
18	Sitvanit Ruah	[13] [14] [18] [19]
19	Assaf Schuster	[6] [11]
20	Baruch Sterin	[9] [10]
21	Richard J. Trefler	[15] [16] [17] [20] [21]
22	Dmitry Tsarkov	[20]
23	Grant E. Weddell	[15] [16] [17] [20]
24	Yaron Wolfsthal (Yaron Wolfstahl)	[3] [9] [10] [12]
25	Michael Yoeli	[1]