Francesca Levi

According to our database1, Francesca Levi
  • authored at least 31 papers between 1993 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
A static analysis for Brane Calculi providing global occurrence counting information.
Theor. Comput. Sci., 2017

2016
Investigating dynamic causalities in reaction systems.
Theor. Comput. Sci., 2016

Specialized Predictor for Reaction Systems with Context Properties.
Fundam. Inform., 2016

2015
Causal static analysis for Brane Calculi.
Theor. Comput. Sci., 2015

A Global Occurrence Counting Analysis for Brane Calculi.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Specialized Predictor for Reaction Systems with Context Properties.
Proceedings of the 24th International Workshop on Concurrency, 2015

2013
An analysis for proving probabilistic termination of biological systems.
Theor. Comput. Sci., 2013

An Analysis for Causal Properties of Membrane Interactions.
Electr. Notes Theor. Comput. Sci., 2013

2012
Probabilistic model checking of biological systems with uncertain kinetic rates.
Theor. Comput. Sci., 2012

2011
Maximally Parallel Probabilistic Semantics for Multiset Rewriting.
Fundam. Inform., 2011

2010
Abstract interpretation based verification of temporal properties for BioAmbients.
Inf. Comput., 2010

2009
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation.
Electr. Notes Theor. Comput. Sci., 2009

Abstract Interpretation for Probabilistic Termination of Biological Systems
Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates.
Proceedings of the Reachability Problems, 3rd International Workshop, 2009

2006
A typed encoding of boxed into safe ambients.
Acta Inf., 2006

An Analysis for Proving Temporal Properties of Biological Systems.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
A New Occurrence Counting Analysis for BioAmbients.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004
On abstract interpretation of Mobile Ambients.
Inf. Comput., 2004

A Control Flow Analysis for Safe and Boxed Ambients.
Proceedings of the Programming Languages and Systems, 2004

2003
Mobile safe ambients.
ACM Trans. Program. Lang. Syst., 2003

Types for Evolving Communication in Safe Ambients.
Proceedings of the Verification, 2003

2001
A symbolic semantics for abstract model checking.
Sci. Comput. Program., 2001

Compositional Verification of Quantitative Properties of Statecharts.
J. Log. Comput., 2001

An Abstract Interpretation Framework for Analysing Mobile Ambients.
Proceedings of the Static Analysis, 8th International Symposium, 2001

2000
Controlling Interference in Ambients.
Proceedings of the POPL 2000, 2000

Safe Ambients: Control Flow Analysis and Security.
Proceedings of the Advances in Computing Science, 2000

1999
A Compositional µ-Calculus Proof System for Statecharts Processes.
Theor. Comput. Sci., 1999

1998
A Symbolic Semantics for Abstract Model Checking.
Proceedings of the Static Analysis, 5th International Symposium, 1998

1996
A Process Language for Statecharts.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1994
Compilative Constructive Negation in Constraint Logic Programs.
Proceedings of the Trees in Algebra and Programming, 1994

1993
Intensional Negation in Constraint Logic Programs.
Proceedings of the 8th Italian Conference on Logic Programming, 1993


  Loading...