Francesco Tapparo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2002–2009
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | CONCUR | Computing Stuttering Simulations. | Francesco Ranzato, Francesco Tapparo |
| 2008 | VMCAI | A Forward-Backward Abstraction Refinement Algorithm. | Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo |
| 2007 | ATVA | Symbolic Fault Tree Analysis for Reactive Systems. | Marco Bozzano, Alessandro Cimatti, Francesco Tapparo |
| 2007 | LICS | A New Efficient Simulation Equivalence Algorithm. | Francesco Ranzato, Francesco Tapparo |
| 2006 | VMCAI | Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. | Francesco Ranzato, Francesco Tapparo |
| 2005 | APLAS | An Abstract Interpretation Perspective on Linear vs. Branching Time. | Francesco Ranzato, Francesco Tapparo |
| 2005 | TACAS | An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. | Francesco Ranzato, Francesco Tapparo |
| 2004 | ESOP | Strong Preservation as Completeness in Abstract Interpretation. | Francesco Ranzato, Francesco Tapparo |
| 2002 | SAS | Making Abstract Model Checking Strongly Preserving. | Francesco Ranzato, Francesco Tapparo |