Francesca Levi

According to our database, Francesca Levi authored at least 33 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Quantitative extensions of reaction systems based on SOS semantics.

Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo

Neural Comput. Appl., March, 2023

2021

Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks.

Roberto Barbuti, Pasquale Bove, Roberta Gori, Damas P. Gruska, Francesca Levi, Paolo Milazzo

Fundam. Informaticae, 2021

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems.

Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo

Proceedings of the Theory and Practice of Natural Computing, 2021

2018

Generalized contexts for reaction systems: definition and study of dynamic causalities.

Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo

Acta Informatica, 2018

Simulating Gene Regulatory Networks using Reaction Systems.

Roberto Barbuti, Pasquale Bove, Roberta Gori, Francesca Levi, Paolo Milazzo

Proceedings of the 27th International Workshop on Concurrency, 2018

2017

A static analysis for Brane Calculi providing global occurrence counting information.

Chiara Bodei, Linda Brodo, Roberta Gori, Francesca Levi, Antonio Bernini, Diana Hermith

Theor. Comput. Sci., 2017

2016

Investigating dynamic causalities in reaction systems.

Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo

Theor. Comput. Sci., 2016

Specialized Predictor for Reaction Systems with Context Properties.

Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo

Fundam. Informaticae, 2016

2015

Causal static analysis for Brane Calculi.

Chiara Bodei, Roberta Gori, Francesca Levi

Theor. Comput. Sci., 2015

A Global Occurrence Counting Analysis for Brane Calculi.

Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2013

An analysis for proving probabilistic termination of biological systems.

Roberta Gori, Francesca Levi

Theor. Comput. Sci., 2013

An Analysis for Causal Properties of Membrane Interactions.

Chiara Bodei, Roberta Gori, Francesca Levi

Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013

2012

Probabilistic model checking of biological systems with uncertain kinetic rates.

Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena

Theor. Comput. Sci., 2012

2011

Maximally Parallel Probabilistic Semantics for Multiset Rewriting.

Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena

Fundam. Informaticae, 2011

2010

Abstract interpretation based verification of temporal properties for BioAmbients.

Roberta Gori, Francesca Levi

Inf. Comput., 2010

2009

Abstract Interpretation for Probabilistic Termination of Biological Systems

Roberta Gori, Francesca Levi

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

2008

Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation.

Alessio Coletta, Roberta Gori, Francesca Levi

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

2006

A typed encoding of boxed into safe ambients.

Francesca Levi

Acta Informatica, 2006

An Analysis for Proving Temporal Properties of Biological Systems.

Roberta Gori, Francesca Levi

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

A New Occurrence Counting Analysis for BioAmbients.

Roberta Gori, Francesca Levi

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

On abstract interpretation of Mobile Ambients.

Francesca Levi, Sergio Maffeis

Inf. Comput., 2004

A Control Flow Analysis for Safe and Boxed Ambients.

Francesca Levi, Chiara Bodei

Proceedings of the Programming Languages and Systems, 2004

2003

Mobile safe ambients.

Francesca Levi, Davide Sangiorgi

ACM Trans. Program. Lang. Syst., 2003

Types for Evolving Communication in Safe Ambients.

Francesca Levi

Proceedings of the Verification, 2003

2001

A symbolic semantics for abstract model checking.

Francesca Levi

Sci. Comput. Program., 2001

Compositional Verification of Quantitative Properties of Statecharts.

Francesca Levi

J. Log. Comput., 2001

An Abstract Interpretation Framework for Analysing Mobile Ambients.

Francesca Levi, Sergio Maffeis

Proceedings of the Static Analysis, 8th International Symposium, 2001

2000

Controlling Interference in Ambients.

Francesca Levi, Davide Sangiorgi

Proceedings of the POPL 2000, 2000

Safe Ambients: Control Flow Analysis and Security.

Pierpaolo Degano, Francesca Levi, Chiara Bodei

Proceedings of the Advances in Computing Science, 2000

1999

A Compositional µ-Calculus Proof System for Statecharts Processes.

Francesca Levi

Theor. Comput. Sci., 1999

1996

A Process Language for Statecharts.

Francesca Levi

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1994

Compilative Constructive Negation in Constraint Logic Programs.

Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo

Proceedings of the Trees in Algebra and Programming, 1994

1993

Intensional Negation in Constraint Logic Programs.

Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo

Proceedings of the 8th Italian Conference on Logic Programming, 1993