Francesca Levi

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