OLLIARO, MARTINA

OLLIARO, MARTINA  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Abstracting strings for model checking of C programs 1-gen-2020 Olliaro M.Cortesi A. + 2.1 Articolo su rivista -
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 -
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 -
Relational String Abstract Domains 1-gen-2022 Arceri V.Olliaro M.Cortesi A.Ferrara P. 4.1 Articolo in Atti di convegno -
Semantic-driven watermarking of relational textual databases 1-gen-2021 Olliaro M.Cortesi A. + 2.1 Articolo su rivista -
String Abstraction for Model Checking of C Programs 1-gen-2019 Cortesi A.Olliaro M. + 4.1 Articolo in Atti di convegno -