| 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 | 17 | 2021 |
| 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 | 8 | 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 | 8 | 2021 |
| LiSA: A generic framework for multilanguage static analysis L Negrini, P Ferrara, V Arceri, A Cortesi Challenges of Software Verification, 19-42, 2023 | 6 | 2023 |
| A generic framework for multilanguage analysis L Negrini Universitą Ca'Foscari Venezia, 2023 | 6 | 2023 |
| SARL: OO Framework Specification for Static Analysis P Ferrara, L Negrini Software Verification: 12th International Conference, VSTTE 2020, and 13th …, 2020 | 5 | 2020 |
| 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 | 4 | 2023 |
| 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 | 3 | 2023 |
| MichelsonLiSA: a static analyzer for tezos L Olivieri, T Jensen, L Negrini, F Spoto 2023 IEEE International Conference on Pervasive Computing and Communications …, 2023 | 2 | 2023 |
| 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 |
| SARL: Framework Modeling for Static Analysis L Negrini, P Ferrara | | 2018 |
Pietro FerraraAssociate Professor, Universitą Ca' Foscari di Venezia, ItalyVerified email at unive.it
