| 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 | 23 | 2022 |
| Learning metamorphic malware signatures from samples M Campion, M Dalla Preda, R Giacobazzi Journal of Computer Virology and Hacking Techniques 17 (3), 167-183, 2021 | 17 | 2021 |
| Abstract interpretation of indexed grammars M Campion, M Dalla Preda, R Giacobazzi Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 7 | 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 | 4 | 2023 |
| Quantitative Input Usage Static Analysis D Mazzucato, M Campion, C Urban NASA Formal Methods Symposium, 79-98, 2024 | 2 | 2024 |
| On the properties of partial completeness in abstract interpretation M Campion, M Dalla Preda, R Giacobazzi Proceedings of the 23rd Italian Conference on Theoretical Computer Science …, 2022 | 2 | 2022 |
| Monotonicity and the Precision of Program Analysis M Campion, M Dalla Preda, R Giacobazzi, C Urban Proceedings of the ACM on Programming Languages 8 (POPL), 1629-1662, 2024 | | 2024 |
Mila Dalla PredaUniversity of Verona, ItalyEmail verificata su univr.it