DE FRANCESCO, NICOLETTA Statistiche

DE FRANCESCO, NICOLETTA  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 80 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autore(i) File
A formula-driven modular attack on state explosion 1-gen-2002 DE FRANCESCO, Nicoletta; Santone, Antonella
A Framework for Data-Flow Distributed Processing 1-gen-1980 DE FRANCESCO, Nicoletta; Perego, G; Vanneschi, M; Vaglini, Gigliola
A framework for data-flow distributed processing 1-gen-1980 DE FRANCESCO, Nicoletta; Perego, G.; Vaglini, Gigliola; Vanneschi, Marco
A Non-Standard Semantics for Generating Reduced Transition Systems 1-gen-1996 DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
A Notion of Non-Interference for Timed Automata 1-gen-2001 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Luca, Tesei
A Notion of Non-Interference for Timed Automata 1-gen-2002 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Tesei, L.
A Partial Order Semantics for FIFO-Nets 1-gen-1998 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A Petri Nets Semantics for Data Flow Networks 1-gen-1995 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991 1-gen-1991 DE FRANCESCO, Nicoletta; Inverardi, P.
A Tool for Checking Secure Interaction in Java Cards 1-gen-2009 Avvenuti, Marco; Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Masci, P.
A Tool Supporting Efficient Model Checking of Concurrent Specifications 1-gen-2002 DE FRANCESCO, Nicoletta; Antonella, Santone
A Transformation System for Concurrent Processes 1-gen-1998 DE FRANCESCO, Nicoletta; Santone, Antonella
A user-friendly interface to specify temporal properties of concurrent systems 1-gen-2007 DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 1-gen-2003 DE FRANCESCO, Nicoletta; Antonella, Santone; Luca, Tesei
Abstract Interpretation of Operational Semantics for Secure Information Flow 1-gen-2002 Barbuti, Roberto; Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta
Abstract Interpretation of Trace Semantics for Concurrent Calculi 1-gen-1999 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations 1-gen-2005 DE FRANCESCO, Nicoletta; Martini, Luca
Algebraic Computational Models of OR-parallel Execution of Prolog 1-gen-1997 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 1-gen-2010 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Tesei, L.
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 1-gen-2002 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Lettieri, Giuseppe