×

zbMATH — the first resource for mathematics

Levi, Francesca

Compute Distance To:
Author ID: levi.francesca Recent zbMATH articles by "Levi, Francesca"
Published as: Levi, F.; Levi, Francesca
Documents Indexed: 29 Publications since 1994

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 130 times in 73 Documents Cited by Year
Controlling interference in ambients. Zbl 1323.68411
Levi, Francesca; Sangiorgi, Davide
30
2000
Safe ambients: Control flow analysis and security. Zbl 0988.68543
Degano, Pierpaolo; Levi, Francesca; Bodei, Chiara
13
2000
An analysis for proving temporal properties of biological systems. Zbl 1168.68438
Gori, Roberta; Levi, Francesca
9
2006
An analysis for causal properties of membrane interactions. Zbl 1337.68100
Bodei, Chiara; Gori, Roberta; Levi, Francesca
7
2013
Abstract interpretation based verification of temporal properties for BioAmbients. Zbl 1205.68244
Gori, Roberta; Levi, Francesca
7
2010
A new occurrence counting analysis for BioAmbients. Zbl 1159.68368
Gori, Roberta; Levi, Francesca
7
2005
On abstract interpretation of mobile ambients. Zbl 1078.68096
Levi, Francesca; Maffeis, Sergio
7
2004
Investigating dynamic causalities in reaction systems. Zbl 1336.68065
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
6
2016
Causal static analysis for brane calculi. Zbl 1327.68099
Bodei, Chiara; Gori, Roberta; Levi, Francesca
6
2015
Generalized contexts for reaction systems: definition and study of dynamic causalities. Zbl 1390.68301
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
4
2018
Specialized predictor for reaction systems with context properties. Zbl 1373.68217
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
4
2016
An abstract interpretation framework for analysing Mobile Ambients. Zbl 0997.68509
Levi, Francesca; Maffeis, Sergio
4
2001
Probabilistic model checking of biological systems with uncertain kinetic rates. Zbl 1234.92020
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
3
2012
Maximally parallel probabilistic semantics for multiset rewriting. Zbl 1232.68077
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
3
2011
A typed encoding of boxed into safe ambients. Zbl 1089.68021
Levi, Francesca
3
2006
Compilative constructive negation in constraint logic programs. Zbl 0938.68571
Bruscoli, Paola; Levi, Francesca; Levi, Giorgio; Meo, Maria Chiara
3
1994
A global occurrence counting analysis for brane calculi. Zbl 1417.68118
Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca
2
2015
Approximating probabilistic behaviors of biological systems using abstract interpretation. Zbl 1283.92037
Coletta, Alessio; Gori, Roberta; Levi, Francesca
2
2009
Probabilistic model checking of biological systems with uncertain kinetic rates. Zbl 1260.68226
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
2
2009
A compositional \(\mu\)-calculus proof system for statecharts processes. Zbl 0914.68179
Levi, Francesca
2
1999
A static analysis for brane calculi providing global occurrence counting information. Zbl 1383.92032
Bodei, C.; Brodo, L.; Gori, R.; Levi, F.; Bernini, A.; Hermith, D.
1
2017
An analysis for proving probabilistic termination of biological systems. Zbl 1294.92019
Gori, Roberta; Levi, Francesca
1
2013
A control flow analysis for safe and boxed ambients. Zbl 1126.68503
Levi, Francesca; Bodei, Chiara
1
2004
Types for evolving communication in Safe Ambients. Zbl 1022.68077
Levi, Francesca
1
2003
Compositional verification of quantitative properties of statecharts. Zbl 1008.68076
Levi, Francesca
1
2001
Compositional verification of timed statecharts. Zbl 0945.03042
Levi, Francesca
1
2000
Generalized contexts for reaction systems: definition and study of dynamic causalities. Zbl 1390.68301
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
4
2018
A static analysis for brane calculi providing global occurrence counting information. Zbl 1383.92032
Bodei, C.; Brodo, L.; Gori, R.; Levi, F.; Bernini, A.; Hermith, D.
1
2017
Investigating dynamic causalities in reaction systems. Zbl 1336.68065
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
6
2016
Specialized predictor for reaction systems with context properties. Zbl 1373.68217
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
4
2016
Causal static analysis for brane calculi. Zbl 1327.68099
Bodei, Chiara; Gori, Roberta; Levi, Francesca
6
2015
A global occurrence counting analysis for brane calculi. Zbl 1417.68118
Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca
2
2015
An analysis for causal properties of membrane interactions. Zbl 1337.68100
Bodei, Chiara; Gori, Roberta; Levi, Francesca
7
2013
An analysis for proving probabilistic termination of biological systems. Zbl 1294.92019
Gori, Roberta; Levi, Francesca
1
2013
Probabilistic model checking of biological systems with uncertain kinetic rates. Zbl 1234.92020
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
3
2012
Maximally parallel probabilistic semantics for multiset rewriting. Zbl 1232.68077
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
3
2011
Abstract interpretation based verification of temporal properties for BioAmbients. Zbl 1205.68244
Gori, Roberta; Levi, Francesca
7
2010
Approximating probabilistic behaviors of biological systems using abstract interpretation. Zbl 1283.92037
Coletta, Alessio; Gori, Roberta; Levi, Francesca
2
2009
Probabilistic model checking of biological systems with uncertain kinetic rates. Zbl 1260.68226
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
2
2009
An analysis for proving temporal properties of biological systems. Zbl 1168.68438
Gori, Roberta; Levi, Francesca
9
2006
A typed encoding of boxed into safe ambients. Zbl 1089.68021
Levi, Francesca
3
2006
A new occurrence counting analysis for BioAmbients. Zbl 1159.68368
Gori, Roberta; Levi, Francesca
7
2005
On abstract interpretation of mobile ambients. Zbl 1078.68096
Levi, Francesca; Maffeis, Sergio
7
2004
A control flow analysis for safe and boxed ambients. Zbl 1126.68503
Levi, Francesca; Bodei, Chiara
1
2004
Types for evolving communication in Safe Ambients. Zbl 1022.68077
Levi, Francesca
1
2003
An abstract interpretation framework for analysing Mobile Ambients. Zbl 0997.68509
Levi, Francesca; Maffeis, Sergio
4
2001
Compositional verification of quantitative properties of statecharts. Zbl 1008.68076
Levi, Francesca
1
2001
Controlling interference in ambients. Zbl 1323.68411
Levi, Francesca; Sangiorgi, Davide
30
2000
Safe ambients: Control flow analysis and security. Zbl 0988.68543
Degano, Pierpaolo; Levi, Francesca; Bodei, Chiara
13
2000
Compositional verification of timed statecharts. Zbl 0945.03042
Levi, Francesca
1
2000
A compositional \(\mu\)-calculus proof system for statecharts processes. Zbl 0914.68179
Levi, Francesca
2
1999
Compilative constructive negation in constraint logic programs. Zbl 0938.68571
Bruscoli, Paola; Levi, Francesca; Levi, Giorgio; Meo, Maria Chiara
3
1994
all top 5

Cited by 129 Authors

12 Levi, Francesca
8 Bodei, Chiara
8 Gori, Roberta
6 Barbuti, Roberto
6 Milazzo, Paolo
5 Gorla, Daniele
4 Brodo, Linda
4 Focardi, Riccardo
4 Hermith, Diana
3 Braghin, Chiara
3 Bugliesi, Michele
3 Chiarugi, Davide
3 Cortesi, Agostino
3 Dezani-Ciancaglini, Mariangiola
3 Sassone, Vladimiro
2 Amtoft, Torben
2 Barbanera, Franco
2 Bove, Pasquale
2 Castagna, Giuseppe
2 Falaschi, Moreno
2 Fu, Yuxi
2 Nielson, Flemming
2 Olarte, Carlos
2 Pardini, Giovanni
2 Pugliese, Rosario
2 Riis Nielson, Hanne
2 Rozenberg, Grzegorz
2 Scatena, Guido
1 Albert, Elvira
1 Andronikos, Theodore
1 Atanasiu, Adrian
1 Ballarini, Paolo
1 Bernini, Antonia
1 Bidinger, Philippe
1 Blanc, Georges
1 Boneva, Iovka
1 Bossi, Annalisa
1 Bottoni, Paolo
1 Bracciali, Andrea
1 Bruni, Roberto
1 Busi, Nadia
1 Cai, Xiaojuan
1 Cardelli, Luca
1 Chen, Taolue
1 Coletta, Alessio
1 Compagnoni, Adriana B.
1 Coppo, Mario
1 Correas, Jesús
1 Crafa, Silvia
1 De Nicola, Rocco
1 de Roever, Willem-Paul
1 Degano, Pierpaolo
1 Delahaye, Benoît
1 Dennunzio, Alberto
1 Duflot, Marie
1 Eshuis, Rik
1 Ferrari, Gian Luigi
1 Ferrucci, Luca
1 Formenti, Enrico
1 Gadducci, Fabio
1 Ghelli, Giorgio
1 Giannakis, Konstantinos
1 Gordon, Andrew D.
1 Gorrieri, Roberto
1 Guan, Xudong
1 Gunter, Elsa L.
1 Han, Tingting
1 Hansen, René Rydhof
1 Hirschkoff, Daniel
1 Hym, Samuel
1 Jiang, Ying
1 Katoen, Joost-Pieter
1 Kfoury, Assaf J.
1 Kirste, Thomas
1 Kleijn, Jetty H. C. M.
1 Klink, Daniel
1 Koutny, Maciej
1 Kwiatkowska, Marta Z.
1 Labella, Anna
1 Leucker, Martin
1 Li, Yali
1 Li, Yongming
1 Liogier, Karine
1 Lu, Jian
1 Luccio, Flaminia L.
1 Lüdtke, Stefan
1 Lüttgen, Gerald
1 Ma, Zhanyou
1 Maffeis, Sergio
1 Mandrioli, Dino
1 Manzoni, Luca E.
1 Margaria, Ines
1 Mariño, Julio
1 Martinelli, Fabio
1 Mendler, Michael
1 Merro, Massimo
1 Montanari, Ugo G.
1 Moreno-Navarro, Juan José
1 Morzenti, Angelo
1 Muñoz-Hernández, Susana
...and 29 more Authors

Citations by Year