E-LIB Suche - Ergebnisse für: Campion, Marco

1

Quantitative Input Usage Static Analysis:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Mazzucato, Denis ; Campion, Marco ; Urban, Caterina - p. 79-98 , 2024

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

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

4

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

5

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

6

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

7

Abstract Interpretation of Indexed Grammars:

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

Campion, Marco ; Dalla Preda, Mila ; Giacobazzi, Roberto - p. 121-139 , 2019

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

8

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

9

Quantitative Input Usage Static Analysis:

Mazzucato, Denis ; Campion, Marco ; Urban, Caterina
hal-04339001. , 2023

Link: https://hal.science/hal-..

10

Quantitative Input Usage Static Analysis:

Mazzucato, Denis ; Campion, Marco ; Urban, Caterina
hal-04339001. , 2023

Link: https://hal.science/hal-..

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

Abstract Interpretation of Indexed Grammars:

Mila Dalla Preda ; CAMPION, MARCO ; Roberto Giacobazzi
info:eu-repo/semantics/altIdentifier/isbn/978-303032303-5. , 2019

Link: http://hdl.handle.net/11..

13

Partial (In)Completeness in Abstract Interpretation: Limiti..:

Marco Campion ; Mila Dalla Preda ; Roberto Giacobazzi
volume:6. , 2022

Link: http://hdl.handle.net/11..

14

Learning metamorphic malware signatures from samples:

Marco Campion ; Mila Dalla Preda ; Roberto Giacobazzi
info:eu-repo/semantics/altIdentifier/wos/WOS:000619687400001. , 2021

Link: http://hdl.handle.net/11..

15

Partial (In)Completeness in Abstract Interpretation:

Marco Campion
numberofpages:122. , 2021

Link: http://hdl.handle.net/11..