The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Francesco Tapparo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.024secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002