NEGRINI, Luca

NEGRINI, Luca  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 29 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A generic framework for multilanguage analysis 27-gen-2023 Negrini, Luca - -
An Overview of Termination in the Ethereum Blockchain 1-gen-2026 Olivieri, LucaNegrini, LucaFerrara, Pietro + 4.1 Articolo in Atti di convegno -
Automating ROS2 Security Policies Extraction through Static Analysis 1-gen-2024 Giacomo ZanattaGianluca CaiazzaPietro FerraraLuca NegriniRuffin White 4.1 Articolo in Atti di convegno -
Challenges of software verification 1-gen-2024 Arceri, VincenzoNegrini, LucaOlivieri, LucaFerrara, Pietro 2.1 Articolo su rivista -
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 1-gen-2025 Luca OlivieriLuca NegriniAntonio Emanuele CinaPietro Ferrara + 4.1 Articolo in Atti di convegno -
Design and Implementation of Static Analyses for Tezos Smart Contracts 1-gen-2024 Olivieri, LucaNegrini, LucaArceri, VincenzoSpoto, Fausto + 2.1 Articolo su rivista -
Detection of Phantom Reads in Hyperledger Fabric 1-gen-2024 Olivieri, LucaNegrini, LucaArceri, VincenzoChachar, BadaruddinFerrara, PietroCortesi, Agostino 2.1 Articolo su rivista -
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 1-gen-2025 Luca OlivieriLuca NegriniVincenzo ArceriPietro FerraraAgostino Cortesi 4.1 Articolo in Atti di convegno -
Don’t Panic: Error Handling Patterns in Go Smart Contracts and Blockchain Software 1-gen-2025 Olivieri, LucaNegrini, Luca 4.1 Articolo in Atti di convegno -
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 1-gen-2022 Olivieri, LucaArceri, VincenzoNegrini, LucaCortesi, AgostinoFerrara, PietroSpoto, Fausto + 4.1 Articolo in Atti di convegno -
European Union Data Act and Blockchain Technology: Challenges and New Directions 1-gen-2024 Olivieri L.Negrini L.Ferrara P. + 4.1 Articolo in Atti di convegno -
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 1-gen-2025 Arceri, VincenzoNegrini, LucaOlivieri, Luca + 2.1 Articolo su rivista -
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 1-gen-2024 Olivieri, LucaChachar, BadaruddinNegrini, LucaFerrara, PietroCortesi, Agostino + 2.1 Articolo su rivista -
Inference of access policies through static analysis 1-gen-2024 Zanatta, GiacomoCaiazza, GianlucaFerrara, PietroNegrini, Luca 2.1 Articolo su rivista -
Information Flow Analysis for Detecting Non-Determinism in Blockchain 1-gen-2023 Luca OlivieriLuca NegriniVincenzo ArceriPietro FerraraAgostino CortesiFausto Spoto + 4.1 Articolo in Atti di convegno -
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 1-gen-2026 Vincenzo ArceriLuca NegriniGiacomo ZanattaFilippo BianchiTeodors LisovenkoLuca OlivieriPietro Ferrara 4.1 Articolo in Atti di convegno -
LiSA: A Generic Framework for Multilanguage Static Analysis 1-gen-2023 Negrini, LucaFerrara, PietroArceri, VincenzoCortesi, Agostino 3.1 Articolo su libro -
MichelsonLiSA: A Static Analyzer for Tezos 1-gen-2023 Olivieri, LucaNegrini, LucaSpoto, Fausto + 4.1 Articolo in Atti di convegno -
SARL: OO Framework Specification for Static Analysis 1-gen-2020 Ferrara P.Negrini L. 4.1 Articolo in Atti di convegno -
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 1-gen-2024 Zanatta, GiacomoFerrara, PietroLisovenko, TeodorsNegrini, LucaCaiazza, GianlucaWhite, Ruffin 4.1 Articolo in Atti di convegno -