Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
Abstract Interpretation of Indexed Grammars.
2019-01-01 DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto
Partial (In)Completeness in Abstract Interpretation
2021-01-01 Campion, Marco
Learning metamorphic malware signatures from samples
2021-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
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: Limiting the Imprecision in Program Analysis
2022-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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Abstract Interpretation of Indexed Grammars. | 1-gen-2019 | DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto | |
| Partial (In)Completeness in Abstract Interpretation | 1-gen-2021 | Campion, Marco | |
| Learning metamorphic malware signatures from samples | 1-gen-2021 | Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto | |
| 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: Limiting the Imprecision in Program Analysis | 1-gen-2022 | 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 |
Mostrati risultati da 1 a 6 di 6
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile