IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 46
Titolo Data di pubblicazione Autore(i) File
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact) 1-gen-2023 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
Preface 1-gen-2023 Arceri, V.; Cortesi, A.; Ferrara, P.; Olliaro, M.
Challenges of Software Verification 1-gen-2023 Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro; Olliaro, Martina
Information Flow Analysis for Detecting Non-Determinism in Blockchain 1-gen-2023 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
BIOCHAIN: Towards a platform for securely sharing microbiological data 1-gen-2023 Bonnici, V.; Arceri, V.; Diana, A.; Bertini, F.; Iotti, E.; Levante, A.; Bernini, V.; Neviani, E.; Dal Palu, A.
Lifting String Analysis Domains 1-gen-2023 Olliaro, Martina; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro
“Fixing” the Specification of Widenings 1-gen-2023 Zaffanella, Enea; Arceri, Vincenzo
Unconstrained Variable Oracles for Faster Numeric Static Analyses 1-gen-2023 Arceri, V.; Dolcetti, G.; Zaffanella, E.
LiSA: A Generic Framework for Multilanguage Static Analysis 1-gen-2023 Negrini, Luca; Ferrara, Pietro; Arceri, Vincenzo; Cortesi, Agostino
Speeding up Static Analysis with the Split Operator 1-gen-2023 Arceri, V.; Dolcetti, G.; Zaffanella, E.
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
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
Decoupling the Ascending and Descending Phases in Abstract Interpretation 1-gen-2022 Arceri, Vincenzo; Mastroeni, Isabella; Zaffanella, Enea
Relational String Abstract Domains 1-gen-2022 Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Ferrara, Pietro
Improving dynamic code analysis by code abstraction 1-gen-2021 Mastroeni, I.; Arceri, V.
Twinning Automata and Regular Expressions for String Static Analysis 1-gen-2021 Negrini, L.; Arceri, V.; Ferrara, P.; Cortesi, A.
Completeness of string analysis for dynamic languages 1-gen-2021 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval 1-gen-2021 Arceri, V.; Mastroeni, I.
Static analysis for dummies: Experiencing LiSA 1-gen-2021 Ferrara, P.; Negrini, L.; Arceri, V.; Cortesi, A.
A sound abstract interpreter for dynamic code 1-gen-2020 Arceri, V.; Mastroeni, I.
Mostrati risultati da 21 a 40 di 46
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