IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 29 di 29
Titolo Data di pubblicazione Autore(i) File
Preface 1-gen-2023 Arceri, V.; Cortesi, A.; Ferrara, P.; Olliaro, M.
LiSA: A Generic Framework for Multilanguage Static Analysis 1-gen-2023 Negrini, Luca; Ferrara, Pietro; Arceri, Vincenzo; Cortesi, Agostino
“Fixing” the Specification of Widenings 1-gen-2023 Zaffanella, Enea; Arceri, Vincenzo
Lifting String Analysis Domains 1-gen-2023 Olliaro, Martina; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro
Speeding up Static Analysis with the Split Operator 1-gen-2023 Arceri, V.; Dolcetti, G.; Zaffanella, E.
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
Design and Implementation of Static Analyses for Tezos Smart Contracts 1-gen-2024 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto
Tarsis: An effective automata‐based abstract domain for string analysis 1-gen-2024 Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro
A Machine Learning Approach for Source Code Similarity via Graph-focused Features In corso di stampa Boldini, Giacomo; Diana, Alessio; Arceri, Vincenzo; Bonnici and Roberto Bagnara, Vincenzo
Mostrati risultati da 21 a 29 di 29
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