DOLCETTI, GRETA
DOLCETTI, GRETA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.007 secondi).
How a Blockchain Approach Can Improve Data Reliability in the COVID-19 Pandemic
2022-01-01 Cozzini, Pietro; Agosta, Federica; Dolcetti, Greta; Righi, Gianfranco
Speeding up static analysis with the split operator
2024-01-01 Arceri, Vincenzo; Dolcetti, Greta; Zaffanella, Enea
Speeding up Static Analysis with the Split Operator
2023-01-01 Arceri, V.; Dolcetti, G.; Zaffanella, E.
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs
2024-01-01 Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea
Unconstrained Variable Oracles for Faster Numeric Static Analyses
2023-01-01 Arceri, V.; Dolcetti, G.; Zaffanella, E.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| How a Blockchain Approach Can Improve Data Reliability in the COVID-19 Pandemic | 1-gen-2022 | Cozzini, Pietro; Agosta, Federica; Dolcetti, Greta; Righi, Gianfranco | |
| Speeding up static analysis with the split operator | 1-gen-2024 | Arceri, Vincenzo; Dolcetti, Greta; Zaffanella, Enea | |
| Speeding up Static Analysis with the Split Operator | 1-gen-2023 | Arceri, V.; Dolcetti, G.; Zaffanella, E. | |
| Towards a Sound Construction of EVM Bytecode Control-Flow Graphs | 1-gen-2024 | Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea | |
| Unconstrained Variable Oracles for Faster Numeric Static Analyses | 1-gen-2023 | Arceri, V.; Dolcetti, G.; Zaffanella, E. |