The SCEAS System
| |||||||

## Search the dblp DataBase
Shoham Ben-David:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh
**The Temporal Logic Sugar.**[Citation Graph (0, 0)][DBLP] CAV, 2001, pp:363-367 [Conf] - 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.**[Citation Graph (0, 0)][DBLP] CAV, 1997, pp:480-483 [Conf] - Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
**Efficient Detection of Vacuity in ACTL Formulaas.**[Citation Graph (0, 0)][DBLP] CAV, 1997, pp:279-290 [Conf] - Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli
**Methodology and System for Practical Formal Verification of Reactive Hardware.**[Citation Graph (0, 0)][DBLP] CAV, 1994, pp:182-193 [Conf] - Ilan Beer, Shoham Ben-David, Avner Landver
**On-the-Fly Model Checking of RCTL Formulas.**[Citation Graph (0, 0)][DBLP] CAV, 1998, pp:184-194 [Conf] - Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
**PathFinder: A Tool for Design Exploration.**[Citation Graph (0, 0)][DBLP] CAV, 2002, pp:510-514 [Conf] - Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver
**RuleBase: An Industry-Oriented Formal Verification Tool.**[Citation Graph (0, 0)][DBLP] DAC, 1996, pp:655-660 [Conf] - Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
**An Algorithmic Approach to Design Exploration.**[Citation Graph (0, 0)][DBLP] FME, 2002, pp:146-162 [Conf] - Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster
**Scalable Distributed On-the-Fly Symbolic Model Checking.**[Citation Graph (0, 0)][DBLP] FMCAD, 2000, pp:390-404 [Conf] - Shoham Ben-David, Dana Fisman, Sitvanit Ruah
**The Safety Simple Subset.**[Citation Graph (0, 0)][DBLP] Haifa Verification Conference, 2005, pp:14-29 [Conf] - Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
**Efficient Detection of Vacuity in Temporal Model Checking.**[Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2001, v:18, n:2, pp:141-163 [Journal] - Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal
**Model Checking at IBM.**[Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2003, v:22, n:2, pp:101-108 [Journal] - Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster
**Scalable distributed on-the-fly symbolic model checking.**[Citation Graph (0, 0)][DBLP] STTT, 2003, v:4, n:4, pp:496-504 [Journal] - Shoham Ben-David, Dana Fisman, Sitvanit Ruah
**Temporal Antecedent Failure: Refining Vacuity.**[Citation Graph (0, 0)][DBLP] CONCUR, 2007, pp:492-506 [Conf] - Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
**Model checking the basic modalities of CTL with Description Logic.**[Citation Graph (0, 0)][DBLP] Description Logics, 2006, pp:- [Conf] - Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
**Bounded Model Checking with Description Logic Reasoning.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2007, pp:60-72 [Conf] **Explaining Counterexamples Using Causality.**[Citation Graph (, )][DBLP]**Modal vs. Propositional Reasoning for model checking with Description Logics.**[Citation Graph (, )][DBLP]**Fair Cycle Detection using Description Logic Reasoning.**[Citation Graph (, )][DBLP]**Embedding Finite Automata within regular Expressions.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |