Roberto Giacobazzi
Università degli Studi di Verona
H-index: 34
Europe-Italy
Top articles of Roberto Giacobazzi
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Monotonicity and the Precision of Program Analysis | Proceedings of the ACM on Programming Languages | Marco Campion Mila Dalla Preda Roberto Giacobazzi Caterina Urban | 2024/1/5 |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday | Pedro Lopez-Garcia John P Gallagher Roberto Giacobazzi | 2023/5/16 | |
A correctness and incorrectness program logic | Journal of the ACM | Roberto Bruni Roberto Giacobazzi Roberta Gori Francesco Ranzato | 2023/3/25 |
How fitting is your abstract domain? | Roberto Giacobazzi Isabella Mastroeni Elia Perantoni | 2023/10/22 | |
A Formal Framework to Measure the Incompleteness of Abstract Interpretations | Marco Campion Caterina Urban Mila Dalla Preda Roberto Giacobazzi | 2023/10/22 | |
Local Completeness in Abstract Interpretation | Roberto Bruni Roberto Giacobazzi Roberta Gori Francesco Ranzato | 2023/7/22 | |
On the properties of partial completeness in abstract interpretation | Marco Campion Mila Dalla Preda Roberto Giacobazzi | 2022 | |
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation | Roberto Giacobazzi Isabella Mastroeni | 2022/12/2 | |
Abstract interpretation repair | Roberto Bruni Roberto Giacobazzi Roberta Gori Francesco Ranzato | 2022/6/9 | |
Partial (in) completeness in abstract interpretation: limiting the imprecision in program analysis | Proceedings of the ACM on Programming Languages | Marco Campion Mila Dalla Preda Roberto Giacobazzi | 2022/1/11 |
History of abstract interpretation | IEEE Annals of the History of Computing | Roberto Giacobazzi Francesco Ranzato | 2021/12/7 |
Data augmentation and transfer learning to classify malware images in a deep learning context | Journal of Computer Virology and Hacking Techniques | Niccolò Marastoni Roberto Giacobazzi Mila Dalla Preda | 2021/12 |
Learning metamorphic malware signatures from samples | Journal of Computer Virology and Hacking Techniques | Marco Campion Mila Dalla Preda Roberto Giacobazzi | 2021/9 |
A logic for locally complete abstract interpretations | Roberto Bruni Roberto Giacobazzi Roberta Gori Francesco Ranzato | 2021/6/29 | |
Formal framework for reasoning about the precision of dynamic analysis | Mila Dalla Preda Roberto Giacobazzi Niccoló Marastoni | 2020 |