Abstract Interpretation of Indexed Grammars. - Marco Campion; Mila Dalla Preda; Roberto Giacobazzi (SAS, 2019)

Learning metamorphic malware signatures from samples. - Marco Campion; Mila Dalla Preda; Roberto Giacobazzi (J. Comput. Virol. Hacking Tech., 2021)

On the Properties of Partial Completeness in Abstract Interpretation. - Marco Campion; Mila Dalla Preda; Roberto Giacobazzi (ICTCS, 2022)

Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis. - Marco Campion; Mila Dalla Preda; Roberto Giacobazzi (Proc. ACM Program. Lang., 2022)

A Formal Framework to Measure the Incompleteness of Abstract Interpretations. - Marco Campion; Caterina Urban; Mila Dalla Preda; Roberto Giacobazzi (SAS, 2023)

Quantitative Input Usage Static Analysis. - Denis Mazzucato; Marco Campion; Caterina Urban (NFM, 2024)

Quantitative Static Timing Analysis. - Denis Mazzucato; Marco Campion; Caterina Urban (SAS, 2024)

Monotonicity and the Precision of Program Analysis. - Marco Campion; Mila Dalla Preda; Roberto Giacobazzi; Caterina Urban (Proc. ACM Program. Lang., 2024)