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