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 × Germany
1 × Italy
1 × Spain
1 × The Netherlands
Collaborated with:
C.Priami P.Degano F.Levi F.Nielson H.R.Nielson M.Curti M.Buchholtz
Talks about:
interpret (2) abstract (2) process (2) concurr (2) analysi (2) no (2) distribut (1) construct (1) protocol (1) specifi (1)

Person: Chiara Bodei

DBLP DBLP: Bodei:Chiara

Contributed to:

ESOP 20042004
QAPL 20042005
FoSSaCS 19991999
SAS 19981998
SAS 19971997
ICALP 19961996

Wrote 6 papers:

ESOP-2004-LeviB #analysis #control flow
A Control Flow Analysis for Safe and Boxed Ambients (FL, CB), pp. 188–203.
QAPL-2004-BodeiCDBNNP05 #evaluation #performance #protocol #security
Performance Evaluation of Security Protocols Specified in LySa (CB, MC, PD, MB, FN, HRN, CP), pp. 167–189.
FoSSaCS-1999-BodeiDNN #process #static analysis
Static Analysis of Processes for No and Read-Up and No Write-Down (CB, PD, FN, HRN), pp. 120–134.
SAS-1998-BodeiDP #abstract interpretation #concurrent #semantics
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation (CB, PD, CP), pp. 168–183.
SAS-1997-BodeiP #abstract interpretation #concurrent
True Concurrency via Abstract Interpretation (CB, CP), pp. 202–216.
ICALP-1996-BodeiDP #distributed #mobile #process
Mobile Processes with a Distributed Environment (CB, PD, CP), pp. 490–501.

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.