Concepedia
Statistics
Publications
2
Citations
84
H-Index
Active since
2013
Affiliations
ETH Zurich(Current)
Ca' Foscari University of Venice
Giulia Costantini is an author at ETH Zurich specializing in formal methods, computer science, and abstract interpretation.
Publications per year
2013–2013
A suite of abstract domains for static analysis of string values
Giulia Costantini, Pietro Ferrara, Agostino Cortesi · Software Practice and Experience · 2013 · 48 citations
Computing, Computer Science, Formal Methods +11
A Survey on Product Operators in Abstract Interpretation
Agostino Cortesi, Giulia Costantini, Pietro Ferrara · Repository for Publications and Research Data (ETH Zurich) · 2013 · 36 citations · Full text
Natural Sciences, Computer Science, Mathematics +15
1–2 of 2