Search the dblp DataBase

Publications of Author

1. Francesco Ranzato, Francesco Tapparo
   An Abstract Interpretation Perspective on Linear vs. Branching Time. [Citation Graph (0, 0)][DBLP]
   APLAS, 2005, pp:69-85 [Conf]
   
2. Francesco Ranzato, Francesco Tapparo
   Strong Preservation as Completeness in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   ESOP, 2004, pp:18-32 [Conf]
   
3. Francesco Ranzato, Francesco Tapparo
   Making Abstract Model Checking Strongly Preserving. [Citation Graph (0, 0)][DBLP]
   SAS, 2002, pp:411-427 [Conf]
   
4. Francesco Ranzato, Francesco Tapparo
   An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. [Citation Graph (0, 0)][DBLP]
   TACAS, 2005, pp:140-156 [Conf]
   
5. Francesco Ranzato, Francesco Tapparo
   Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2006, pp:332-347 [Conf]
   
6. Francesco Ranzato, Francesco Tapparo
   Generalized Strong Preservation by Abstract Interpretation [Citation Graph (0, 0)][DBLP]
   CoRR, 2004, v:0, n:, pp:- [Journal]
   
7. Marco Bozzano, Alessandro Cimatti, Francesco Tapparo
   Symbolic Fault Tree Analysis for Reactive Systems. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:162-176 [Conf]
   
8. Francesco Ranzato, Francesco Tapparo
   A New Efficient Simulation Equivalence Algorithm. [Citation Graph (0, 0)][DBLP]
   LICS, 2007, pp:171-180 [Conf]
   
9. Francesco Ranzato, Francesco Tapparo
   Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation [Citation Graph (0, 0)][DBLP]
   CoRR, 2006, v:0, n:, pp:- [Journal]
   
10. Francesco Ranzato, Francesco Tapparo
    An efficient simulation equivalence algorithm based on abstract interpretation [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
11. Francesco Ranzato, Francesco Tapparo
    Generalized Strong Preservation by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:1, pp:157-197 [Journal]
    
12. 
    Saving Space in a Time Efficient Simulation Algorithm. [Citation Graph (, )][DBLP]
    
    
13. 
    Computing Stuttering Simulations. [Citation Graph (, )][DBLP]
    
    
14. 
    A Forward-Backward Abstraction Refinement Algorithm. [Citation Graph (, )][DBLP]
    
    
15. 
    Computing Stuttering Simulations [Citation Graph (, )][DBLP]