Francesco Tapparo

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