CAMPION, MARCO
CAMPION, MARCO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.01 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
Relating Distances and Abstractions
2025-01-01 Campion, Marco; Mastroeni, Isabella; Urban, Caterina
| 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 | |
| Relating Distances and Abstractions | 1-gen-2025 | Campion, Marco; Mastroeni, Isabella; Urban, Caterina |