GIACOBAZZI, Roberto

GIACOBAZZI, Roberto  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 106 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autore(i) File
14th International symposium on Verification, Model Checking and Abstract Interpretation 1-gen-2013 Giacobazzi, Roberto; J., Berdine; Mastroeni, Isabella
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 1-gen-2013 Giacobazzi, Roberto; Cousot, R.
A Bottom-Up Polymorphic Type Inference in Logic Programming 1-gen-1992 Roberto, Barbuti; Giacobazzi, Roberto
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware 1-gen-2007 Francesco, Banterle; Giacobazzi, Roberto
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs 1-gen-1993 Roberto, Barbuti; Giacobazzi, Roberto; Giorgio, Levi
A proof System for Abstract Non-Interference 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella
A Unifying View of Abstract Domain Design 1-gen-1996 Gilberto, Filé; Giacobazzi, Roberto; Francesco, Ranzato
Abductive Analysis of Modular Logic Programs 1-gen-1994 Giacobazzi, Roberto
Abstract extensionality: on the properties of incomplete abstract interpretations 1-gen-2020 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Garcia-Contreras, Isabel; Pavlovic, Dusko
Abstract Interpretation of Indexed Grammars. 1-gen-2019 DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto
Abstract interpretation of resolution-based semantics 1-gen-2009 Patrick, Cousot; Radhia, Cousot; Giacobazzi, Roberto
An Abstract Interpretation-based Model for Safety Semantics 1-gen-2009 Giacobazzi, Roberto; Mastroeni, Isabella
An Abstract Interpretation-based Model for Safety Semantics 1-gen-2011 Mastroeni, Isabella; Giacobazzi, Roberto
Abstract Interpretation-Based Protection 1-gen-2010 Giacobazzi, Roberto
Abstract Non-Interference 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Non-Interference: A unifying framework for weakening information flow 1-gen-2018 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 1-gen-2004 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 1-gen-2015 DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 1-gen-2015 DALLA PREDA, Mila; Giacobazzi, Roberto; Arun, Lakhotia; Mastroeni, Isabella
Abstracting Synchronization in Concurrent Constraint Programming 1-gen-1994 Enea, Zaffanella; Giacobazzi, Roberto; Giorgio, Levi