Other works

In case you are interested on what I am working on right now, here is a list of papers that have not yet made it to the press. Of course, there is no guarantee that these papers will ever see the light, and both titles and venues are tentative.

Submitted

Reflections on Ambiguity, with Didar Zowghi.
Submitted to Requirements Engineering Journal.

In preparation

Theories of Relativity in Requirements Engineering, with A. Davis and D. Zowghi.
Submitted.
An executable formal specification of ECMAScript, with Egon Boerger, Antonio Cisternino and Cristian Dittamo. In preparation.
From Traces to Knowledge, with Didar Zowghi.
In preparation.
Talking to Autonomic Systems: The NL4AC approach, with V. Ambriola, S. Pogliani, G. Vetere.
In preparation.
Circle Formation, with P. Flocchini, L. Pagli, E. Enriques, G. Prencipe, N. Santoro.
In preparation.
On the Experimental Evaluation of Flocking Algorithms for Autonomous Robots, with G. Prencipe.
In preparation.
A diff algorithm for XMI documents, with V. Ambriola and L. Del Carlo.
Technical report in preparation.
Identifying differences between XMI models, with V. Ambriola and L. Del Carlo.
In preparation.