Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. 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]
   
10. Shoham Ben-David, Dana Fisman, Sitvanit Ruah
    The Safety Simple Subset. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:14-29 [Conf]
    
11. 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]
    
12. 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]
    
13. 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]
    
14. Shoham Ben-David, Dana Fisman, Sitvanit Ruah
    Temporal Antecedent Failure: Refining Vacuity. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:492-506 [Conf]
    
15. 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]
    
16. 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]
    
17. 
    Explaining Counterexamples Using Causality. [Citation Graph (, )][DBLP]
    
    
18. 
    Modal vs. Propositional Reasoning for model checking with Description Logics. [Citation Graph (, )][DBLP]
    
    
19. 
    Fair Cycle Detection using Description Logic Reasoning. [Citation Graph (, )][DBLP]
    
    
20. 
    Embedding Finite Automata within regular Expressions. [Citation Graph (, )][DBLP]