Shoham Ben-David

2008
19	EE	Shoham Ben-David, Dana Fisman, Sitvanit Ruah: Embedding finite automata within regular expressions. Theor. Comput. Sci. 404(3): 202-218 (2008)
2007
18	EE	Shoham Ben-David, Dana Fisman, Sitvanit Ruah: Temporal Antecedent Failure: Refining Vacuity. CONCUR 2007: 492-506
17	EE	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Modal vs. Propositional Reasoning for model checking with Description Logics. Description Logics 2007
16	EE	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Bounded Model Checking with Description Logic Reasoning. TABLEAUX 2007: 60-72
2006
15	EE	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Model checking the basic modalities of CTL with Description Logic. Description Logics 2006
2005
14	EE	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	EE	Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal: Model Checking at IBM. Formal Methods in System Design 22(2): 101-108 (2003)
11	EE	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	EE	Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: PathFinder: A Tool for Design Exploration. CAV 2002: 510-514
9	EE	Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: An Algorithmic Approach to Design Exploration. FME 2002: 146-162
2001
8	EE	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	EE	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	EE	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]
3	Cindy Eisner	[2] [3] [4] [7] [8] [12]
4	Dana Fisman	[8] [13] [14] [18] [19]
5	Daniel Geist	[1] [3] [12]
6	Raanan Gewirtzman	[1]
7	Leonid Gluhovsky	[3]
8	Anna Gringauze	[8] [9] [10]
9	Orna Grumberg	[6] [11]
10	Tamir Heyman	[3] [6] [11]
11	Avner Landver	[2] [3] [5]
12	P. Paanah	[3]
13	Yoav Rodeh	[3] [4] [7] [8]
14	G. Ronin	[3]
15	Sitvanit Ruah	[13] [14] [18] [19]
16	Assaf Schuster	[6] [11]
17	Baruch Sterin	[9] [10]
18	Richard J. Trefler	[15] [16] [17]
19	Grant E. Weddell	[15] [16] [17]
20	Yaron Wolfsthal (Yaron Wolfstahl)	[3] [9] [10] [12]
21	Michael Yoeli	[1]

Colors in the list of coauthors