Shoham Ben-David

	2012
27		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)
	2011
26		Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel: CSSL: a logic for specifying conditional scenarios. SIGSOFT FSE 2011: 37-47
	2010
25		Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik: Guided recovery for web service applications. SIGSOFT FSE 2010: 247-256
24		Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik: Optimizing Computation of Recovery Plans for BPEL Applications TAV-WEB 2010: 3-14
23		Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik: Monitoring and Recovery of Web Service Applications. The Smart Internet 2010: 250-288
22		Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Model Checking Using Description Logic. J. Log. Comput. 20(1): 111-131 (2010)
	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] [27]
3	Marsha Chechik	[23] [24] [25] [26]
4	Hana Chockler	[21] [27]
5	Cindy Eisner	[2] [3] [4] [7] [8] [12]
6	Dana Fisman	[8] [13] [14] [18] [19]
7	Daniel Geist	[1] [3] [12]
8	Raanan Gewirtzman	[1]
9	Leonid Gluhovsky	[3]
10	Anna Gringauze	[8] [9] [10]
11	Orna Grumberg	[6] [11]
12	Arie Gurfinkel	[26]
13	Tamir Heyman	[3] [6] [11]
14	Avner Landver	[2] [3] [5]
15	Avigail Orni	[21] [27]
16	P. Paanah	[3]
17	Jeffrey Pound	[20]
18	Yoav Rodeh	[3] [4] [7] [8]
19	G. Ronin	[3]
20	Sitvanit Ruah	[13] [14] [18] [19]
21	Assaf Schuster	[6] [11]
22	Jocelyn Simmonds	[23] [24] [25]
23	Baruch Sterin	[9] [10]
24	Richard J. Trefler	[15] [16] [17] [20] [21] [22] [27]
25	Dmitry Tsarkov	[20]
26	Sebastián Uchitel	[26]
27	Grant E. Weddell	[15] [16] [17] [20] [22]
28	Yaron Wolfsthal (Yaron Wolfstahl)	[3] [9] [10] [12]
29	Michael Yoeli	[1]

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