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. Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
   Reasoning with Temporal Logic on Truncated Paths. [Citation Graph (0, 0)][DBLP]
   CAV, 2003, pp:27-39 [Conf]
   
3. Dana Fisman, Amir Pnueli
   Beyond Regular Model Checking. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2001, pp:156-170 [Conf]
   
4. Shoham Ben-David, Dana Fisman, Sitvanit Ruah
   The Safety Simple Subset. [Citation Graph (0, 0)][DBLP]
   Haifa Verification Conference, 2005, pp:14-29 [Conf]
   
5. Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout
   The Definition of a Temporal Clock Operator. [Citation Graph (0, 0)][DBLP]
   ICALP, 2003, pp:857-870 [Conf]
   
6. Cindy Eisner, Dana Fisman, John Havlicek
   A topological characterization of weakness. [Citation Graph (0, 0)][DBLP]
   PODC, 2005, pp:1-8 [Conf]
   
7. Shoham Ben-David, Dana Fisman, Sitvanit Ruah
   Temporal Antecedent Failure: Refining Vacuity. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2007, pp:492-506 [Conf]
   
8. 
   Augmenting a Regular Expression-Based Temporal Logic with Local Variables. [Citation Graph (, )][DBLP]
   
   
9. 
   Structural Contradictions. [Citation Graph (, )][DBLP]
   
   
10. 
    On the Characterization of Until as a Fixed Point Under Clocked Semantics. [Citation Graph (, )][DBLP]
    
    
11. 
    A Framework for Inherent Vacuity. [Citation Graph (, )][DBLP]
    
    
12. 
    Embedding Finite Automata within regular Expressions. [Citation Graph (, )][DBLP]
    
    
13. 
    On Verifying Fault Tolerance of Distributed Protocols. [Citation Graph (, )][DBLP]
    
    
14. 
    Rational Synthesis. [Citation Graph (, )][DBLP]
    
    
15. 
    Rational Synthesis [Citation Graph (, )][DBLP]