GIACOBAZZI, Roberto
GIACOBAZZI, Roberto
DIPARTIMENTO DI INFORMATICA
A Bottom-Up Polymorphic Type Inference in Logic Programming
1992-01-01 Roberto, Barbuti; Giacobazzi, Roberto
A Correctness and Incorrectness Program Logic
2023-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs
1993-01-01 Roberto, Barbuti; Giacobazzi, Roberto; Giorgio, Levi
A proof system for Abstract Non-Interference
2010-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
A Unifying View of Abstract Domain Design
1996-01-01 Gilberto, Filé; Giacobazzi, Roberto; Francesco, Ranzato
Abstract extensionality: on the properties of incomplete abstract interpretations
2020-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Garcia-Contreras, Isabel; Pavlovic, Dusko
Abstract interpretation of resolution-based semantics
2009-01-01 Patrick, Cousot; Radhia, Cousot; Giacobazzi, Roberto
Abstract Non-Interference: A unifying framework for weakening information flow
2018-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables
2015-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining classified and unclassified information by Abstract Interpretation
2010-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
An Abstract Interpretation-based Model for Safety Semantics
2011-01-01 Mastroeni, Isabella; Giacobazzi, Roberto
A²I: abstract² interpretation
2019-01-01 Cousot, Patrick; Giacobazzi, Roberto; Ranzato, Francesco
Code obfuscation against abstraction refinement attacks
2018-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta
Correctness Kernels of Abstract Interpretations
2014-01-01 Giacobazzi, Roberto; Ranzato, F.
Data augmentation and transfer learning to classify malware images in a deep learning context
2021-01-01 Marastoni, N; Giacobazzi, R; Dalla Preda, M
Foreword: programming language interference and dependence
2011-01-01 Clark, D; Giacobazzi, Roberto; Mu, C.
Foreword: Special issue on the 11th Static Analysis Symposium - SAS 2004
2007-01-01 Giacobazzi, Roberto
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs
1995-01-01 Giacobazzi, Roberto; Saumya K., Debray; Giorgio, Levi
History of Abstract Interpretation
2021-01-01 Giacobazzi, Roberto; Ranzato, Francesco
Incompleteness of States w.r.t. Traces in Model Checking
2006-01-01 Giacobazzi, Roberto; F., Ranzato
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 |