Vincenzo Arceri
Università Ca' Foscari di Venezia
H-index: 7
Europe-Italy
Top articles of Vincenzo Arceri
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Tarsis: An effective automata‐based abstract domain for string analysis | Journal of Software: Evolution and Process | Luca Negrini Vincenzo Arceri Agostino Cortesi Pietro Ferrara | 2024 |
Design and Implementation of Static Analyses for Tezos Smart Contracts | Distributed Ledger Technologies: Research and Practice | Luca Olivieri Luca Negrini Vincenzo Arceri Thomas Jensen Fausto Spoto | 2024 |
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features | Giacomo Boldini Alessio Diana Vincenzo Arceri Vincenzo Bonnici Roberto Bagnara | 2023/9/22 | |
Speeding up static analysis with the split operator | Vincenzo Arceri Greta Dolcetti Enea Zaffanella | 2023/6/6 | |
Challenges of Software Verification | Vincenzo Arceri Agostino Cortesi Pietro Ferrara Martina Olliaro | 2023/7/24 | |
BIOCHAIN: towards a platform for securely sharing microbiological data | Vincenzo Bonnici Vincenzo Arceri Alessio Diana Flavio Bertini Eleonora Iotti | 2023/5/5 | |
LiSA: A generic framework for multilanguage static analysis | Luca Negrini Pietro Ferrara Vincenzo Arceri Agostino Cortesi | 2023/7/22 | |
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact) | Luca Olivieri Luca Negrini Vincenzo Arceri Tagliaferro Fabio Pietro Ferrara | 2023 | |
Lifting String Analysis Domains | Martina Olliaro Vincenzo Arceri Agostino Cortesi Pietro Ferrara | 2023/7/22 | |
Unconstrained Variable Oracles for Faster Numeric Static Analyses | Vincenzo Arceri Greta Dolcetti Enea Zaffanella | 2023/10/22 | |
“Fixing” the specification of widenings | Enea Zaffanella Vincenzo Arceri | 2023/7/22 | |
Relational string abstract domains | Vincenzo Arceri Martina Olliaro Agostino Cortesi Pietro Ferrara | 2022/1/14 | |
BIOCHAIN-AI: a platform for securely sharing and analysing microbiological data | Vincenzo Bonnici Vincenzo Arceri Flavio Bertini Eleonora Iotti Alessandro DAL PALU | 2022 | |
Decoupling the ascending and descending phases in abstract interpretation | Vincenzo Arceri Isabella Mastroeni Enea Zaffanella | 2022/11/25 | |
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report | Luca Olivieri Fabio Tagliaferro Vincenzo Arceri Marco Ruaro Luca Negrini | 2022/6/14 | |
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval | ACM Transactions on Privacy and Security (TOPS) | Vincenzo Arceri Isabella Mastroeni | 2021/1/21 |
Twinning automata and regular expressions for string static analysis | Luca Negrini Vincenzo Arceri Pietro Ferrara Agostino Cortesi | 2021 | |
Completeness of string analysis for dynamic languages | Information and Computation | Vincenzo Arceri Martina Olliaro Agostino Cortesi Isabella Mastroeni | 2021/12/1 |
Improving dynamic code analysis by code abstraction | arXiv preprint arXiv:2109.02813 | Isabella Mastroeni Vincenzo Arceri | 2021/9/7 |
Static analysis for dummies: experiencing LiSA | Pietro Ferrara Luca Negrini Vincenzo Arceri Agostino Cortesi | 2021/6/22 |