Follow
Luca Negrini
Title
Cited by
Cited by
Year
Static analysis for dummies: experiencing LiSA
P Ferrara, L Negrini, V Arceri, A Cortesi
Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of …, 2021
162021
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report
L Olivieri, F Tagliaferro, V Arceri, M Ruaro, L Negrini, A Cortesi, P Ferrara, ...
Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of …, 2022
82022
Twinning automata and regular expressions for string static analysis
L Negrini, V Arceri, P Ferrara, A Cortesi
Verification, Model Checking, and Abstract Interpretation: 22nd …, 2021
82021
LiSA: A generic framework for multilanguage static analysis
L Negrini, P Ferrara, V Arceri, A Cortesi
Challenges of Software Verification, 19-42, 2023
62023
A generic framework for multilanguage analysis
L Negrini
Universitą Ca'Foscari Venezia, 2023
62023
Static Analysis of Data Transformations in Jupyter Notebooks
L Negrini, G Shabadi, C Urban
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of …, 2023
42023
SARL: OO Framework Specification for Static Analysis
P Ferrara, L Negrini
Software Verification: 12th International Conference, VSTTE 2020, and 13th …, 2020
42020
Information Flow Analysis for Detecting Non-Determinism in Blockchain
L Olivieri, L Negrini, V Arceri, T Fabio, P Ferrara, A Cortesi, NF Spoto
Proceedings of the 37th European Conference on Object-Oriented Programming …, 2023
32023
MichelsonLiSA: A Static Analyzer for Tezos
L Olivieri, T Jensen, L Negrini, F Spoto
2023 IEEE International Conference on Pervasive Computing and Communications …, 2023
22023
Tarsis: An effective automata‐based abstract domain for string analysis
L Negrini, V Arceri, A Cortesi, P Ferrara
Journal of Software: Evolution and Process, e2647, 2024
2024
Design and Implementation of Static Analyses for Tezos Smart Contracts
L Olivieri, L Negrini, V Arceri, T Jensen, F Spoto
Distributed Ledger Technologies: Research and Practice, 2024
2024
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact)
L Olivieri, L Negrini, V Arceri, F Tagliaferro, P Ferrara, A Cortesi, F Spoto
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2023
2023
SARL: Framework Modeling for Static Analysis
L Negrini, P Ferrara
2018
The system can't perform the operation now. Try again later.
Articles 1–13