| 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 | 30 | 2021 |
| LiSA: A generic framework for multilanguage static analysis L Negrini, P Ferrara, V Arceri, A Cortesi Challenges of Software Verification, 19-42, 2023 | 18 | 2023 |
| 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 | 15 | 2022 |
| 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 | 13 | 2021 |
| 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 | 11 | 2023 |
| Information flow analysis for detecting non-determinism in blockchain L Olivieri, L Negrini, V Arceri, F Tagliaferro, P Ferrara, A Cortesi, F Spoto Proceedings of the 37th European Conference on Object-Oriented Programming …, 2023 | 11 | 2023 |
| SARL: OO Framework Specification for Static Analysis P Ferrara, L Negrini Software Verification: 12th International Conference, VSTTE 2020, and 13th …, 2020 | 11 | 2020 |
| MichelsonLiSA: a static analyzer for tezos L Olivieri, T Jensen, L Negrini, F Spoto 2023 IEEE International Conference on Pervasive Computing and Communications …, 2023 | 8 | 2023 |
| A generic framework for multilanguage analysis L Negrini Università Ca'Foscari Venezia, 2023 | 6 | 2023 |
| 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 | 5 | 2024 |
| Detection of Phantom Reads in Hyperledger Fabric L Olivieri, L Negrini, V Arceri, B Chachar, P Ferrara, A Cortesi IEEE Access, 2024 | 3 | 2024 |
| Automating ROS2 Security Policies Extraction through Static Analysis G Zanatta, G Caiazza, P Ferrara, L Negrini, R White 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2024 | 2 | 2024 |
| Sound static analysis for microservices: Utopia? a preliminary experience with lisa G Zanatta, P Ferrara, T Lisovenko, L Negrini, G Caiazza, R White Proceedings of the 26th ACM International Workshop on Formal Techniques for …, 2024 | 2 | 2024 |
| Challenges of Software Verification V Arceri, A Cortesi, P Ferrara, M Olliaro Springer, 2023 | 2 | 2023 |
| Inference of access policies through static analysis G Zanatta, G Caiazza, P Ferrara, L Negrini International Journal on Software Tools for Technology Transfer, 1-25, 2025 | 1 | 2025 |
| Towards a Sound Construction of EVM Bytecode Control-Flow Graphs V Arceri, SM Merenda, G Dolcetti, L Negrini, L Olivieri, E Zaffanella Proceedings of the 26th ACM International Workshop on Formal Techniques for …, 2024 | 1 | 2024 |
| Teaching Through Practice: Advanced Static Analysis with LiSA L Negrini, V Arceri, L Olivieri, A Cortesi, P Ferrara Formal Methods Teaching Workshop, 43-57, 2024 | 1 | 2024 |
| 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 | 1 | 2024 |
| European union data act and blockchain technology: Challenges and new directions L Olivieri, L Pasetto, L Negrini, P Ferrara CEUR Workshop Proceedings, 2024 | 1 | 2024 |
| General-purpose Languages for Blockchain Smart Contracts Development: A Comprenhensive Study L Olivieri, V Arceri, B Chachar, L Negrini, F Tagliaferro, F Spoto, P Ferrara, ... IEEE Access, 2024 | | 2024 |
Pietro FerraraAssociate Professor, Università Ca' Foscari di Venezia, ItalyEmail verificata su unive.it