dblp.uni-trier.dewww.uni-trier.de

Francesco Ranzato Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
45EEFrancesco Ranzato, Francesco Tapparo: Computing Stuttering Simulations. CONCUR 2009: 542-556
44EEFrancesco Ranzato, Francesco Tapparo: Computing Stuttering Simulations CoRR abs/0904.1488: (2009)
43EERoberto Giacobazzi, Francesco Ranzato: Abstraction-Guided Abstraction Simplification CoRR abs/0910.4748: (2009)
42EELorenzo De Nardo, Francesco Ranzato, Francesco Tapparo: The Subgraph Similarity Problem. IEEE Trans. Knowl. Data Eng. 21(5): 748-749 (2009)
2008
41EEFrancesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo: A Forward-Backward Abstraction Refinement Algorithm. VMCAI 2008: 248-262
40EEFrancesco Ranzato, Francesco Tapparo: Generalizing the Paige-Tarjan algorithm by abstract interpretation. Inf. Comput. 206(5): 620-651 (2008)
2007
39EEFrancesco Ranzato, Francesco Tapparo: A New Efficient Simulation Equivalence Algorithm. LICS 2007: 171-180
38EEFrancesco Ranzato, Francesco Tapparo: An efficient simulation equivalence algorithm based on abstract interpretation CoRR abs/0709.4118: (2007)
37EEFrancesco Ranzato, Francesco Tapparo: Generalized Strong Preservation by Abstract Interpretation. J. Log. Comput. 17(1): 157-197 (2007)
2006
36EEFrancesco Ranzato, Francesco Tapparo: Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. VMCAI 2006: 332-347
35EEFrancesco Ranzato, Francesco Tapparo: Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation CoRR abs/cs/0612120: (2006)
34EERoberto Giacobazzi, Francesco Ranzato: Incompleteness of states w.r.t. traces in model checking. Inf. Comput. 204(3): 376-407 (2006)
2005
33EEFrancesco Ranzato, Francesco Tapparo: An Abstract Interpretation Perspective on Linear vs. Branching Time. APLAS 2005: 69-85
32EEFrancesco Ranzato, Francesco Tapparo: An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. TACAS 2005: 140-156
31EERoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making abstract domains condensing. ACM Trans. Comput. Log. 6(1): 33-60 (2005)
2004
30EEFrancesco Ranzato, Francesco Tapparo: Strong Preservation as Completeness in Abstract Interpretation. ESOP 2004: 18-32
29EEFrancesco Ranzato, Francesco Tapparo: Generalized Strong Preservation by Abstract Interpretation CoRR cs.LO/0401016: (2004)
28EERoberto Giacobazzi, Francesco Ranzato: Incompleteness of States w.r.t. Traces in Model Checking CoRR cs.LO/0404048: (2004)
2002
27EEFrancesco Ranzato, Francesco Tapparo: Making Abstract Model Checking Strongly Preserving. SAS 2002: 411-427
26EERoberto Giacobazzi, Francesco Ranzato: States vs. Traces in Model Checking by Abstract Interpretation. SAS 2002: 461-476
25EERoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making Abstract Domains Condensing CoRR cs.PL/0204016: (2002)
24EEFrancesco Ranzato: Pseudocomplements of closure operators on posets. Discrete Mathematics 248(1-3): 143-155 (2002)
2001
23EEFrancesco Ranzato: On the Completeness of Model Checking. ESOP 2001: 137-154
2000
22EERoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making abstract interpretations complete. J. ACM 47(2): 361-416 (2000)
1999
21 Francesco Ranzato: CPOs as Concrete Domains: Lattices of Abstract Domains and Complements. APPIA-GULP-PRODE 1999: 183-196
20 Francesco Ranzato: Closures on CPOs Form Complete Lattices. Inf. Comput. 152(2): 236-249 (1999)
19EERoberto Giacobazzi, Francesco Ranzato: The Reduced Relative Power Operation on Abstract Domains. Theor. Comput. Sci. 216(1-2): 159-211 (1999)
18EEGilberto Filé, Francesco Ranzato: The Powerset Operator on Abstract Interpretations. Theor. Comput. Sci. 222(1-2): 77-111 (1999)
1998
17 Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Building Complete Abstract Interpretations in a Linear Logic-based Setting. APPIA-GULP-PRODE 1998: 241-254
16EERoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Complete Abstract Interpretations Made Constructive. MFCS 1998: 366-377
15EERoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Building Complete Abstract Interpretations in a Linear Logic-based Setting. SAS 1998: 215-229
14 Roberto Giacobazzi, Francesco Ranzato: Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. Inf. Comput. 145(2): 153-190 (1998)
13 Roberto Giacobazzi, Francesco Ranzato: Optimal Domains for Disjunctive Abstract Intepretation. Sci. Comput. Program. 32(1-3): 177-210 (1998)
1997
12 Roberto Giacobazzi, Francesco Ranzato: Completeness in Abstract Interpretation: A Domain Perspective. AMAST 1997: 231-245
11EERoberto Giacobazzi, Francesco Ranzato: Refining and Compressing Abstract Domains. ICALP 1997: 771-781
10EEAgostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997)
1996
9EERoberto Giacobazzi, Francesco Ranzato: Complementing Logic Program Semantics. ALP 1996: 238-253
8 Roberto Giacobazzi, Francesco Ranzato: Optimization of Disjunctive Abstract Interpretations. APPIA-GULP-PRODE 1996: 53-66
7EERoberto Giacobazzi, Francesco Ranzato: Compositional Optimization of Disjunctive Abstract Interpretations. ESOP 1996: 141-155
6 Gilberto Filé, Francesco Ranzato: Complementation of Abstract Domains made Easy. JICSLP 1996: 348-362
5 Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato: A Unifying View of Abstract Domain Design. ACM Comput. Surv. 28(2): 333-336 (1996)
1995
4 Roberto Giacobazzi, Francesco Ranzato: Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. ILPS 1995: 321-335
3 Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation SAS 1995: 100-117
1994
2 Gilberto Filé, Francesco Ranzato: Improving Abstract Interpretations by Systematic Lifting to the Powerset. GULP-PRODE (1) 1994: 357-371
1 Gilberto Filé, Francesco Ranzato: Improving Abstract Interpretations by Systematic Lifting to the Powerset. SLP 1994: 655-669

Coauthor Index

1Agostino Cortesi [3] [10]
2Gilberto Filé [1] [2] [3] [5] [6] [10] [18]
3Roberto Giacobazzi [3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [19] [22] [25] [26] [28] [31] [34] [43]
4Lorenzo De Nardo [42]
5Catuscia Palamidessi [3] [10]
6Olivia Rossi-Doria [41]
7Francesca Scozzari [15] [16] [17] [22] [25] [31]
8Francesco Tapparo [27] [29] [30] [32] [33] [35] [36] [37] [38] [39] [40] [41] [42] [44] [45]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)