Search the dblp DataBase
Francesco Ranzato :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Roberto Giacobazzi , Francesco Ranzato Optimization of Disjunctive Abstract Interpretations. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1996, pp:53-66 [Conf ] 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 ] 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 ] Roberto Giacobazzi , Francesco Ranzato Complementing Logic Program Semantics. [Citation Graph (0, 0)][DBLP ] ALP, 1996, pp:238-253 [Conf ] Roberto Giacobazzi , Francesco Ranzato Completeness in Abstract Interpretation: A Domain Perspective. [Citation Graph (0, 0)][DBLP ] AMAST, 1997, pp:231-245 [Conf ] Francesco Ranzato , Francesco Tapparo An Abstract Interpretation Perspective on Linear vs. Branching Time. [Citation Graph (0, 0)][DBLP ] APLAS, 2005, pp:69-85 [Conf ] Roberto Giacobazzi , Francesco Ranzato Compositional Optimization of Disjunctive Abstract Interpretations. [Citation Graph (0, 0)][DBLP ] ESOP, 1996, pp:141-155 [Conf ] Francesco Ranzato On the Completeness of Model Checking. [Citation Graph (0, 0)][DBLP ] ESOP, 2001, pp:137-154 [Conf ] Francesco Ranzato , Francesco Tapparo Strong Preservation as Completeness in Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] ESOP, 2004, pp:18-32 [Conf ] Roberto Giacobazzi , Francesco Ranzato Refining and Compressing Abstract Domains. [Citation Graph (0, 0)][DBLP ] ICALP, 1997, pp:771-781 [Conf ] Gilberto Filé , Francesco Ranzato Complementation of Abstract Domains made Easy. [Citation Graph (0, 0)][DBLP ] JICSLP, 1996, pp:348-362 [Conf ] Roberto Giacobazzi , Francesco Ranzato , Francesca Scozzari Complete Abstract Interpretations Made Constructive. [Citation Graph (0, 0)][DBLP ] MFCS, 1998, pp:366-377 [Conf ] 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 ] Roberto Giacobazzi , Francesco Ranzato States vs. Traces in Model Checking by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] SAS, 2002, pp:461-476 [Conf ] 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 ] Francesco Ranzato , Francesco Tapparo Making Abstract Model Checking Strongly Preserving. [Citation Graph (0, 0)][DBLP ] SAS, 2002, pp:411-427 [Conf ] Gilberto Filé , Francesco Ranzato Improving Abstract Interpretations by Systematic Lifting to the Powerset. [Citation Graph (0, 0)][DBLP ] SLP, 1994, pp:655-669 [Conf ] 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 ] Francesco Ranzato , Francesco Tapparo An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. [Citation Graph (0, 0)][DBLP ] TACAS, 2005, pp:140-156 [Conf ] 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 ] Francesco Ranzato , Francesco Tapparo Generalized Strong Preservation by Abstract Interpretation [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] 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 ] Roberto Giacobazzi , Francesco Ranzato , Francesca Scozzari Making Abstract Domains Condensing [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] 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 ] 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 ] 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 ] Francesco Ranzato Closures on CPOs Form Complete Lattices. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1999, v:152, n:2, pp:236-249 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Francesco Ranzato , Francesco Tapparo A New Efficient Simulation Equivalence Algorithm. [Citation Graph (0, 0)][DBLP ] LICS, 2007, pp:171-180 [Conf ] Francesco Ranzato , Francesco Tapparo Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] 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 ] 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 ] Saving Space in a Time Efficient Simulation Algorithm. [Citation Graph (, )][DBLP ] Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. [Citation Graph (, )][DBLP ] Computing Stuttering Simulations. [Citation Graph (, )][DBLP ] Example-Guided Abstraction Simplification. [Citation Graph (, )][DBLP ] A Forward-Backward Abstraction Refinement Algorithm. [Citation Graph (, )][DBLP ] Computing Stuttering Simulations [Citation Graph (, )][DBLP ] Abstraction-Guided Abstraction Simplification [Citation Graph (, )][DBLP ] Search in 0.088secs, Finished in 0.090secs