LEVI, FRANCESCA Statistiche

LEVI, FRANCESCA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 37 (tempo di esecuzione: 0.036 secondi).
Titolo Data di pubblicazione Autore(i) File
A Compositional µ-Calculus Proof System for Statecharts Processes 1-gen-1999 Levi, Francesca
A control flow analysis for safe and boxed ambients 1-gen-2004 Levi, Francesca; Bodei, Chiara
A Global Occurrence Counting Analysis for Brane Calculi 1-gen-2015 Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca
A New Occurrence Counting Analysis for BioAmbients 1-gen-2005 Gori, Roberta; Levi, Francesca
A Process Language for Statecharts. 1-gen-1997 Levi, Francesca
A static analysis for Brane Calculi providing global occurrence counting information 1-gen-2017 Bodei, Chiara; Brodo, Linda; Gori, Roberta; Levi, Francesca; Bernini, Andrea; Hermith, Diana
A symbolic semantics for abstract model checking 1-gen-2001 Levi, Francesca
A Symbolic Semantics for Abstract Model Checking. 1-gen-1998 Levi, Francesca
A typed encoding of boxed into safe ambients 1-gen-2006 Levi, Francesca
Abstract interpretation based verification of temporal properties for BioAmbients 1-gen-2010 Gori, Roberta; Levi, Francesca
Abstract Interpretation for Probabilistic Termination of Biological Systems 1-gen-2009 Gori, Roberta; Levi, Francesca
An Abstract Interpretation Framework for Analysing Mobile Ambients 1-gen-2001 Levi, Francesca; Maffeis, S.
An Analysis for Causal Properties of Membrane Interactions 1-gen-2013 Bodei, Chiara; Gori, Roberta; Levi, Francesca
An Analysis for Proving Probabilistic Termination of Biological Systems 1-gen-2013 Gori, Roberta; Levi, Francesca
An Analysis for Proving Temporal Properties of Biological Systems 1-gen-2006 Gori, Roberta; Levi, Francesca
Approximating Probabilistic Behaviours of Biological Systems using Abstract Interpretation 1-gen-2009 Coletta, A; Gori, Roberta; Levi, Francesca
Causal static analysis for Brane Calculi 1-gen-2015 Bodei, Chiara; Gori, Roberta; Levi, Francesca
Compilative Constructive Negation in Constraint Logic Programs. 1-gen-1994 Bruscoli, P; Levi, Francesca; Levi, Giorgio; Meo, M. C.
Compositional Verification of Quantitative Properties of Statecharts. 1-gen-2001 Levi, Francesca
Control Flow Analysis for Mobile Safe Ambients 1-gen-2000 Degano, Pierpaolo; Levi, Francesca; Bodei, Chiara