BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
1 × Spain
2 × USA
Collaborated with:
C.Bodei S.Maffeis D.Sangiorgi
Talks about:
ambient (4) abstract (2) control (2) safe (2) interpret (1) framework (1) interfer (1) communic (1) analysi (1) symbol (1)

Person: Francesca Levi

DBLP DBLP: Levi:Francesca

Contributed to:

ESOP 20042004
VMCAI 20032003
SAS 20012001
POPL 20002000
SAS 19981998

Wrote 5 papers:

ESOP-2004-LeviB #analysis #control flow
A Control Flow Analysis for Safe and Boxed Ambients (FL, CB), pp. 188–203.
VMCAI-2003-Levi #communication #evolution
Types for Evolving Communication in Safe Ambients (FL), pp. 102–115.
SAS-2001-LeviM #abstract interpretation #framework #mobile
An Abstract Interpretation Framework for Analysing Mobile Ambients (FL, SM), pp. 395–411.
Controlling Interference in Ambients (FL, DS), pp. 352–364.
SAS-1998-Levi #model checking #semantics
A Symbolic Semantics for Abstract Model Checking (FL), pp. 134–151.

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.