Giulia Costantini

According to our database, Giulia Costantini authored at least 11 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

High performance encapsulation and networking in Casanova 2.

Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giulia Costantini, Giuseppe Maggiore

Entertain. Comput., 2017

2015

A suite of abstract domains for static analysis of string values.

Giulia Costantini, Pietro Ferrara, Agostino Cortesi

Softw. Pract. Exp., 2015

The abstract domain of Trapezoid Step Functions.

Agostino Cortesi, Giulia Costantini, Pietro Ferrara

Comput. Lang. Syst. Struct., 2015

Casanova: A Simple, High-Performance Language for Game Development.

Mohamed Abbadi, Francesco Di Giacomo, Agostino Cortesi, Pieter Spronck, Giulia Costantini, Giuseppe Maggiore

Proceedings of the Serious Games - First Joint International Conference, 2015

2014

Lexical and numerical domains for abstract interpretation.

Giulia Costantini

PhD thesis, 2014

2013

A Survey on Product Operators in Abstract Interpretation.

Agostino Cortesi, Giulia Costantini, Pietro Ferrara

Proceedings of the Semantics, 2013

The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software.

Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Linear Approximation of Continuous Systems with Trapezoid Step Functions.

Giulia Costantini, Pietro Ferrara, Agostino Cortesi

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Static Analysis of String Values.

Giulia Costantini, Pietro Ferrara, Agostino Cortesi

Proceedings of the Formal Methods and Software Engineering, 2011

Designing Casanova: A Language for Games.

Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Giulia Costantini, Michele Bugliesi, Mohamed Abbadi

Proceedings of the Advances in Computer Games - 13th International Conference, 2011

2009

Learning by Fixing and Extending Games.

Giulia Costantini, Giuseppe Maggiore, Agostino Cortesi

Proceedings of the 30th Annual Conference of the European Association for Computer Graphics, 2009