Sfoglia per Autore
Challenges of Software Verification
2023-01-01 Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro; Olliaro, Martina
Lifting String Analysis Domains
2023-01-01 Olliaro, Martina; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro
Preface
2023-01-01 Arceri, V.; Cortesi, A.; Ferrara, P.; Olliaro, M.
“Fixing” the Specification of Widenings
2023-01-01 Zaffanella, Enea; Arceri, Vincenzo
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact)
2023-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
Unconstrained Variable Oracles for Faster Numeric Static Analyses
2023-01-01 Arceri, V.; Dolcetti, G.; Zaffanella, E.
Challenges of software verification: the past, the present, the future
2024-01-01 Ferrara, P.; Arceri, V.; Cortesi, A.
Speeding up static analysis with the split operator
2024-01-01 Arceri, Vincenzo; Dolcetti, Greta; Zaffanella, Enea
Design and Implementation of Static Analyses for Tezos Smart Contracts
2024-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto
Detection of Phantom Reads in Hyperledger Fabric
2024-01-01 Olivieri, L.; Negrini, L.; Arceri, V.; Chachar, B.; Ferrara, P.; Cortesi, A.
Tarsis: An effective automata‐based abstract domain for string analysis
2024-01-01 Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro
Teaching Through Practice: Advanced Static Analysis with LiSA
2024-01-01 Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features
2024-01-01 Boldini, G.; Diana, A.; Arceri, V.; Bonnici, V.; Bagnara, R.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Challenges of Software Verification | 1-gen-2023 | Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro; Olliaro, Martina | |
| Lifting String Analysis Domains | 1-gen-2023 | Olliaro, Martina; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro | |
| Preface | 1-gen-2023 | Arceri, V.; Cortesi, A.; Ferrara, P.; Olliaro, M. | |
| “Fixing” the Specification of Widenings | 1-gen-2023 | Zaffanella, Enea; Arceri, Vincenzo | |
| Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact) | 1-gen-2023 | Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto | |
| Unconstrained Variable Oracles for Faster Numeric Static Analyses | 1-gen-2023 | Arceri, V.; Dolcetti, G.; Zaffanella, E. | |
| Challenges of software verification: the past, the present, the future | 1-gen-2024 | Ferrara, P.; Arceri, V.; Cortesi, A. | |
| Speeding up static analysis with the split operator | 1-gen-2024 | Arceri, Vincenzo; Dolcetti, Greta; Zaffanella, Enea | |
| Design and Implementation of Static Analyses for Tezos Smart Contracts | 1-gen-2024 | Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto | |
| Detection of Phantom Reads in Hyperledger Fabric | 1-gen-2024 | Olivieri, L.; Negrini, L.; Arceri, V.; Chachar, B.; Ferrara, P.; Cortesi, A. | |
| Tarsis: An effective automata‐based abstract domain for string analysis | 1-gen-2024 | Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro | |
| Teaching Through Practice: Advanced Static Analysis with LiSA | 1-gen-2024 | Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro | |
| A Machine Learning Approach for Source Code Similarity via Graph-Focused Features | 1-gen-2024 | Boldini, G.; Diana, A.; Arceri, V.; Bonnici, V.; Bagnara, R. |
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