GIACOBAZZI, Roberto
GIACOBAZZI, Roberto
DIPARTIMENTO DI INFORMATICA
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics
1996-01-01 Giacobazzi, Roberto
A characterization of symmetric semantics by domain complementation
2000-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
A deep learning approach to program similarity.
2018-01-01 Marastoni, Niccolò; DALLA PREDA, Mila; Giacobazzi, Roberto
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware
2007-01-01 Francesco, Banterle; Giacobazzi, Roberto
A Generalized Semantics for Constraint Logic Programs
1992-01-01 Giacobazzi, Roberto; Saumya K., Debray; Giorgio, Levi
A Logic for Locally Complete Abstract Interpretations
2021-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco
Abductive Analysis of Modular Logic Programs
1994-01-01 Giacobazzi, Roberto
Abstract Interpretation of Indexed Grammars.
2019-01-01 DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto
Abstract Interpretation-Based Protection
2010-01-01 Giacobazzi, Roberto
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation
2004-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables
2015-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Arun, Lakhotia; Mastroeni, Isabella
Abstracting Synchronization in Concurrent Constraint Programming
1994-01-01 Enea, Zaffanella; Giacobazzi, Roberto; Giorgio, Levi
Active Android malware analysis: an approach based on stochastic games
2016-01-01 Sartea, Riccardo; DALLA PREDA, Mila; Farinelli, Alessandro; Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining Declassification and Attack Models by Abstract Interpretation
2005-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
An Application of Constraint Propagation to Data-Flow Analysis
1993-01-01 Roberto, Bagnara; Giacobazzi, Roberto; Giorgio, Levi
Analyzing Program Analyses
2015-01-01 Giacobazzi, Roberto; Logozzo, F.; Ranzato, F.
Analyzing program dependences for malware detection.
2014-01-01 DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto
Building Complete Abstract Interpretations in a Linear Logic-based Setting
1998-01-01 Giacobazzi, Roberto; Francesco, Ranzato; Francesca, Scozzari
Code Obfuscation Against Abstract Model Checking Attacks.
2018-01-01 Bruni, R.; Giacobazzi, R.; Gori, R.
Complementation in Abstract Interpretation
1995-01-01 Agostino, Cortesi; Gilberto, Filé; Giacobazzi, Roberto; Catuscia, Palamidessi; Francesco, Ranzato
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| "Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics | 1-gen-1996 | Giacobazzi, Roberto | |
| A characterization of symmetric semantics by domain complementation | 1-gen-2000 | Giacobazzi, Roberto; Mastroeni, Isabella | |
| A deep learning approach to program similarity. | 1-gen-2018 | Marastoni, Niccolò; DALLA PREDA, Mila; Giacobazzi, Roberto | |
| A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware | 1-gen-2007 | Francesco, Banterle; Giacobazzi, Roberto | |
| A Generalized Semantics for Constraint Logic Programs | 1-gen-1992 | Giacobazzi, Roberto; Saumya K., Debray; Giorgio, Levi | |
| A Logic for Locally Complete Abstract Interpretations | 1-gen-2021 | Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco | |
| Abductive Analysis of Modular Logic Programs | 1-gen-1994 | Giacobazzi, Roberto | |
| Abstract Interpretation of Indexed Grammars. | 1-gen-2019 | DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto | |
| Abstract Interpretation-Based Protection | 1-gen-2010 | Giacobazzi, Roberto | |
| 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; Arun, Lakhotia; Mastroeni, Isabella | |
| Abstracting Synchronization in Concurrent Constraint Programming | 1-gen-1994 | Enea, Zaffanella; Giacobazzi, Roberto; Giorgio, Levi | |
| Active Android malware analysis: an approach based on stochastic games | 1-gen-2016 | Sartea, Riccardo; DALLA PREDA, Mila; Farinelli, Alessandro; Giacobazzi, Roberto; Mastroeni, Isabella | |
| Adjoining Declassification and Attack Models by Abstract Interpretation | 1-gen-2005 | Giacobazzi, Roberto; Mastroeni, Isabella | |
| An Application of Constraint Propagation to Data-Flow Analysis | 1-gen-1993 | Roberto, Bagnara; Giacobazzi, Roberto; Giorgio, Levi | |
| Analyzing Program Analyses | 1-gen-2015 | Giacobazzi, Roberto; Logozzo, F.; Ranzato, F. | |
| Analyzing program dependences for malware detection. | 1-gen-2014 | DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto | |
| Building Complete Abstract Interpretations in a Linear Logic-based Setting | 1-gen-1998 | Giacobazzi, Roberto; Francesco, Ranzato; Francesca, Scozzari | |
| Code Obfuscation Against Abstract Model Checking Attacks. | 1-gen-2018 | Bruni, R.; Giacobazzi, R.; Gori, R. | |
| Complementation in Abstract Interpretation | 1-gen-1995 | Agostino, Cortesi; Gilberto, Filé; Giacobazzi, Roberto; Catuscia, Palamidessi; Francesco, Ranzato |