Francesco Tapparo

According to our database, Francesco Tapparo authored at least 15 papers between 2002 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Saving Space in a Time Efficient Simulation Algorithm.

Silvia Crafa, Francesco Ranzato, Francesco Tapparo

Fundam. Informaticae, 2011

2010

An efficient simulation algorithm based on abstract interpretation.

Francesco Ranzato, Francesco Tapparo

Inf. Comput., 2010

2009

The Subgraph Similarity Problem.

Lorenzo De Nardo, Francesco Ranzato, Francesco Tapparo

IEEE Trans. Knowl. Data Eng., 2009

Computing Stuttering Simulations.

Francesco Ranzato, Francesco Tapparo

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Generalizing the Paige-Tarjan algorithm by abstract interpretation.

Francesco Ranzato, Francesco Tapparo

Inf. Comput., 2008

A Forward-Backward Abstraction Refinement Algorithm.

Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo

Proceedings of the Verification, 2008

2007

Generalized Strong Preservation by Abstract Interpretation.

Francesco Ranzato, Francesco Tapparo

J. Log. Comput., 2007

An efficient simulation equivalence algorithm based on abstract interpretation

Francesco Ranzato, Francesco Tapparo

CoRR, 2007

A New Efficient Simulation Equivalence Algorithm.

Francesco Ranzato, Francesco Tapparo

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Symbolic Fault Tree Analysis for Reactive Systems.

Marco Bozzano, Alessandro Cimatti, Francesco Tapparo

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation.

Francesco Ranzato, Francesco Tapparo

Proceedings of the Verification, 2006

2005

An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation.

Francesco Ranzato, Francesco Tapparo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

An Abstract Interpretation Perspective on Linear vs. Branching Time.

Francesco Ranzato, Francesco Tapparo

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Strong Preservation as Completeness in Abstract Interpretation.

Francesco Ranzato, Francesco Tapparo

Proceedings of the Programming Languages and Systems, 2004

2002

Making Abstract Model Checking Strongly Preserving.

Francesco Ranzato, Francesco Tapparo

Proceedings of the Static Analysis, 9th International Symposium, 2002