Concepedia

Giulia Costantini

GC

2

Publications

84

Citations

2

H-Index

2013

Active since

Affiliations

ETH Zurich(Current)

Ca' Foscari University of Venice

Giulia Costantini is an author at ETH Zurich specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningCompilersVerificationStatic AnalysisProgram AnalysisSoftware SystemsSoftware Analysis

Publications per year

2013–2013

2

Publications

2

A suite of abstract domains for static analysis of string values

Giulia Costantini, Pietro Ferrara, Agostino Cortesi · Software Practice and Experience · 2013 · 48 citations

String Values, Engineering, Verification +21

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

Product Operators, Cardinal Power, Algebraic Logic +7

Rows per page

1–2 of 2