The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Gilberto Filé, Francesco Ranzato
    Improving Abstract Interpretations by Systematic Lifting to the Powerset. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:357-371 [Conf]
  2. Roberto Giacobazzi, Francesco Ranzato
    Optimization of Disjunctive Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:53-66 [Conf]
  3. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Building Complete Abstract Interpretations in a Linear Logic-based Setting. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:241-254 [Conf]
  4. Francesco Ranzato
    CPOs as Concrete Domains: Lattices of Abstract Domains and Complements. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:183-196 [Conf]
  5. Roberto Giacobazzi, Francesco Ranzato
    Complementing Logic Program Semantics. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:238-253 [Conf]
  6. Roberto Giacobazzi, Francesco Ranzato
    Completeness in Abstract Interpretation: A Domain Perspective. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:231-245 [Conf]
  7. Francesco Ranzato, Francesco Tapparo
    An Abstract Interpretation Perspective on Linear vs. Branching Time. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:69-85 [Conf]
  8. Roberto Giacobazzi, Francesco Ranzato
    Compositional Optimization of Disjunctive Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:141-155 [Conf]
  9. Francesco Ranzato
    On the Completeness of Model Checking. [Citation Graph (0, 0)][DBLP]
    ESOP, 2001, pp:137-154 [Conf]
  10. Francesco Ranzato, Francesco Tapparo
    Strong Preservation as Completeness in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:18-32 [Conf]
  11. Roberto Giacobazzi, Francesco Ranzato
    Refining and Compressing Abstract Domains. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:771-781 [Conf]
  12. Gilberto Filé, Francesco Ranzato
    Complementation of Abstract Domains made Easy. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:348-362 [Conf]
  13. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Complete Abstract Interpretations Made Constructive. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:366-377 [Conf]
  14. Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
    Complementation in Abstract Interpretation [Citation Graph (0, 0)][DBLP]
    SAS, 1995, pp:100-117 [Conf]
  15. Roberto Giacobazzi, Francesco Ranzato
    States vs. Traces in Model Checking by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:461-476 [Conf]
  16. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Building Complete Abstract Interpretations in a Linear Logic-based Setting. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:215-229 [Conf]
  17. Francesco Ranzato, Francesco Tapparo
    Making Abstract Model Checking Strongly Preserving. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:411-427 [Conf]
  18. Gilberto Filé, Francesco Ranzato
    Improving Abstract Interpretations by Systematic Lifting to the Powerset. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:655-669 [Conf]
  19. Roberto Giacobazzi, Francesco Ranzato
    Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:321-335 [Conf]
  20. Francesco Ranzato, Francesco Tapparo
    An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:140-156 [Conf]
  21. 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]
  22. Francesco Ranzato, Francesco Tapparo
    Generalized Strong Preservation by Abstract Interpretation [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  23. Roberto Giacobazzi, Francesco Ranzato
    Incompleteness of States w.r.t. Traces in Model Checking [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  24. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Making Abstract Domains Condensing [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  25. Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato
    A Unifying View of Abstract Domain Design. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:333-336 [Journal]
  26. Francesco Ranzato
    Pseudocomplements of closure operators on posets. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 2002, v:248, n:1-3, pp:143-155 [Journal]
  27. Roberto Giacobazzi, Francesco Ranzato
    Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:145, n:2, pp:153-190 [Journal]
  28. Francesco Ranzato
    Closures on CPOs Form Complete Lattices. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:152, n:2, pp:236-249 [Journal]
  29. Roberto Giacobazzi, Francesco Ranzato
    Incompleteness of states w.r.t. traces in model checking. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:3, pp:376-407 [Journal]
  30. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Making abstract interpretations complete. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2000, v:47, n:2, pp:361-416 [Journal]
  31. Roberto Giacobazzi, Francesco Ranzato
    Optimal Domains for Disjunctive Abstract Intepretation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:32, n:1-3, pp:177-210 [Journal]
  32. Gilberto Filé, Francesco Ranzato
    The Powerset Operator on Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:222, n:1-2, pp:77-111 [Journal]
  33. Roberto Giacobazzi, Francesco Ranzato
    The Reduced Relative Power Operation on Abstract Domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:159-211 [Journal]
  34. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Making abstract domains condensing. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2005, v:6, n:1, pp:33-60 [Journal]
  35. Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
    Complementation in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:1, pp:7-47 [Journal]
  36. Francesco Ranzato, Francesco Tapparo
    A New Efficient Simulation Equivalence Algorithm. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:171-180 [Conf]
  37. Francesco Ranzato, Francesco Tapparo
    Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  38. 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]
  39. 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]

  40. Saving Space in a Time Efficient Simulation Algorithm. [Citation Graph (, )][DBLP]


  41. Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. [Citation Graph (, )][DBLP]


  42. Computing Stuttering Simulations. [Citation Graph (, )][DBLP]


  43. Example-Guided Abstraction Simplification. [Citation Graph (, )][DBLP]


  44. A Forward-Backward Abstraction Refinement Algorithm. [Citation Graph (, )][DBLP]


  45. Computing Stuttering Simulations [Citation Graph (, )][DBLP]


  46. Abstraction-Guided Abstraction Simplification [Citation Graph (, )][DBLP]


Search in 0.177secs, Finished in 0.180secs
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