NEGRINI, Luca

NEGRINI, Luca  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 15 di 15 (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 - -
Automating ROS2 Security Policies Extraction through Static Analysis 1-gen-2024 Giacomo ZanattaGianluca CaiazzaPietro FerraraLuca NegriniRuffin White 4.1 Articolo in Atti di convegno -
Detection of Phantom Reads in Hyperledger Fabric 1-gen-2024 Olivieri, LucaNegrini, LucaArceri, VincenzoChachar, BadaruddinFerrara, PietroCortesi, Agostino 2.1 Articolo su rivista -
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 -
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 -
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 -
Static analysis for dummies: experiencing LiSA 1-gen-2021 Ferrara, PietroNegrini, LucaArceri, VincenzoCortesi, Agostino 4.1 Articolo in Atti di convegno -
Static Analysis of Data Transformations in Jupyter Notebooks 1-gen-2023 Negrini, LucaUrban, Caterina + 4.1 Articolo in Atti di convegno -
Tarsis: An effective automata-based abstract domain for string analysis 1-gen-2024 Negrini L.Arceri V.Cortesi A.Ferrara P. 2.1 Articolo su rivista -
Teaching Through Practice: Advanced Static Analysis with LiSA 1-gen-2024 Negrini, LucaArceri, VincenzoOlivieri, LucaCortesi, AgostinoFerrara, Pietro 4.1 Articolo in Atti di convegno -
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 1-gen-2024 Arceri, VincenzoDolcetti, GretaNegrini, LucaOlivieri, Luca + 4.1 Articolo in Atti di convegno -
Twinning Automata and Regular Expressions for String Static Analysis 1-gen-2021 Negrini, LucaArceri, VincenzoFerrara, PietroCortesi, Agostino 4.1 Articolo in Atti di convegno -