| Partial (In) Completeness in abstract interpretation: limiting the imprecision in program analysis M Campion, M Dalla Preda, R Giacobazzi Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022 | 14 | 2022 |
| Learning metamorphic malware signatures from samples M Campion, M Dalla Preda, R Giacobazzi Journal of Computer Virology and Hacking Techniques, 1-17, 2021 | 10 | 2021 |
| Abstract interpretation of indexed grammars M Campion, M Dalla Preda, R Giacobazzi Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 6 | 2019 |
| A Formal Framework to Measure the Incompleteness of Abstract Interpretations M Campion, C Urban, M Dalla Preda, R Giacobazzi International Static Analysis Symposium, 114-138, 2023 | | 2023 |
| On the Properties of Partial Completeness in Abstract Interpretation (Short Paper) M Campion, M Dalla Preda, R Giacobazzi | | 2022 |
Mila Dalla PredaUniversity of Verona, ItalyVerified email at univr.it
