dblp.uni-trier.dewww.uni-trier.de

Shoham Ben-David

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
19EEShoham Ben-David, Dana Fisman, Sitvanit Ruah: Embedding finite automata within regular expressions. Theor. Comput. Sci. 404(3): 202-218 (2008)
2007
18EEShoham Ben-David, Dana Fisman, Sitvanit Ruah: Temporal Antecedent Failure: Refining Vacuity. CONCUR 2007: 492-506
17EEShoham Ben-David, Richard J. Trefler, Grant E. Weddell: Modal vs. Propositional Reasoning for model checking with Description Logics. Description Logics 2007
16EEShoham Ben-David, Richard J. Trefler, Grant E. Weddell: Bounded Model Checking with Description Logic Reasoning. TABLEAUX 2007: 60-72
2006
15EEShoham Ben-David, Richard J. Trefler, Grant E. Weddell: Model checking the basic modalities of CTL with Description Logic. Description Logics 2006
2005
14EEShoham 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
12EEShoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal: Model Checking at IBM. Formal Methods in System Design 22(2): 101-108 (2003)
11EEShoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster: Scalable distributed on-the-fly symbolic model checking. STTT 4(4): 496-504 (2003)
2002
10EEShoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: PathFinder: A Tool for Design Exploration. CAV 2002: 510-514
9EESharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: An Algorithmic Approach to Design Exploration. FME 2002: 146-162
2001
8EEIlan 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
6EEShoham 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
2EEIlan 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)