Sfoglia per Autore
Tarsis: An effective automata-based abstract domain for string analysis
2024 Negrini, L.; Arceri, V.; Cortesi, A.; Ferrara, P.
A generic framework for multilanguage analysis
2023 Negrini, Luca
MichelsonLiSA: A Static Analyzer for Tezos
2023 Olivieri, Luca; Jensen, Thomas; Negrini, Luca; Spoto, Fausto
LiSA: A Generic Framework for Multilanguage Static Analysis
2023 Negrini, Luca; Ferrara, Pietro; Arceri, Vincenzo; Cortesi, Agostino
Information Flow Analysis for Detecting Non-Determinism in Blockchain
2023 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
Static Analysis of Data Transformations in Jupyter Notebooks
2023 Negrini, Luca; Shabadi, Guruprerana; Urban, Caterina
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report
2022 Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico
Twinning Automata and Regular Expressions for String Static Analysis
2021 Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino
Static analysis for dummies: experiencing LiSA
2021 Ferrara, Pietro; Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino
SARL: OO Framework Specification for Static Analysis
2020 Ferrara, P.; Negrini, L.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile