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