E-LIB Suche - Ergebnisse für: Giacobazzi, Roberto

1

Adversities in Abstract Interpretation - Accommodating Robu..:

Giacobazzi, Roberto ; Mastroeni, Isabella ; Perantoni, Elia
ACM Transactions on Programming Languages and Systems. 46 (2024) 2 - p. 1-31 , 2024

Link: https://doi.org/10.1145/..

2

Monotonicity and the Precision of Program Analysis:

Campion, Marco ; Dalla Preda, Mila ; Giacobazzi, Roberto.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1629-1662 , 2024

Link: https://doi.org/10.1145/..

3

Analysis, Verification and Transformation for Declarative P..

Lecture Notes in Computer Science, 13160

Lopez-Garcia, Pedro ; Gallagher, John P ; Giacobazzi, Roberto - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

4

Local Completeness in Abstract Interpretation:

, In: Intelligent Systems Reference Library; Challenges of Software Verification,

Bruni, Roberto ; Giacobazzi, Roberto ; Gori, Roberta. - p. 145-156 , 2023

Link: https://doi.org/10.1007/..

5

A Correctness and Incorrectness Program Logic:

Bruni, Roberto ; Giacobazzi, Roberto ; Gori, Roberta.
Journal of the ACM. 70 (2023) 2 - p. 1-45 , 2023

Link: https://doi.org/10.1145/..

6

A Formal Framework to Measure the Incompleteness of Abstrac..:

, In: Static Analysis; Lecture Notes in Computer Science,

Campion, Marco ; Urban, Caterina ; Dalla Preda, Mila. - p. 114-138 , 2023

Link: https://doi.org/10.1007/..

7

How Fitting is Your Abstract Domain?:

, In: Static Analysis; Lecture Notes in Computer Science,

Giacobazzi, Roberto ; Mastroeni, Isabella ; Perantoni, Elia - p. 286-309 , 2023

Link: https://doi.org/10.1007/..

8

Abstract interpretation repair:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Bruni, Roberto ; Giacobazzi, Roberto ; Gori, Roberta. - p. 426-441 , 2022

Link: https://dl.acm.org/doi/1..

9

Partial (In)Completeness in abstract interpretation: limiti..:

Campion, Marco ; Dalla Preda, Mila ; Giacobazzi, Roberto
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-31 , 2022

Link: https://dl.acm.org/doi/1..

10

History of Abstract Interpretation:

Giacobazzi, Roberto ; Ranzato, Francesco
IEEE Annals of the History of Computing. 44 (2022) 2 - p. 33-43 , 2022

Link: https://doi.org/10.1109/..

11

Partial (In)Completeness in abstract interpretation: limiti..:

Campion, Marco ; Dalla Preda, Mila ; Giacobazzi, Roberto
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-31 , 2022

Link: https://doi.org/10.1145/..

12

Property-Driven Code Obfuscations Reinterpreting Jones-Opti..:

, In: Static Analysis; Lecture Notes in Computer Science,

Giacobazzi, Roberto ; Mastroeni, Isabella - p. 247-271 , 2022

Link: https://doi.org/10.1007/..

13

Data augmentation and transfer learning to classify malware..:

Marastoni, Niccolò ; Giacobazzi, Roberto ; Dalla Preda, Mila
Journal of Computer Virology and Hacking Techniques. 17 (2021) 4 - p. 279-297 , 2021

Link: https://doi.org/10.1007/..

14

Learning metamorphic malware signatures from samples:

Campion, Marco ; Dalla Preda, Mila ; Giacobazzi, Roberto
Journal of Computer Virology and Hacking Techniques. 17 (2021) 3 - p. 167-183 , 2021

Link: https://doi.org/10.1007/..

15

A logic for locally complete abstract interpretations:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bruni, Roberto ; Giacobazzi, Roberto ; Gori, Roberta. - p. 1-13 , 2021

Link: https://dl.acm.org/doi/1..