Luca NEGRINI

Qualifica
Contrattista di ricerca
E-mail
luca.negrini@unive.it
956516@stud.unive.it
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
Research Institute
Research Institute for Complexity

Olivieri, Luca; Arceri, Vincenzo; Negrini, Luca; Caiazza, Gianluca Challenges of Software Verification (CSV’25) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. - (ISSN 1433-2779)
DOI 2026, Articolo su rivista - Scheda ARCA: 10278/5117888


Heo, Kihong; Negrini, Luca State of the art in program analysis in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. - (ISSN 1433-2779)
DOI 2026, Articolo su rivista - Scheda ARCA: 10278/5125548


Negrini, Luca Whole-value analysis by abstract interpretation in FRONTIERS IN COMPUTER SCIENCE, vol. 7 (ISSN 2624-9898)
DOI 2026, Articolo su rivista - Scheda ARCA: 10278/5110268


giacomo boldini, luca negrini, luca olivieri, pietro ferrara A Modular Framework for Stack-Heap and Value Abstractions , Proceedings of the 33rd Static Analysis Symposium (SAS 2026), Springer Nature, Convegno: 33rd Static Analysis Symposium (SAS 2026)
2026, Articolo in Atti di convegno - Scheda ARCA: 10278/5126327


Olivieri, Luca; Pasetto, Luca; Negrini, Luca; Ferrara, Pietro An Overview of Termination in the Ethereum Blockchain , Blockchain Technology and Emerging Applications, Springer Nature Switzerland, pp. 226-248, Convegno: 4th EAI International Conference on Blockchain Technology and Emerging Applications (ISBN 9783032123343; 9783032123350) (ISSN 1867-8211)
DOI 2026, Articolo in Atti di convegno - Scheda ARCA: 10278/5109729