ARCERI, VINCENZO
ARCERI, VINCENZO
Dipartimento di Scienze Ambientali, Informatica e Statistica
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.0 secondi).
Completeness of Abstract Domains for String Analysis of JavaScript Programs
2019-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Completeness of string analysis for dynamic languages
2021-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report
2022-01-01 Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico
Relational String Abstract Domains
2022-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Ferrara, P.
Static analysis for dummies: experiencing LiSA
2021-01-01 Ferrara, Pietro; Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino
Twinning Automata and Regular Expressions for String Static Analysis
2021-01-01 Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
Completeness of Abstract Domains for String Analysis of JavaScript Programs | 1-gen-2019 | Arceri V.Olliaro M.Cortesi A. + | 4.1 Articolo in Atti di convegno | - | |
Completeness of string analysis for dynamic languages | 1-gen-2021 | Arceri V.Olliaro M.Cortesi A. + | 2.1 Articolo su rivista | - | |
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report | 1-gen-2022 | Arceri, VincenzoNegrini, LucaCortesi, AgostinoFerrara, PietroSpoto, Fausto + | 4.1 Articolo in Atti di convegno | - | |
Relational String Abstract Domains | 1-gen-2022 | Arceri V.Olliaro M.Cortesi A.Ferrara P. | 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 | - | |
Twinning Automata and Regular Expressions for String Static Analysis | 1-gen-2021 | Negrini, LucaArceri, VincenzoFerrara, PietroCortesi, Agostino | 4.1 Articolo in Atti di convegno | - |