Francesca Levi

Most-cited papers

Controlling interference in ambients
Francesca Levi, D. Sangiorgi
2000ACM-SIGACT Symposium on Principles of Programming Languages248 citations
Semantic Scholar
Mobile safe ambients
Francesca Levi, D. Sangiorgi
2003TOPL125 citations Open access
Semantic Scholar
Safe Ambients: Control Flow Analysis and Security
P. Degano, Francesca Levi, C. Bodei
2000Asian Computing Science Conference54 citations
Semantic Scholar
Investigating dynamic causalities in reaction systems
R. Barbuti, R. Gori, Francesca Levi, P. Milazzo
2016Theoretical Computer Science49 citations Open access
Semantic Scholar
Compilative Constructive Negation in Constraint Logic Programs
Paola Bruscoli, Francesca Levi, G. Levi, M. Meo
1994Colloquium on Trees in Algebra and Programming28 citations
Semantic Scholar
Probabilistic model checking of biological systems with uncertain kinetic rates
R. Barbuti, Francesca Levi, P. Milazzo, G. Scatena
2012Theoretical Computer Science27 citations Open access
Semantic Scholar
Generalized contexts for reaction systems: definition and study of dynamic causalities
R. Barbuti, R. Gori, Francesca Levi, P. Milazzo
2018Acta Informatica23 citations
Semantic Scholar
Specialized Predictor for Reaction Systems with Context Properties
R. Barbuti, R. Gori, Francesca Levi, P. Milazzo
2016International Workshop on Concurrency, Specification and Programming22 citations Open access
Semantic Scholar
Verification of Temporal and Real-Time Properties of Statecharts
Francesca Levi
199722 citations
Semantic Scholar
Abstract interpretation based verification of temporal properties for BioAmbients
R. Gori, Francesca Levi
2010Information and Computation21 citations Open access
Semantic Scholar
An Abstract Interpretation Framework for Analysing Mobile Ambients
Francesca Levi, S. Maffeis
2001Sensors Applications Symposium19 citations
Semantic Scholar
Maximally Parallel Probabilistic Semantics for Multiset Rewriting
R. Barbuti, Francesca Levi, P. Milazzo, G. Scatena
2011Fundamenta Informaticae18 citations
Semantic Scholar
A New Occurrence Counting Analysis for BioAmbients
R. Gori, Francesca Levi
2005Asian Symposium on Programming Languages and Systems18 citations
Semantic Scholar
Causal static analysis for Brane Calculi
C. Bodei, R. Gori, Francesca Levi
2015Theoretical Computer Science17 citations Open access
Semantic Scholar
Quantitative extensions of reaction systems based on SOS semantics
L. Brodo, R. Bruni, M. Falaschi, R. Gori +2 more
2023Neural computing & applications (Print)15 citations Open access
Semantic Scholar
An Analysis for Causal Properties of Membrane Interactions
C. Bodei, R. Gori, Francesca Levi
2013CS2Bio15 citations Open access
Semantic Scholar
An Analysis for Proving Temporal Properties of Biological Systems
R. Gori, Francesca Levi
2006Asian Symposium on Programming Languages and Systems15 citations
Semantic Scholar
Simulating Gene Regulatory Networks using Reaction Systems
R. Barbuti, Pasquale Bove, R. Gori, Francesca Levi +1 more
2018International Workshop on Concurrency, Specification and Programming12 citations
Semantic Scholar
A static analysis for Brane Calculi providing global occurrence counting information
C. Bodei, L. Brodo, R. Gori, Francesca Levi +2 more
2017Theoretical Computer Science12 citations Open access
Semantic Scholar
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
A. Coletta, R. Gori, Francesca Levi
2009FBTC@ICALP12 citations Open access
Semantic Scholar
Intensional Negation in Constraint Logic Programs
Paola Bruscoli, Francesca Levi, G. Levi, M. Meo
1993GULP10 citations
Semantic Scholar
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks
R. Barbuti, Pasquale Bove, R. Gori, Damas P. Gruska +2 more
2021Fundamenta Informaticae9 citations
Semantic Scholar
A symbolic semantics for abstract model checking
Francesca Levi
1998Science of Computer Programming9 citations Open access
Semantic Scholar
A Process Language for Statecharts
Francesca Levi
1996Logical and Operational Methods in the Analysis of Programs and Systems8 citations
Semantic Scholar
A Compositional µ-Calculus Proof System for Statecharts Processes
Francesca Levi
1999Theoretical Computer Science7 citations Open access
Semantic Scholar
On abstract interpretation of Mobile Ambients
Francesca Levi, S. Maffeis
2004Information and Computation6 citations Open access
Semantic Scholar
A Control Flow Analysis for Safe and Boxed Ambients
Francesca Levi, C. Bodei
2004European Symposium on Programming6 citations Open access
Semantic Scholar
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
L. Brodo, R. Bruni, M. Falaschi, R. Gori +2 more
2021International Conference on Theory and Practice of Natural Computing5 citations Open access
Semantic Scholar
Abstract Interpretation for Probabilistic Termination of Biological Systems
R. Gori, Francesca Levi
2009MeCBIC5 citations Open access
Semantic Scholar
A typed encoding of boxed into safe ambients
Francesca Levi
2006Acta Informatica5 citations
Semantic Scholar
A Global Occurrence Counting Analysis for Brane Calculi
C. Bodei, L. Brodo, R. Gori, Diana Hermith +1 more
2015International Workshop/Symposium on Logic-based Program Synthesis and Transformation4 citations Open access
Semantic Scholar
Compositional Verification of Quantitative Properties of Statecharts
Francesca Levi
2001Journal of Logic and Computation4 citations
Semantic Scholar
An analysis for proving probabilistic termination of biological systems
R. Gori, Francesca Levi
2013Theoretical Computer Science3 citations Open access
Semantic Scholar
Types for Evolving Communication in Safe Ambients
Francesca Levi
2002International Conference on Verification, Model Checking and Abstract Interpretation3 citations
Semantic Scholar
Compositional Verification of Timed Statecharts
Francesca Levi
20003 citations
Semantic Scholar
Control Flow Analysis for Mobile Safe Ambients
P. Degano, Francesca Levi, C. Bodei
20002 citations
Semantic Scholar
Time domain analytical bounds to the homogenized viscous kernels of linear viscoelastic composites
A. Carini, F. Genna, Francesca Levi
2023European Journal of Mechanics. A, Solids1 citations Open access
Semantic Scholar
Modelling , Simulation and Verification of Biological Systems
R. Barbuti, G. Caravagna, C. Bodei, A. Bracciali +8 more
20101 citations
Semantic Scholar
On the effectiveness of convolutive type variational principles in the numerical solution of viscoelastic problems
A. Carini, Francesca Levi, F. Genna
2023Journal of Mechanics of Materials and Structures0 citations
Semantic Scholar
Generalized contexts for reaction systems: definition and study of dynamic causalities
R. Barbuti, R. Gori, Francesca Levi, P. Milazzo
2017Acta Informatica0 citations
Semantic Scholar
Spreading ideas and people
G. Levi, F. Sirovich, R. Barbuti, A. Martelli +23 more
20090 citations
Semantic Scholar
Static Analysis
Jens Palsberg, David A. Schmidt, Torben Amtoft, Roberto Bagnara +58 more
2000Lecture Notes in Computer Science0 citations Open access
Semantic Scholar
Compositional Veriication of Timed Statecharts
Francesca Levi
19970 citations
Semantic Scholar