GIACOBAZZI, Roberto
GIACOBAZZI, Roberto
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.015 secondi).
A proof System for Abstract Non-Interference
2008-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
A weakening residuation in adjoining closures
2015-01-01 Mastroeni, Isabella; Giacobazzi, Roberto
Abstract Non-Interference
2008-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining classified and unclassified information by Abstract Interpretation
2008-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
An Abstract Interpretation-based Model for Safety Semantics
2009-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
SEA: String Executability Analysis by Abstract Interpretation
2017-01-01 Arceri, Vincenzo; DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A proof System for Abstract Non-Interference | 1-gen-2008 | Giacobazzi, Roberto; Mastroeni, Isabella | |
| A weakening residuation in adjoining closures | 1-gen-2015 | Mastroeni, Isabella; Giacobazzi, Roberto | |
| Abstract Non-Interference | 1-gen-2008 | Giacobazzi, Roberto; Mastroeni, Isabella | |
| Adjoining classified and unclassified information by Abstract Interpretation | 1-gen-2008 | Giacobazzi, Roberto; Mastroeni, Isabella | |
| An Abstract Interpretation-based Model for Safety Semantics | 1-gen-2009 | Giacobazzi, Roberto; Mastroeni, Isabella | |
| SEA: String Executability Analysis by Abstract Interpretation | 1-gen-2017 | Arceri, Vincenzo; DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella |