Luca NEGRINI
- Qualifica
- Ricercatore
- SSD
- Informatica [INFO-01/A]
- Sito web
-
www.unive.it/persone/luca.negrini (scheda personale)
- Struttura
-
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Pubblicazioni
| Anno | Tipologia | Pubblicazione |
|---|---|---|
| Anno | Tipologia | Pubblicazione |
|
|
||
| 2024 | Articolo su rivista |
Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto Design and Implementation of Static Analyses for Tezos Smart Contracts in DISTRIBUTED LEDGER TECHNOLOGIES, vol. 1 (ISSN 2769-6480) DOI - Scheda ARCA: 10278/5085613 |
| 2024 | Articolo su rivista |
Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino Detection of Phantom Reads in Hyperledger Fabric in IEEE ACCESS, vol. 12 (ISSN 2169-3536) DOI - Scheda ARCA: 10278/5060921 |
| 2024 | Articolo su rivista |
Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study in IEEE ACCESS, vol. 12, pp. 166855-166869 (ISSN 2169-3536) DOI - Scheda ARCA: 10278/5083652 |
| 2024 | Articolo su rivista |
Negrini L.; Arceri V.; Cortesi A.; Ferrara P. Tarsis: An effective automata-based abstract domain for string analysis in JOURNAL OF SOFTWARE, vol. 36 (ISSN 2047-7481) DOI - Scheda ARCA: 10278/5050041 |
| 2024 | Articolo in Atti di convegno |
Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White Automating ROS2 Security Policies Extraction through Static Analysis , Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, Convegno: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Scheda ARCA: 10278/5062421 |
| 2024 | Articolo in Atti di convegno |
Olivieri L.; Pasetto L.; Negrini L.; Ferrara P. European Union Data Act and Blockchain Technology: Challenges and New Directions , CEUR Workshop Proceedings, CEUR-WS, vol. 3791, Convegno: 6th Distributed Ledger Technology Workshop, DLT 2024, 2024 (ISSN 1613-0073) - Scheda ARCA: 10278/5083061 |
| 2024 | Articolo in Atti di convegno |
Zanatta, Giacomo; Ferrara, Pietro; Lisovenko, Teodors; Negrini, Luca; Caiazza, Gianluca; White, Ruffin Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA , FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Association for Computing Machinery, pp. 5-10, Convegno: Formal Techniques for Java-like Programs (FTfJP 2024) DOI - Scheda ARCA: 10278/5072661 |
| 2024 | Articolo in Atti di convegno |
Negrini, Luca; Presotto, Sofia; Ferrara, Pietro; Zaffanella, Enea; Cortesi, Agostino Stability: An Abstract Domain for the Trend of Variation of Numerical Variables , NSAD 2024: Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, ASSOC COMPUTING MACHINERY, pp. 10-17, Convegno: The 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains DOI - Scheda ARCA: 10278/5085612 |
| 2024 | Articolo in Atti di convegno |
Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro Teaching Through Practice: Advanced Static Analysis with LiSA , Formal Methods Teaching, Springer, pp. 43-57, Convegno: 6th Formal Methods Teaching Workshop (FMTea 2024) (ISBN 9783031713781; 9783031713798) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/5072663 |
| 2024 | Articolo in Atti di convegno |
Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea Towards a Sound Construction of EVM Bytecode Control-Flow Graphs , FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Association for Computing Machinery, pp. 11-16, Convegno: Formal Techniques for Java-like Programs (FTfJP 2024) DOI - Scheda ARCA: 10278/5072662 |
| 2023 | Articolo su libro |
Negrini, Luca; Ferrara, Pietro; Arceri, Vincenzo; Cortesi, Agostino LiSA: A Generic Framework for Multilanguage Static Analysis , Challenges of Software Verification, Springer Nature, vol. 238, pp. 19-42 (ISBN 978-981-19-9600-9; 978-981-19-9601-6) (ISSN 1868-4394) DOI - Scheda ARCA: 10278/5031340 |
| 2023 | Articolo in Atti di convegno |
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto Information Flow Analysis for Detecting Non-Determinism in Blockchain , Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 263, Convegno: European Conference on Object-Oriented Programming (ECOOP) DOI - Scheda ARCA: 10278/5020965 |
| 2023 | Articolo in Atti di convegno |
Olivieri, Luca; Jensen, Thomas; Negrini, Luca; Spoto, Fausto MichelsonLiSA: A Static Analyzer for Tezos , 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops), Institute of Electrical and Electronical Engineers, pp. 80-85, Convegno: BRAIN 2023: 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (ISBN 978-1-6654-5381-3) DOI - Scheda ARCA: 10278/5026160 |
| 2023 | Articolo in Atti di convegno |
Negrini, Luca; Shabadi, Guruprerana; Urban, Caterina Static Analysis of Data Transformations in Jupyter Notebooks , SOAP 2023: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 8-13, Convegno: The 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9798400701702) DOI - Scheda ARCA: 10278/5026140 |
| 2022 | Articolo in Atti di convegno |
Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico Ensuring determinism in blockchain software with GoLiSA: an industrial experience report , SOAP 2022: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 23-29, Convegno: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450392747) DOI - Scheda ARCA: 10278/5004420 |
| 2021 | Articolo in Atti di convegno |
Ferrara, Pietro; Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino Static analysis for dummies: experiencing LiSA , SOAP 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 1-6, Convegno: 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450384681) DOI - Scheda ARCA: 10278/3741476 |
| 2021 | Articolo in Atti di convegno |
Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino Twinning Automata and Regular Expressions for String Static Analysis , Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Springer, vol. 12597, pp. 267-290, Convegno: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (ISBN 978-3-030-67066-5; 978-3-030-67067-2) DOI - Scheda ARCA: 10278/3736434 |
| 2020 | Articolo in Atti di convegno |
Ferrara P.; Negrini L. SARL: OO Framework Specification for Static Analysis , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, vol. 12549, pp. 3-20, Convegno: 12th International Conference on Verified Software, VSTTE 2020, and 13th International Workshop on Numerical Software Verification, NSV 2020, 2020 (ISBN 978-3-030-63617-3; 978-3-030-63618-0) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/3738620 |