Giulia Costantini

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 4

Top Topics

Regular Expressions

Static Analysis

Digital Storytelling

Top Venues

Festschrift for Dave Schmidt

Comput. Lang. Syst. Struct.

Entertain. Comput.

Publications

Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giulia Costantini, Giuseppe Maggiore
High performance encapsulation and networking in Casanova 2. Entertain. Comput. 20 (2017)
Giulia Costantini, Pietro Ferrara, Agostino Cortesi
A suite of abstract domains for static analysis of string values. Softw. Pract. Exp. 45 (2) (2015)
Agostino Cortesi, Giulia Costantini, Pietro Ferrara
The abstract domain of Trapezoid Step Functions. Comput. Lang. Syst. Struct. 43 (2015)
Mohamed Abbadi, Francesco Di Giacomo, Agostino Cortesi, Pieter Spronck, Giulia Costantini, Giuseppe Maggiore
Casanova: A Simple, High-Performance Language for Game Development. JCSG (2015)
Agostino Cortesi, Giulia Costantini, Pietro Ferrara
A Survey on Product Operators in Abstract Interpretation. Festschrift for Dave Schmidt (2013)
Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. ICFEM (2013)
Giulia Costantini, Pietro Ferrara, Agostino Cortesi
Linear Approximation of Continuous Systems with Trapezoid Step Functions. APLAS (2012)
Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Giulia Costantini, Michele Bugliesi, Mohamed Abbadi
Designing Casanova: A Language for Games. ACG (2011)
Giulia Costantini, Pietro Ferrara, Agostino Cortesi
Static Analysis of String Values. ICFEM (2011)
Giulia Costantini, Giuseppe Maggiore, Agostino Cortesi
Learning by Fixing and Extending Games. Eurographics (Education Papers) (2009)