CAMPION, MARCO
CAMPION, MARCO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.008 secondi).
A Formal Framework to Measure the Incompleteness of Abstract Interpretations
2023-01-01 Campion, Marco; Urban, Caterina; Dalla Preda, Mila; Giacobazzi, Roberto
Abstract Interpretation of Indexed Grammars.
2019-01-01 DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja
2025-01-01 Altamura, Nicolò; Bragastini, Enrico; Campion, Marco; Dalla Preda, Mila
On the Properties of Partial Completeness in Abstract Interpretation
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 |
|---|---|---|---|
| A Formal Framework to Measure the Incompleteness of Abstract Interpretations | 1-gen-2023 | Campion, Marco; Urban, Caterina; Dalla Preda, Mila; Giacobazzi, Roberto | |
| Abstract Interpretation of Indexed Grammars. | 1-gen-2019 | DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto | |
| Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja | 1-gen-2025 | Altamura, Nicolò; Bragastini, Enrico; Campion, Marco; Dalla Preda, Mila | |
| On the Properties of Partial Completeness in Abstract Interpretation | 1-gen-2022 | Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto | |
| Relating Distances and Abstractions | 1-gen-2025 | Campion, Marco; Mastroeni, Isabella; Urban, Caterina |