GIACOBAZZI, Roberto

GIACOBAZZI, Roberto  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 39 (tempo di esecuzione: 0.108 secondi).
Titolo Data di pubblicazione Autore(i) File
A Bottom-Up Polymorphic Type Inference in Logic Programming 1-gen-1992 Roberto, Barbuti; Giacobazzi, Roberto
A Correctness and Incorrectness Program Logic 1-gen-2023 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco
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-2010 Giacobazzi, Roberto; Mastroeni, Isabella
A Unifying View of Abstract Domain Design 1-gen-1996 Gilberto, Filé; Giacobazzi, Roberto; Francesco, Ranzato
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 resolution-based semantics 1-gen-2009 Patrick, Cousot; Radhia, Cousot; Giacobazzi, Roberto
Abstract Non-Interference: A unifying framework for weakening information flow 1-gen-2018 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 1-gen-2015 DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining classified and unclassified information by Abstract Interpretation 1-gen-2010 Giacobazzi, Roberto; Mastroeni, Isabella
An Abstract Interpretation-based Model for Safety Semantics 1-gen-2011 Mastroeni, Isabella; Giacobazzi, Roberto
A²I: abstract² interpretation 1-gen-2019 Cousot, Patrick; Giacobazzi, Roberto; Ranzato, Francesco
Code obfuscation against abstraction refinement attacks 1-gen-2018 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta
Correctness Kernels of Abstract Interpretations 1-gen-2014 Giacobazzi, Roberto; Ranzato, F.
Data augmentation and transfer learning to classify malware images in a deep learning context 1-gen-2021 Marastoni, N; Giacobazzi, R; Dalla Preda, M
Foreword: programming language interference and dependence 1-gen-2011 Clark, D; Giacobazzi, Roberto; Mu, C.
Foreword: Special issue on the 11th Static Analysis Symposium - SAS 2004 1-gen-2007 Giacobazzi, Roberto
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs 1-gen-1995 Giacobazzi, Roberto; Saumya K., Debray; Giorgio, Levi
History of Abstract Interpretation 1-gen-2021 Giacobazzi, Roberto; Ranzato, Francesco
Incompleteness of States w.r.t. Traces in Model Checking 1-gen-2006 Giacobazzi, Roberto; F., Ranzato