CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 111
Titolo Data di pubblicazione Autore(i) File
Building Complete Abstract Interpretations in a Linear Logic-based Setting 1-gen-1998 Giacobazzi, Roberto; Francesco, Ranzato; Francesca, Scozzari
Complete Abstract Interpretations Made Constructive 1-gen-1998 Giacobazzi, Roberto; Francesco, Ranzato; Francesca, Scozzari
Designing Semantics by Domain Complementation 1-gen-2000 Giacobazzi, Roberto; Mastroeni, Isabella
A characterization of symmetric semantics by domain complementation 1-gen-2000 Giacobazzi, Roberto; Mastroeni, Isabella
Making abstract interpretations complete 1-gen-2000 Giacobazzi, Roberto; F., Ranzato; F., Scozzari
Refining and Compressing Abstract Model Checking 1-gen-2001 Dovier, Agostino; Giacobazzi, Roberto; Quintarelli, Elisa
Incompleteness, counterexamples and refinements in abstract model-checking 1-gen-2001 Giacobazzi, Roberto; Quintarelli, Elisa
States vs. Traces in Model Checking by Abstract Interpretation 1-gen-2002 Giacobazzi, Roberto; F., Ranzato
Compositionality in the puzzle of semantics 1-gen-2002 Giacobazzi, Roberto; Mastroeni, Isabella
Non-Standard Semantics for Program Slicing 1-gen-2003 Giacobazzi, Roberto; Mastroeni, Isabella
Domain Compression for Complete Abstractions 1-gen-2003 Giacobazzi, Roberto; Mastroeni, Isabella
Modeling Information Flow Dependencies with Boolean Functions 1-gen-2004 S., Genaim; Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 1-gen-2004 Giacobazzi, Roberto; Mastroeni, Isabella
Proving abstract non-interference 1-gen-2004 Giacobazzi, Roberto; Mastroeni, Isabella
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 1-gen-2005 Giacobazzi, Roberto; Mastroeni, Isabella
Semantic-based code obfuscation by abstract interpretation 1-gen-2005 DALLA PREDA, Mila; Giacobazzi, Roberto
Transforming semantics by abstract interpretation 1-gen-2005 Giacobazzi, Roberto; Mastroeni, Isabella
Timed Abstract Non-Interference 1-gen-2005 Giacobazzi, Roberto; Mastroeni, Isabella
Control code obfuscation by abstract interpretation 1-gen-2005 DALLA PREDA, Mila; Giacobazzi, Roberto
Making Abstract Domains Condensing 1-gen-2005 Giacobazzi, Roberto; F., Ranzato; F., Scozzari
Mostrati risultati da 21 a 40 di 111
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