| * | 2009 |
|---|
| 19 | EE | Roberto Barbuti,
Francesca Levi,
Paolo Milazzo,
Guido Scatena:
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates.
RP 2009: 64-78 |
| 18 | EE | Alessio Coletta,
Roberta Gori,
Francesca Levi:
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation.
Electr. Notes Theor. Comput. Sci. 229(1): 165-182 (2009) |
| 2006 |
|---|
| 17 | EE | Roberta Gori,
Francesca Levi:
An Analysis for Proving Temporal Properties of Biological Systems.
APLAS 2006: 234-252 |
| 16 | EE | Francesca Levi:
A typed encoding of boxed into safe ambients.
Acta Inf. 42(6-7): 429-500 (2006) |
| 2005 |
|---|
| 15 | EE | Roberta Gori,
Francesca Levi:
A New Occurrence Counting Analysis for BioAmbients.
APLAS 2005: 381-400 |
| 2004 |
|---|
| 14 | EE | Francesca Levi,
Chiara Bodei:
A Control Flow Analysis for Safe and Boxed Ambients.
ESOP 2004: 188-203 |
| 13 | EE | Francesca Levi,
Sergio Maffeis:
On abstract interpretation of Mobile Ambients.
Inf. Comput. 188(2): 179-240 (2004) |
| 2003 |
|---|
| 12 | EE | Francesca Levi:
Types for Evolving Communication in Safe Ambients.
VMCAI 2003: 102-115 |
| 11 | EE | Francesca Levi,
Davide Sangiorgi:
Mobile safe ambients.
ACM Trans. Program. Lang. Syst. 25(1): 1-69 (2003) |
| 2001 |
|---|
| 10 | EE | Francesca Levi,
Sergio Maffeis:
An Abstract Interpretation Framework for Analysing Mobile Ambients.
SAS 2001: 395-411 |
| 9 | EE | Francesca Levi:
Compositional Verification of Quantitative Properties of Statecharts.
J. Log. Comput. 11(6): 829-878 (2001) |
| 8 | | Francesca Levi:
A symbolic semantics for abstract model checking.
Sci. Comput. Program. 39(1): 93-123 (2001) |
| 2000 |
|---|
| 7 | EE | Pierpaolo Degano,
Francesca Levi,
Chiara Bodei:
Safe Ambients: Control Flow Analysis and Security.
ASIAN 2000: 199-214 |
| 6 | EE | Francesca Levi,
Davide Sangiorgi:
Controlling Interference in Ambients.
POPL 2000: 352-364 |
| 1999 |
|---|
| 5 | EE | Francesca Levi:
A Compositional µ-Calculus Proof System for Statecharts Processes.
Theor. Comput. Sci. 216(1-2): 271-310 (1999) |
| 1998 |
|---|
| 4 | EE | Francesca Levi:
A Symbolic Semantics for Abstract Model Checking.
SAS 1998: 134-151 |
| 1996 |
|---|
| 3 | EE | Francesca Levi:
A Process Language for Statecharts.
LOMAPS 1996: 388-403 |
| 1994 |
|---|
| 2 | EE | Paola Bruscoli,
Francesca Levi,
Giorgio Levi,
Maria Chiara Meo:
Compilative Constructive Negation in Constraint Logic Programs.
CAAP 1994: 52-67 |
| 1993 |
|---|
| 1 | | Paola Bruscoli,
Francesca Levi,
Giorgio Levi,
Maria Chiara Meo:
Intensional Negation in Constraint Logic Programs.
GULP 1993: 359-374 |
