CAMPION, MARCO

CAMPION, MARCO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.015 secondi).
Titolo Data di pubblicazione Autore(i) File
Abstract Interpretation of Indexed Grammars. 1-gen-2019 DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto
Learning metamorphic malware signatures from samples 1-gen-2021 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
Monotonicity and the Precision of Program Analysis 1-gen-2024 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto; Urban, Caterina
On the Properties of Partial Completeness in Abstract Interpretation 1-gen-2022 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
Partial (In)Completeness in Abstract Interpretation 1-gen-2021 Campion, Marco
Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis 1-gen-2022 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto