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 Logic for the Imprecision of Abstract Interpretations
2026-01-01 Campion, Marco; Dalla Preda, Mila; Giacobazzi, Roberto; Urban, Caterina
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
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation
2024-01-01 Giacobazzi, Roberto; Mastroeni, Isabella; Perantoni, Elia
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
| 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 Logic for the Imprecision of Abstract Interpretations | 1-gen-2026 | Campion, Marco; Dalla Preda, Mila; Giacobazzi, Roberto; Urban, Caterina | |
| 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 | |
| Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation | 1-gen-2024 | Giacobazzi, Roberto; Mastroeni, Isabella; Perantoni, Elia | |
| 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 |