Luca Negrini

According to our database, Luca Negrini authored at least 16 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Tarsis: An effective automata-based abstract domain for string analysis.

Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara

J. Softw. Evol. Process., August, 2024

Detection of Phantom Reads in Hyperledger Fabric.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi

IEEE Access, 2024

General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study.

Luca Olivieri, Vincenzo Arceri, Badaruddin Chachar, Luca Negrini, Fabio Tagliaferro, Fausto Spoto, Pietro Ferrara, Agostino Cortesi

IEEE Access, 2024

Teaching Through Practice: Advanced Static Analysis with LiSA.

Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara

Proceedings of the Formal Methods Teaching - 6th Formal Methods Teaching Workshop, 2024

Development of Multi-Mode Retinal Phototherapy Device.

Sébastien Buchwalder, Pascal Faure, Luca Negrini, Anton Hromov, Martial Geiser, Filippo Piffaretti

Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2024

Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA.

Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

Towards a Sound Construction of EVM Bytecode Control-Flow Graphs.

Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

European Union Data Act and Blockchain Technology: Challenges and New Directions.

Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact).

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Dagstuhl Artifacts Ser., 2023

Static Analysis of Data Transformations in Jupyter Notebooks.

Luca Negrini, Guruprerana Shabadi, Caterina Urban

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023

MichelsonLiSA: A Static Analyzer for Tezos.

Luca Olivieri, Thomas P. Jensen, Luca Negrini, Fausto Spoto

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.

Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2021

Twinning Automata and Regular Expressions for String Static Analysis.

Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Static analysis for dummies: experiencing LiSA.

Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi

Proceedings of the SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2021

2020

SARL: OO Framework Specification for Static Analysis.

Pietro Ferrara, Luca Negrini

Proceedings of the Software Verification - 12th International Conference, 2020