Francesca Levi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 35 from 35

2023

Quantitative extensions of reaction systems based on SOS semanticsLinda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo. nca, 35(9):6335-6359, March 2023. [doi]

2021

Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory NetworksRoberto Barbuti, Pasquale Bove, Roberta Gori, Damas P. Gruska, Francesca Levi, Paolo Milazzo. FUIN, 179(2):205-225, 2021. [doi]

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction SystemsLinda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo. tpnc 2021: 15-32 [doi]

2018

Generalized contexts for reaction systems: definition and study of dynamic causalitiesRoberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo. ACTA, 55(3):227-267, 2018. [doi]

Simulating Gene Regulatory Networks using Reaction SystemsRoberto Barbuti, Pasquale Bove, Roberta Gori, Francesca Levi, Paolo Milazzo. csp 2018: [doi]

2017

A static analysis for Brane Calculi providing global occurrence counting informationChiara Bodei, Linda Brodo, Roberta Gori, Francesca Levi, Antonio Bernini, Diana Hermith. TCS, 696:11-51, 2017. [doi]

2016

Specialized Predictor for Reaction Systems with Context PropertiesRoberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo. FUIN, 147(2-3):173-191, 2016. [doi]

Investigating dynamic causalities in reaction systemsRoberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo. TCS, 623:114-145, 2016. [doi]

2015

2013

An Analysis for Causal Properties of Membrane InteractionsChiara Bodei, Roberta Gori, Francesca Levi. ENTCS, 299:15-31, 2013. [doi]

An analysis for proving probabilistic termination of biological systemsRoberta Gori, Francesca Levi. TCS, 471:27-73, 2013. [doi]

2012

Probabilistic model checking of biological systems with uncertain kinetic ratesRoberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena. TCS, 419:2-16, 2012. [doi]

2011

Maximally Parallel Probabilistic Semantics for Multiset RewritingRoberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena. FUIN, 112(1):1-17, 2011. [doi]

2010

Abstract interpretation based verification of temporal properties for BioAmbientsRoberta Gori, Francesca Levi. iandc, 208(8):869-921, 2010. [doi]

2009

Probabilistic Model Checking of Biological Systems with Uncertain Kinetic RatesRoberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena. rp 2009: 64-78 [doi]

Approximating Probabilistic Behaviors of Biological Systems Using Abstract InterpretationAlessio Coletta, Roberta Gori, Francesca Levi. ENTCS, 229(1):165-182, 2009. [doi]

2006

An Analysis for Proving Temporal Properties of Biological SystemsRoberta Gori, Francesca Levi. aplas 2006: 234-252 [doi]

A typed encoding of boxed into safe ambientsFrancesca Levi. ACTA, 42(6-7):429-500, 2006. [doi]

2005

A New Occurrence Counting Analysis for BioAmbientsRoberta Gori, Francesca Levi. aplas 2005: 381-400 [doi]

2004

A Control Flow Analysis for Safe and Boxed AmbientsFrancesca Levi, Chiara Bodei. ESOP 2004: 188-203 [doi]

On abstract interpretation of Mobile AmbientsFrancesca Levi, Sergio Maffeis. iandc, 188(2):179-240, 2004. [doi]

2003

Types for Evolving Communication in Safe AmbientsFrancesca Levi. vmcai 2003: 102-115 [doi]

Mobile safe ambientsFrancesca Levi, Davide Sangiorgi. TOPLAS, 25(1):1-69, 2003. [doi]

2001

A symbolic semantics for abstract model checkingFrancesca Levi. SCP, 39(1):93-123, 2001.

Compositional Verification of Quantitative Properties of StatechartsFrancesca Levi. logcom, 11(6):829-878, 2001. [doi]

An Abstract Interpretation Framework for Analysing Mobile AmbientsFrancesca Levi, Sergio Maffeis. SAS 2001: 395-411 [doi]

2000

Safe Ambients: Control Flow Analysis and SecurityPierpaolo Degano, Francesca Levi, Chiara Bodei. asian 2000: 199-214 [doi]

Controlling Interference in AmbientsFrancesca Levi, Davide Sangiorgi. POPL 2000: 352-364 [doi]

1999

A Compositional µ-Calculus Proof System for Statecharts ProcessesFrancesca Levi. TCS, 216(1-2):271-310, 1999. [doi]

1998

A Symbolic Semantics for Abstract Model CheckingFrancesca Levi. SAS 1998: 134-151 [doi]

1996

A Process Language for StatechartsFrancesca Levi. lomaps 1997: 388-403

1994

Compilative Constructive Negation in Constraint Logic ProgramsPaola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo. caap 1994: 52-67

1993

Intensional Negation in Constraint Logic ProgramsPaola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo. agp 1993: 359-374

Sign in or sign up to see more results.

runs on WebDSL