ARCERI, VINCENZO
ARCERI, VINCENZO
Dipartimento di Scienze Ambientali, Informatica e Statistica
Challenges of software verification
2024 Arceri, Vincenzo; Negrini, Luca; Olivieri, Luca; Ferrara, Pietro
Challenges of software verification: the past, the present, the future
2024 Ferrara, P.; Arceri, V.; Cortesi, A.
Completeness of Abstract Domains for String Analysis of JavaScript Programs
2019 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Completeness of string analysis for dynamic languages
2021 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Design and Implementation of Static Analyses for Tezos Smart Contracts
2024 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto
Detection of Phantom Reads in Hyperledger Fabric
2024 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts
2025 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report
2022 Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode
2025 Arceri, Vincenzo; Merenda, Saverio Mattia; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea
Information Flow Analysis for Detecting Non-Determinism in Blockchain
2023 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
Introducing Pyra: A High-Level Linter for Data Science Software
2025 Dolcetti, G.; Arceri, V.; Mensi, A.; Zaffanella, E.; Urban, C.; Cortesi, A.
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution)
2026 Arceri, Vincenzo; Negrini, Luca; Zanatta, Giacomo; Bianchi, Filippo; Lisovenko, Teodors; Olivieri, Luca; Ferrara, Pietro
Lifting String Analysis Domains
2023 Olliaro, Martina; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro
LiSA: A Generic Framework for Multilanguage Static Analysis
2023 Negrini, Luca; Ferrara, Pietro; Arceri, Vincenzo; Cortesi, Agostino
Preface
2023 Arceri, V.; Cortesi, A.; Ferrara, P.; Olliaro, M.
PYRA: A high-level linter for data science software
2026 Dolcetti, Greta.; Arceri, Vincenzo; Mensi, A.; Zaffanella, E.; Urban, C.; Cortesi, Agostino.
Relational String Abstract Domains
2022 Arceri, V.; Olliaro, M.; Cortesi, A.; Ferrara, P.
Static analysis for dummies: experiencing LiSA
2021 Ferrara, Pietro; Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts
2025 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
Tarsis: An effective automata-based abstract domain for string analysis
2024 Negrini, L.; Arceri, V.; Cortesi, A.; Ferrara, P.