Software systems:

• The ITP/OCL tool, with M. Clavel.

• The MOVA tool, with M. Clavel and V. Torres.

• The EOS Component, with M. A. García de Dios and M. Clavel.

• SSG: Smart & Secure GUI Builder , with M. A. García de Dios, C. Dania, M. Schläpfer, D. Basin and M. Clavel.

• The MySQL4OCL Code Generator , with C. Dania.