Francesca Levi

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 8

Top Topics

Deterministic Finite Automaton

Biological Systems

Biologically Inspired Design

Static Analysis

Top Venues

Theor. Comput. Sci.

Fundam. Informaticae

Acta Informatica

Publications

Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
Quantitative extensions of reaction systems based on SOS semantics. Neural Comput. Appl. 35 (9) (2023)
Roberto Barbuti, Pasquale Bove, Roberta Gori, Damas P. Gruska, Francesca Levi, Paolo Milazzo
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. Fundam. Informaticae 179 (2) (2021)
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems. TPNC (2021)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Generalized contexts for reaction systems: definition and study of dynamic causalities. Acta Informatica 55 (3) (2018)
Roberto Barbuti, Pasquale Bove, Roberta Gori, Francesca Levi, Paolo Milazzo
Simulating Gene Regulatory Networks using Reaction Systems. CS&P (2018)
Chiara Bodei, Linda Brodo, Roberta Gori, Francesca Levi, Antonio Bernini, Diana Hermith
A static analysis for Brane Calculi providing global occurrence counting information. Theor. Comput. Sci. 696 (2017)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Specialized Predictor for Reaction Systems with Context Properties. Fundam. Informaticae 147 (2-3) (2016)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Investigating dynamic causalities in reaction systems. Theor. Comput. Sci. 623 (2016)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Specialized Predictor for Reaction Systems with Context Properties. CS&P (2015)
Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi
A Global Occurrence Counting Analysis for Brane Calculi. LOPSTR (2015)
Chiara Bodei, Roberta Gori, Francesca Levi
Causal static analysis for Brane Calculi. Theor. Comput. Sci. 587 (2015)
Chiara Bodei, Roberta Gori, Francesca Levi
An Analysis for Causal Properties of Membrane Interactions. Electron. Notes Theor. Comput. Sci. 299 (2013)
Roberta Gori, Francesca Levi
An analysis for proving probabilistic termination of biological systems. Theor. Comput. Sci. 471 (2013)
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena
Probabilistic model checking of biological systems with uncertain kinetic rates. Theor. Comput. Sci. 419 (2012)
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena
Maximally Parallel Probabilistic Semantics for Multiset Rewriting. Fundam. Informaticae 112 (1) (2011)
Roberta Gori, Francesca Levi
Abstract interpretation based verification of temporal properties for BioAmbients. Inf. Comput. 208 (8) (2010)
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. RP (2009)
Roberta Gori, Francesca Levi
Abstract Interpretation for Probabilistic Termination of Biological Systems MeCBIC (2009)
Alessio Coletta, Roberta Gori, Francesca Levi
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Roberta Gori, Francesca Levi
An Analysis for Proving Temporal Properties of Biological Systems. APLAS (2006)
Francesca Levi
A typed encoding of boxed into safe ambients. Acta Informatica 42 (6-7) (2006)
Roberta Gori, Francesca Levi
A New Occurrence Counting Analysis for BioAmbients. APLAS (2005)
Francesca Levi, Sergio Maffeis
On abstract interpretation of Mobile Ambients. Inf. Comput. 188 (2) (2004)
Francesca Levi, Chiara Bodei
A Control Flow Analysis for Safe and Boxed Ambients. ESOP (2004)
Francesca Levi
Types for Evolving Communication in Safe Ambients. VMCAI (2003)
Francesca Levi, Davide Sangiorgi
Mobile safe ambients. ACM Trans. Program. Lang. Syst. 25 (1) (2003)
Francesca Levi
A symbolic semantics for abstract model checking. Sci. Comput. Program. 39 (1) (2001)
Francesca Levi
Compositional Verification of Quantitative Properties of Statecharts. J. Log. Comput. 11 (6) (2001)
Francesca Levi, Sergio Maffeis
An Abstract Interpretation Framework for Analysing Mobile Ambients. SAS (2001)
Francesca Levi, Davide Sangiorgi
Controlling Interference in Ambients. POPL (2000)
Pierpaolo Degano, Francesca Levi, Chiara Bodei
Safe Ambients: Control Flow Analysis and Security. ASIAN (2000)
Francesca Levi
A Compositional µ-Calculus Proof System for Statecharts Processes. Theor. Comput. Sci. 216 (1-2) (1999)
Francesca Levi
A Symbolic Semantics for Abstract Model Checking. SAS (1998)
Francesca Levi
A Process Language for Statecharts. LOMAPS (1996)
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
Compilative Constructive Negation in Constraint Logic Programs. CAAP (1994)
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
Intensional Negation in Constraint Logic Programs. GULP (1993)