VLDB 2026 Research / reviewers in the wild / expert

Martina Olliaro

dblp:231/5303 · DBLP profile ↗
← Back
8ranked-venue papers
1as first author
5since 2021 · last 2023
0000-0003-3712-5301ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 3 · 1 first-author · 3 since 2021Software engineering, systems software and programming languages · 3 · 1 since 2021Theory of computation · 2 · 1 since 2021
YearPublicationVenuePosition
2023 Relational data watermarking resilience to brute force attacks in untrusted environments
Maikel L. Pérez Gort, Martina Olliaro, Agostino Cortesi
 Expert Syst. Appl.2
2022 Relational String Abstract Domains
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara 0001
 VMCAI2
2022 Empirical analysis of the impact of queries on watermarked relational databases
Martina Olliaro, Maikel L. Pérez Gort, Agostino Cortesi
 Expert Syst. Appl.1
2021 Semantic-driven watermarking of relational textual databases
Maikel L. Pérez Gort, Martina Olliaro, Agostino Cortesi, Claudia Feregrino-Uribe
 Expert Syst. Appl.2
2021 Completeness of string analysis for dynamic languages
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
 Inf. Comput.2
2019 Completeness of Abstract Domains for String Analysis of JavaScript Programs
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
 ICTAC2
2019 String Abstraction for Model Checking of C Programs
Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai
 SPIN3
2018 M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs
abstract
We present a refined segmentation abstract domain for the analysis of strings in the C programming language, properly extending the parametric segmentation approach to array representation introduced by P. Cousot et al. to the case of text values. In particular, we capture the so-called string of interest of an array of char, in order to distinguish well-formed string arrays. A concrete and abstract semantics of the main C header file string.h functions are worked out in full detail.
Agostino Cortesi, Martina Olliaro
 TASE2