NEGRINI, LUCA

NEGRINI, LUCA  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
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 -
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 -
Twinning Automata and Regular Expressions for String Static Analysis 1-gen-2021 Negrini, LucaArceri, VincenzoFerrara, PietroCortesi, Agostino 4.1 Articolo in Atti di convegno -