All publications
You can find all available PDFs for the publications in this page here. Each individual publication’s page will contain a direct link to the corresponding manuscript when available.
2024
-
L. Negrini, S. Presotto, P. Ferrara, E. Zaffanella, A. Cortesi. Stability: an Abstract Domain for the Trend of Variation of Numerical Variables
static-analysis abstract-interpretation numeric-abstractions
10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2024)
Workshop paper - 22 October 2024 - Pasadena, California, United States • PDF available
-
G. Zanatta, G. Caiazza, P. Ferrara, L. Negrini, R. White. Automating ROS2 Security Policies Extraction through Static Analysis
static-analysis abstract-interpretation robotics
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024)
Conference paper - 14 October 2024 - Abu Dhabi, United Arab Emirates -
G. Zanatta, P. Ferrara, T. Lisovenko, L. Negrini, G. Caiazza, R. White. Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA
static-analysis abstract-interpretation microservices
Formal Techniques for Java-like Programs (FTfJP 2024)
Workshop paper - 16 September 2024 - Wien, Austria • PDF available
-
V. Arceri, S. M. Merenda, G. Dolcetti, L. Negrini, L. Olivieri, E. Zaffanella. Towards a Sound Construction of EVM Bytecode Control-flow Graphs
static-analysis abstract-interpretation evm cfg-reconstruction
Formal Techniques for Java-like Programs (FTfJP 2024)
Workshop paper - 16 September 2024 - Wien, Austria • PDF available
-
L. Negrini, V. Arceri, L. Olivieri, A. Cortesi, P. Ferrara. Teaching Through Practice: Advanced Static Analysis with LiSA
static-analysis abstract-interpretation teaching
Formal Methods Teaching (FMTea 2024)
Workshop paper - 5 September 2024 - Milan, Italy • PDF available
-
L. Olivieri, L. Negrini, V. Arceri, B. Chachar, P. Ferrara, A. Cortesi. Detection of Phantom Reads in Hyperledger Fabric
blockchain static-analysis abstract-interpretation
IEEE Access, Volume 12
Journal paper - 5 June 2024 - • PDF available
-
L. Olivieri, L. Pasetto, L. Negrini and P. Ferrara. European Union Data Act and Blockchain Technology: Challenges and New Directions
data-act blockchain
6th Distributed Ledger Technologies Workshop (DLT2024)
Workshop paper - 14 May 2024 - Turin, Italy • PDF available
-
L. Negrini, V. Arceri, A. Cortesi, P. Ferrara. Tarsis: An effective automata-based abstract domain for string analysis
string-analysis static-analysis abstract-interpretation
Journal of Software: Evolution and Processes
Journal paper - 14 February 2024 - • PDF available
-
L. Olivieri, L. Negrini, V. Arceri, T. Jensen, F. Spoto. Design and Implementation of Static Analyses for Tezos Smart Contracts
blockchain static-analysis abstract-interpretation
Distributed Ledger Technologies: Research and Practice
Journal paper - 11 January 2024 - • PDF available
2023
-
L. Negrini, P. Ferrara, V. Arceri, A. Cortesi. LiSA: A Generic Framework for Multilanguage Static Analysis
static-analysis abstract-interpretation multilanguage-analysis
Challenges of Software Verification, Intelligent Systems Reference Library (CSV 2023)
Book chapter - 22 July 2023 - • PDF available
-
L. Olivieri, V. Arceri, L. Negrini, F. Tagliaferro, P. Ferrara, A. Cortesi, F. Spoto. Information Flow Analysis for Detecting Non-Determinism in Blockchain
blockchain static-analysis abstract-interpretation
Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Conference paper - 11 July 2023 - Seattle, Washington, USA • PDF available
-
L. Negrini, G. Shabadi, C. Urban. Static Analysis of Data Transformations in Jupyter Notebooks
data-science static-analysis abstract-interpretation jupyter-notebooks
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2023)
Workshop paper - 17 June 2023 - Orlando, FL, USA & online • PDF available
-
L. Olivieri, T. Jensen, L. Negrini, F. Spoto. MichelsonLiSA: A Static Analyzer for Tezos
blockchain static-analysis abstract-interpretation
2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (BRAIN 2023)
Workshop paper - 13 March 2023 - Atlanta, GA, USA • PDF available
2022
-
L. Olivieri, F. Tagliaferro, V. Arceri, M. Ruaro, L. Negrini, A. Cortesi, P. Ferrara, F. Spoto, E. Tallin. Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
blockchain static-analysis abstract-interpretation
Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2022)
Workshop paper - 14 June 2022 - San Diego, CA, USA & online • PDF available
2021
-
P. Ferrara, L. Negrini, V. Arceri, A. Cortesi. Static analysis for dummies: experiencing LiSA
static-analysis abstract-interpretation teaching
Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021)
Workshop paper - 22 June 2021 - San Diego, CA, USA & online • PDF available
-
L. Negrini, V. Arceri, P. Ferrara, A. Cortesi. Twinning Automata and Regular Expressions for String Static Analysis
string-analysis static-analysis abstract-interpretation
22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2021)
Conference paper - 18 January 2021 - Online conference • PDF available
2020
-
P. Ferrara, L. Negrini. SARL: OO Framework Specification for Static Analysis
library-models software-frameworks static-analysis
12th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2020)
Conference paper - 20 July 2020 - Online conference • PDF available
2018
-
L. Negrini, P. Ferrara. SARL: Framework Specification for Static Analysis
library-models software-frameworks static-analysis
The Ninth Workshop on Tools for Automatic Program Analysis (TAPAS 2018)
Extended abstract with no proceedings - 28 August 2018 - Freiburg im Breisgau, Germany • PDF available