Learning by Fixing and Extending Games. - Giulia Costantini; Giuseppe Maggiore; Agostino Cortesi (Eurographics (Education Papers), 2009)

Designing Casanova: A Language for Games. - Giuseppe Maggiore; Alvise Spanò; Renzo Orsini; Giulia Costantini; Michele Bugliesi; Mohamed Abbadi (ACG, 2011)

Static Analysis of String Values. - Giulia Costantini; Pietro Ferrara 001; Agostino Cortesi (ICFEM, 2011)

Linear Approximation of Continuous Systems with Trapezoid Step Functions. - Giulia Costantini; Pietro Ferrara 001; Agostino Cortesi (APLAS, 2012)

The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. - Giulia Costantini; Pietro Ferrara 001; Giuseppe Maggiore; Agostino Cortesi (ICFEM, 2013)

A Survey on Product Operators in Abstract Interpretation. - Agostino Cortesi; Giulia Costantini; Pietro Ferrara 001 (Festschrift for Dave Schmidt, 2013)

Lexical and numerical domains for abstract interpretation. - Giulia Costantini (2014)

Casanova: A Simple, High-Performance Language for Game Development. - Mohamed Abbadi; Francesco Di Giacomo; Agostino Cortesi; Pieter Spronck; Giulia Costantini; Giuseppe Maggiore (JCSG, 2015)

The abstract domain of Trapezoid Step Functions. - Agostino Cortesi; Giulia Costantini; Pietro Ferrara 001 (Comput. Lang. Syst. Struct., 2015)

A suite of abstract domains for static analysis of string values. - Giulia Costantini; Pietro Ferrara 001; Agostino Cortesi (Softw. Pract. Exp., 2015)

High performance encapsulation and networking in Casanova 2. - Francesco Di Giacomo; Mohamed Abbadi; Agostino Cortesi; Pieter Spronck; Giulia Costantini; Giuseppe Maggiore (Entertain. Comput., 2017)