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

B-cell receptor signaling activity identifies patients with..:

Gambino, Simona ; Quaglia, Francesca Maria ; Galasso, Marilisa...
Scientific Reports. 14 (2024) 1 - p. , 2024

Link: https://doi.org/10.1038/..

3

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/..

4

Monotonicity and the Precision of Program Analysis:

Campion, Marco ; Dalla Preda, Mila ; Giacobazzi, Roberto.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3632897. , 2024

Link: https://inria.hal.scienc..

5

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/..

6

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/..

7

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/..

8

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/..

9

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/..

10

Cosmetic Results and Side Effects of Accelerated Partial-Br..:

Meduri, Bruno ; Baldissera, Antonella ; Iotti, Cinzia...
https://research.rug.nl/en/publications/27f151c0-60b4-4042-a4eb-17db51ab2265. , 2023

Link: https://hdl.handle.net/1..

11

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

Campion, Marco ; Urban, Caterina ; Preda, Mila, Dalla.
hal-04249990. , 2023

Link: https://inria.hal.scienc..

12

How Fitting is Your Abstract Domain?:

Giacobazzi, Roberto ; Mastroeni, Isabella ; Perantoni, Elia
info:eu-repo/semantics/altIdentifier/isbn/978-3-031-44244-5. , 2023

Link: https://hdl.handle.net/1..

13

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/..

14

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/..

15

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..