OLLIARO, MARTINA

Nome completo

OLLIARO, MARTINA

Afferenza

Dipartimento di Scienze Ambientali, Informatica e Statistica

Mostra records

Risultati 1 - 8 di 8 (tempo di esecuzione: 0.0 secondi).

2020-01-01 Lauko, H.; Olliaro, M.; Cortesi, A.; Rocckai, P.

2019-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.

2021-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.

2018-01-01 Cortesi, Agostino; Olliaro, Martina

2019-01-01 Gort, M. L. P.; Olliaro, M.; Feregrino-Uribe, C.; Cortesi, A.

2022-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Ferrara, P.

2021-01-01 Perez Gort, M. L.; Olliaro, M.; Cortesi, A.; Feregrino Uribe, C.

2019-01-01 Cortesi, A.; Lauko, H.; Olliaro, M.; Rockai, P.

Titolo	Data di pubblicazione	Autori	Tipo	Abstract
Abstracting strings for model checking of C programs	1-gen-2020	Lauko H.Olliaro M.Cortesi A.Rocckai P. + -	2.1 Articolo su rivista	-
Completeness of Abstract Domains for String Analysis of JavaScript Programs	1-gen-2019	Arceri V.Olliaro M.Cortesi A.Mastroeni I. + -	4.1 Articolo in Atti di convegno	-
Completeness of string analysis for dynamic languages	1-gen-2021	Arceri V.Olliaro M.Cortesi A.Mastroeni I. + -	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	Gort M. L. P.Olliaro M.Feregrino-Uribe C.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	Perez Gort M. L.Olliaro M.Cortesi A.Feregrino Uribe C. + -	2.1 Articolo su rivista	-
String Abstraction for Model Checking of C Programs	1-gen-2019	Cortesi A.Lauko H.Olliaro M.Rockai P. + -	4.1 Articolo in Atti di convegno	-