 | 2010 |
|---|
| 17 |       | Francesco Ranzato,
Francesco Tapparo:
An efficient simulation algorithm based on abstract interpretation.
Inf. Comput. 208(1): 1-22 (2010) |
| 2009 |
|---|
| 16 | | Francesco Ranzato,
Francesco Tapparo:
Computing Stuttering Simulations.
CONCUR 2009: 542-556 |
| 15 | | Francesco Ranzato,
Francesco Tapparo:
Computing Stuttering Simulations
CoRR abs/0904.1488: (2009) |
| 14 | | Lorenzo De Nardo,
Francesco Ranzato,
Francesco Tapparo:
The Subgraph Similarity Problem.
IEEE Trans. Knowl. Data Eng. 21(5): 748-749 (2009) |
| 2008 |
|---|
| 13 | | Francesco Ranzato,
Olivia Rossi-Doria,
Francesco Tapparo:
A Forward-Backward Abstraction Refinement Algorithm.
VMCAI 2008: 248-262 |
| 12 | | Francesco Ranzato,
Francesco Tapparo:
Generalizing the Paige-Tarjan algorithm by abstract interpretation.
Inf. Comput. 206(5): 620-651 (2008) |
| 2007 |
|---|
| 11 | | Marco Bozzano,
Alessandro Cimatti,
Francesco Tapparo:
Symbolic Fault Tree Analysis for Reactive Systems.
ATVA 2007: 162-176 |
| 10 | | Francesco Ranzato,
Francesco Tapparo:
A New Efficient Simulation Equivalence Algorithm.
LICS 2007: 171-180 |
| 9 | | Francesco Ranzato,
Francesco Tapparo:
An efficient simulation equivalence algorithm based on abstract interpretation
CoRR abs/0709.4118: (2007) |
| 8 | | Francesco Ranzato,
Francesco Tapparo:
Generalized Strong Preservation by Abstract Interpretation.
J. Log. Comput. 17(1): 157-197 (2007) |
| 2006 |
|---|
| 7 | | Francesco Ranzato,
Francesco Tapparo:
Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation.
VMCAI 2006: 332-347 |
| 6 | | Francesco Ranzato,
Francesco Tapparo:
Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation
CoRR abs/cs/0612120: (2006) |
| 2005 |
|---|
| 5 | | Francesco Ranzato,
Francesco Tapparo:
An Abstract Interpretation Perspective on Linear vs. Branching Time.
APLAS 2005: 69-85 |
| 4 | | Francesco Ranzato,
Francesco Tapparo:
An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation.
TACAS 2005: 140-156 |
| 2004 |
|---|
| 3 | | Francesco Ranzato,
Francesco Tapparo:
Strong Preservation as Completeness in Abstract Interpretation.
ESOP 2004: 18-32 |
| 2 | | Francesco Ranzato,
Francesco Tapparo:
Generalized Strong Preservation by Abstract Interpretation
CoRR cs.LO/0401016: (2004) |
| 2002 |
|---|
| 1 | | Francesco Ranzato,
Francesco Tapparo:
Making Abstract Model Checking Strongly Preserving.
SAS 2002: 411-427 |
