ARCERI, Vincenzo

ARCERI, Vincenzo  

Dipartimento di Scienze Matematiche, Fisiche e Informatiche  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.018 secondi).
Titolo Data di pubblicazione Autore(i) File
A sound abstract interpreter for dynamic code 1-gen-2020 Arceri, V.; Mastroeni, I.
Abstract Domains for Type Juggling 1-gen-2017 Arceri, V.; Maffeis, S.
An abstract domain for objects in dynamic programming languages 1-gen-2020 Arceri, V.; Pasqua, M.; Mastroeni, I.
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval 1-gen-2021 Arceri, V.; Mastroeni, I.
BIOCHAIN-AI: a platform for securely sharing and analysing microbiological data 1-gen-2022 Bonnici, Vincenzo; Arceri, Vincenzo; Bertini, Flavio; Iotti, Eleonora; DAL PALU', Alessandro
Completeness of Abstract Domains for String Analysis of JavaScript Programs 1-gen-2019 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Completeness of string analysis for dynamic languages 1-gen-2021 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Decoupling the Ascending and Descending Phases in Abstract Interpretation 1-gen-2022 Arceri, Vincenzo; Mastroeni, Isabella; Zaffanella, Enea
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 1-gen-2022 Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico
Improving dynamic code analysis by code abstraction 1-gen-2021 Mastroeni, I.; Arceri, V.
Relational String Abstract Domains 1-gen-2022 Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Ferrara, Pietro
SEA: String Executability Analysis by Abstract Interpretation 1-gen-2017 Arceri, Vincenzo; Dalla Preda, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Static analysis for dummies: Experiencing LiSA 1-gen-2021 Ferrara, P.; Negrini, L.; Arceri, V.; Cortesi, A.
Static analysis for ECMAscript string manipulation programs 1-gen-2020 Arceri, V.; Mastroeni, I.; Xu, S.
Static program analysis for string manipulation languages 1-gen-2019 Arceri, V.; Mastroeni, I.
Twinning Automata and Regular Expressions for String Static Analysis 1-gen-2021 Negrini, L.; Arceri, V.; Ferrara, P.; Cortesi, A.