Francesco Tapparo

Publication Activity (10 Years)

Years Active: 2002-2011
Publications (10 Years): 0

Publications

Silvia Crafa, Francesco Ranzato, Francesco Tapparo
Saving Space in a Time Efficient Simulation Algorithm. Fundam. Informaticae 108 (1-2) (2011)
Francesco Ranzato, Francesco Tapparo
An efficient simulation algorithm based on abstract interpretation. Inf. Comput. 208 (1) (2010)
Francesco Ranzato, Francesco Tapparo
Computing Stuttering Simulations CoRR (2009)
Lorenzo De Nardo, Francesco Ranzato, Francesco Tapparo
The Subgraph Similarity Problem. IEEE Trans. Knowl. Data Eng. 21 (5) (2009)
Francesco Ranzato, Francesco Tapparo
Computing Stuttering Simulations. CONCUR (2009)
Silvia Crafa, Francesco Ranzato, Francesco Tapparo
Saving Space in a Time Efficient Simulation Algorithm. ACSD (2009)
Francesco Ranzato, Francesco Tapparo
Generalizing the Paige-Tarjan algorithm by abstract interpretation. Inf. Comput. 206 (5) (2008)
Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo
A Forward-Backward Abstraction Refinement Algorithm. VMCAI (2008)
Francesco Ranzato, Francesco Tapparo
Generalized Strong Preservation by Abstract Interpretation. J. Log. Comput. 17 (1) (2007)
Francesco Ranzato, Francesco Tapparo
A New Efficient Simulation Equivalence Algorithm. LICS (2007)
Marco Bozzano, Alessandro Cimatti, Francesco Tapparo
Symbolic Fault Tree Analysis for Reactive Systems. ATVA (2007)
Francesco Ranzato, Francesco Tapparo
An efficient simulation equivalence algorithm based on abstract interpretation CoRR (2007)
Francesco Ranzato, Francesco Tapparo
Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. VMCAI (2006)
Francesco Ranzato, Francesco Tapparo
Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation CoRR (2006)
Francesco Ranzato, Francesco Tapparo
An Abstract Interpretation Perspective on Linear vs. Branching Time. APLAS (2005)
Francesco Ranzato, Francesco Tapparo
An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. TACAS (2005)
Francesco Ranzato, Francesco Tapparo
Generalized Strong Preservation by Abstract Interpretation CoRR (2004)
Francesco Ranzato, Francesco Tapparo
Strong Preservation as Completeness in Abstract Interpretation. ESOP (2004)
Francesco Ranzato, Francesco Tapparo
Making Abstract Model Checking Strongly Preserving. SAS (2002)