BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
1 × United Kingdom
2 × Spain
2 × USA
Collaborated with:
F.Ranzato O.Rossi-Doria
Talks about:
abstract (5) preserv (4) strong (4) interpret (3) algorithm (3) refin (2) base (2) fixpoint (1) backward (1) forward (1)

Person: Francesco Tapparo

DBLP DBLP: Tapparo:Francesco

Contributed to:

VMCAI 20082008
LICS 20072007
VMCAI 20062006
TACAS 20052005
ESOP 20042004
SAS 20022002

Wrote 6 papers:

VMCAI-2008-RanzatoRT #abstraction #algorithm #refinement
A Forward-Backward Abstraction Refinement Algorithm (FR, ORD, FT), pp. 248–262.
LICS-2007-RanzatoT #algorithm #equivalence #performance #simulation
A New Efficient Simulation Equivalence Algorithm (FR, FT), pp. 171–180.
VMCAI-2006-RanzatoT #abstract interpretation
Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation (FR, FT), pp. 332–347.
TACAS-2005-RanzatoT #abstract interpretation #algorithm #refinement
An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation (FR, FT), pp. 140–156.
ESOP-2004-RanzatoT #abstract interpretation
Strong Preservation as Completeness in Abstract Interpretation (FR, FT), pp. 18–32.
SAS-2002-RanzatoT #model checking
Making Abstract Model Checking Strongly Preserving (FR, FT), pp. 411–427.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.