| 2009 |
|---|
| 42 | EE | Francesco Ranzato,
Francesco Tapparo:
Computing Stuttering Simulations
CoRR abs/0904.1488: (2009) |
| 2008 |
|---|
| 41 | EE | Francesco Ranzato,
Olivia Rossi-Doria,
Francesco Tapparo:
A Forward-Backward Abstraction Refinement Algorithm.
VMCAI 2008: 248-262 |
| 40 | EE | Francesco Ranzato,
Francesco Tapparo:
Generalizing the Paige-Tarjan algorithm by abstract interpretation.
Inf. Comput. 206(5): 620-651 (2008) |
| 2007 |
|---|
| 39 | EE | Francesco Ranzato,
Francesco Tapparo:
A New Efficient Simulation Equivalence Algorithm.
LICS 2007: 171-180 |
| 38 | EE | Francesco Ranzato,
Francesco Tapparo:
An efficient simulation equivalence algorithm based on abstract interpretation
CoRR abs/0709.4118: (2007) |
| 37 | EE | Francesco Ranzato,
Francesco Tapparo:
Generalized Strong Preservation by Abstract Interpretation.
J. Log. Comput. 17(1): 157-197 (2007) |
| 2006 |
|---|
| 36 | EE | Francesco Ranzato,
Francesco Tapparo:
Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation.
VMCAI 2006: 332-347 |
| 35 | EE | Francesco Ranzato,
Francesco Tapparo:
Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation
CoRR abs/cs/0612120: (2006) |
| 34 | EE | Roberto Giacobazzi,
Francesco Ranzato:
Incompleteness of states w.r.t. traces in model checking.
Inf. Comput. 204(3): 376-407 (2006) |
| 2005 |
|---|
| 33 | EE | Francesco Ranzato,
Francesco Tapparo:
An Abstract Interpretation Perspective on Linear vs. Branching Time.
APLAS 2005: 69-85 |
| 32 | EE | Francesco Ranzato,
Francesco Tapparo:
An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation.
TACAS 2005: 140-156 |
| 31 | EE | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Making abstract domains condensing.
ACM Trans. Comput. Log. 6(1): 33-60 (2005) |
| 2004 |
|---|
| 30 | EE | Francesco Ranzato,
Francesco Tapparo:
Strong Preservation as Completeness in Abstract Interpretation.
ESOP 2004: 18-32 |
| 29 | EE | Francesco Ranzato,
Francesco Tapparo:
Generalized Strong Preservation by Abstract Interpretation
CoRR cs.LO/0401016: (2004) |
| 28 | EE | Roberto Giacobazzi,
Francesco Ranzato:
Incompleteness of States w.r.t. Traces in Model Checking
CoRR cs.LO/0404048: (2004) |
| 2002 |
|---|
| 27 | EE | Francesco Ranzato,
Francesco Tapparo:
Making Abstract Model Checking Strongly Preserving.
SAS 2002: 411-427 |
| 26 | EE | Roberto Giacobazzi,
Francesco Ranzato:
States vs. Traces in Model Checking by Abstract Interpretation.
SAS 2002: 461-476 |
| 25 | EE | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Making Abstract Domains Condensing
CoRR cs.PL/0204016: (2002) |
| 24 | EE | Francesco Ranzato:
Pseudocomplements of closure operators on posets.
Discrete Mathematics 248(1-3): 143-155 (2002) |
| 2001 |
|---|
| 23 | EE | Francesco Ranzato:
On the Completeness of Model Checking.
ESOP 2001: 137-154 |
| 2000 |
|---|
| 22 | EE | Roberto 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) |
| 19 | EE | Roberto Giacobazzi,
Francesco Ranzato:
The Reduced Relative Power Operation on Abstract Domains.
Theor. Comput. Sci. 216(1-2): 159-211 (1999) |
| 18 | EE | Gilberto 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 |
| 16 | EE | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Complete Abstract Interpretations Made Constructive.
MFCS 1998: 366-377 |
| 15 | EE | Roberto 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 |
| 11 | | Roberto Giacobazzi,
Francesco Ranzato:
Refining and Compressing Abstract Domains.
ICALP 1997: 771-781 |
| 10 | EE | Agostino Cortesi,
Gilberto Filé,
Roberto Giacobazzi,
Catuscia Palamidessi,
Francesco Ranzato:
Complementation in Abstract Interpretation.
ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997) |
| 1996 |
|---|
| 9 | | Roberto 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 |
| 7 | | Roberto 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 |
