Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 8 di 8
Titolo Data di pubblicazione Autori Tipo File Abstract
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs 1-gen-2018 Agostino CortesiOLLIARO, MARTINA 4.1 Articolo in Atti di convegno -
Preventing Additive Attacks to Relational Database Watermarking 1-gen-2019 Olliaro M.Cortesi A. + 4.1 Articolo in Atti di convegno -
String Abstraction for Model Checking of C Programs 1-gen-2019 Cortesi A.Olliaro M. + 4.1 Articolo in Atti di convegno -
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 -
Abstracting strings for model checking of C programs 1-gen-2020 Olliaro M.Cortesi A. + 2.1 Articolo su rivista -
Semantic-driven watermarking of relational textual databases 1-gen-2021 Olliaro M.Cortesi A. + 2.1 Articolo su rivista -
Completeness of string analysis for dynamic languages 1-gen-2021 Arceri V.Olliaro M.Cortesi A. + 2.1 Articolo su rivista -
Relational String Abstract Domains 1-gen-2022 Arceri V.Olliaro M.Cortesi A.Ferrara P. 4.1 Articolo in Atti di convegno -
Mostrati risultati da 1 a 8 di 8
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