Luca Negrini
Università Ca' Foscari di Venezia
H-index: 4
Europe-Italy
Top articles of Luca Negrini
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Design and Implementation of Static Analyses for Tezos Smart Contracts | Distributed Ledger Technologies: Research and Practice | Luca Olivieri Luca Negrini Vincenzo Arceri Thomas Jensen Fausto Spoto | 2024 |
Tarsis: An effective automata‐based abstract domain for string analysis | Journal of Software: Evolution and Process | Luca Negrini Vincenzo Arceri Agostino Cortesi Pietro Ferrara | 2024 |
LiSA: A generic framework for multilanguage static analysis | Luca Negrini Pietro Ferrara Vincenzo Arceri Agostino Cortesi | 2023/7/22 | |
Static analysis of data transformations in Jupyter notebooks | Luca Negrini Guruprerana Shabadi Caterina Urban | 2023/6/6 | |
MichelsonLiSA: a static analyzer for tezos | Luca Olivieri Thomas Jensen Luca Negrini Fausto Spoto | 2023/3/13 | |
A generic framework for multilanguage analysis | Luca Negrini | 2023/1/27 | |
Information flow analysis for detecting non-determinism in blockchain | Luca Olivieri Luca Negrini Vincenzo Arceri Tagliaferro Fabio Pietro Ferrara | 2023 | |
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report | Luca Olivieri Fabio Tagliaferro Vincenzo Arceri Marco Ruaro Luca Negrini | 2022/6/14 | |
Static analysis for dummies: experiencing LiSA | Pietro Ferrara Luca Negrini Vincenzo Arceri Agostino Cortesi | 2021/6/22 | |
Twinning automata and regular expressions for string static analysis | Luca Negrini Vincenzo Arceri Pietro Ferrara Agostino Cortesi | 2021 | |
SARL: OO Framework Specification for Static Analysis | Pietro Ferrara Luca Negrini | 2020 |
Co-Authors
