CAMPION, MARCO
CAMPION, MARCO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.015 secondi).
Abstract Interpretation of Indexed Grammars.
2019-01-01 DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto
Learning metamorphic malware signatures from samples
2021-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
Monotonicity and the Precision of Program Analysis
2024-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto; Urban, Caterina
On the Properties of Partial Completeness in Abstract Interpretation
2022-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
Partial (In)Completeness in Abstract Interpretation
2021-01-01 Campion, Marco
Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis
2022-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
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 |