F. Levi
A Process Language for Statecharts.
In Analysis and Verification of Multiple-Agent Languages. LNCS 1192, 388-403. Springer-Verlag. (postscript)

1997

F. Levi
Compositional Verification of Timed Statecharts.
In Advances in Temporal Logic. Applied Logic Series 16, 47-70.Kluwer Academic Publishers. (postscript)

F. Levi
Verification of Temporal and Real-Time Properties of Statecharts.
Ph. D Thesis. Department of Computer Science, University of Pisa, TD-6/97, 1997. (postscript)

1998

F. Levi
A Symbolic Semantics for Abstract Model Checking (Extended Abstract).
In Proceedings of SAS '98. LNCS 1503, 134-151. Springer-Verlag. (postscript)

1999

F. Levi
A Compositional Mu-calculus Proof System for Statecharts Processes.
Theoretical Computer Science, 216(1-2), 271-311. Elsevier Science. (postscript)

2000

F. Levi and D. Sangiorgi
Controlling Interferences in Ambients.
In Proceedings of POPL '00, 352-364. ACM Press. (postscript)

F. Levi and C. Bodei.
Security Analysis for Mobile Ambients.
In Proceedings of the Workshop on Issues on the Theory of Security (WITS'00). (postscript)

P. Degano, F. Levi and C. Bodei.
Safe Ambients: Control Flow Analysis and Security.
In Proceedings of ASIAN '00. LNCS 1961, 199-214, Springer-Verlag. (postscript)

2001

F. Levi
Compositional Verification of Quantitative Properties of Statecharts.
Journal of Logic and Computation, 11 (6), 829-878. Oxford University Press. (postscript)

F. Levi
A Symbolic Semantics for Abstract Model Checking (Complete and revised version).
Science of Computer Programming, 39, 93-123. Elsevier Science. (postscript)

F. Levi and S. Maffeis
An Abstract Interpretation Framework for Analysing Mobile Ambients.
In Proceedings of SAS '01. LNCS 2126, 395-411. Springer-Verlag, (postscript)

2003

F. Levi and D. Sangiorgi
Mobile Safe Ambients.
Transactions on Programming Languages and Systems, 25(1), 1-69. ACM Press.

F. Levi
Types for Evolving Communication in Safe Ambients.
In Proceedings of VMCAI '03. . LNCS 2575. (postscript)

2004

F. Levi and S. Maffeis
On Abstract Interpretation of Mobile Ambients.
Information and Computation, 188 (2), 179-240, January 2004 .

F. Levi and C. Bodei
A Control Flow Analysis for Safe and Boxed Ambients

In Proceedings of ESOP '04. . LNCS 2986. (Extended Version)

2005

R. Gori and F. Levi
A New Occurrence Counting Analysis for BioAmbients
In Proceedings of APLAS '05 . LNCS 3708. (pdf)

2006

R. Gori and F. Levi
An Analysis for Proving Temporal Properties of Biological Systems
Proceedings of APLAS '06 . LNCS 4279, 243--252. . (Extended Version)

2008

A. Coletta, R. Gori and F. Levi
Approximating Probabilistic Behaviours of Biological Systems using Abstract Interpretation
Proceedings of FBTC '08 . ENTCS 229 (1), 165--182. . (pdf)

2009

R. Gori and F. Levi
Abstract Interpretation for Probabilistic Termination of Biological Systems
Proceedings of MeCBiC'09 . To appear in ENTCS. .

R. Barbuti, F. Levi, P. Milazzo and G. Scatena
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
RP 2009 . LNCS 5797, 68-74, 2009. .