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

A formal specification for casanova, a language for computer games. - Giuseppe Maggiore; Alvise Spanò; Renzo Orsini; Michele Bugliesi; Mohamed Abbadi; Enrico Steffinlongo (EICS, 2012)

Writing Real-Time .Net Games in Casanova. - Giuseppe Maggiore; Pieter Spronck; Renzo Orsini; Michele Bugliesi; Enrico Steffinlongo; Mohamed Abbadi (ICEC, 2012)

A compilation technique to increase X3D performance and safety. - Giuseppe Maggiore; Fabio Pittarello; Michele Bugliesi; Mohamed Abbadi (SAC, 2012)

Resource Entity Action: A Generalized Design Pattern for RTS Games. - Mohamed Abbadi; Francesco Di Giacomo; Renzo Orsini; Aske Plaat; Pieter Spronck; Giuseppe Maggiore (Computers and Games, 2013)

Taxonomy of Game Development Approaches. - Mohamed Abbadi (Entertainment Computing and Serious Games, 2015)

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

Building Game Scripting DSL's with the Metacasanova Metacompiler. - Francesco Di Giacomo; Mohamed Abbadi; Agostino Cortesi; Pieter Spronck; Giuseppe Maggiore (INTETAIN, 2016)

Casanova 2: A domain specific language for general game development. - Mohamed Abbadi (2016)

Metacasanova: an optimized meta-compiler for domain-specific languages. - Francesco Di Giacomo; Mohamed Abbadi; Agostino Cortesi; Pieter Spronck; Giuseppe Maggiore (SLE, 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)