Sfoglia per Autore
Compilative Constructive Negation in Constraint Logic Programs.
1994-01-01 Bruscoli, P; Levi, Francesca; Levi, Giorgio; Meo, M. C.
A Process Language for Statecharts.
1997-01-01 Levi, Francesca
A Symbolic Semantics for Abstract Model Checking.
1998-01-01 Levi, Francesca
A Compositional µ-Calculus Proof System for Statecharts Processes
1999-01-01 Levi, Francesca
Controlling Interference in Ambients.
2000-01-01 Levi, Francesca; Sangiorgi, D.
Control Flow Analysis for Mobile Safe Ambients
2000-01-01 Degano, Pierpaolo; Levi, Francesca; Bodei, Chiara
Security Analysis for Mobile Ambients
2000-01-01 Levi, Francesca; Bodei, Chiara
Safe ambients: control flow analysis and security
2000-01-01 Degano, Pierpaolo; Levi, Francesca; Bodei, Chiara
An Abstract Interpretation Framework for Analysing Mobile Ambients
2001-01-01 Levi, Francesca; Maffeis, S.
A symbolic semantics for abstract model checking
2001-01-01 Levi, Francesca
Compositional Verification of Quantitative Properties of Statecharts.
2001-01-01 Levi, Francesca
Types for Evolving Communication in Safe Ambients.
2003-01-01 Levi, Francesca
Mobile safe ambients.
2003-01-01 Levi, Francesca; Sangiorgi, D.
A control flow analysis for safe and boxed ambients
2004-01-01 Levi, Francesca; Bodei, Chiara
On abstract interpretation of Mobile Ambients
2004-01-01 Levi, Francesca; Maffeis, S.
A New Occurrence Counting Analysis for BioAmbients
2005-01-01 Gori, Roberta; Levi, Francesca
A typed encoding of boxed into safe ambients
2006-01-01 Levi, Francesca
An Analysis for Proving Temporal Properties of Biological Systems
2006-01-01 Gori, Roberta; Levi, Francesca
Abstract Interpretation for Probabilistic Termination of Biological Systems
2009-01-01 Gori, Roberta; Levi, Francesca
Approximating Probabilistic Behaviours of Biological Systems using Abstract Interpretation
2009-01-01 Coletta, A; Gori, Roberta; Levi, Francesca
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile