Projects

TRANSITION (2014-2015)

From Ad-Hoc Code Development To Code Reuse Through Middleware For Networked Embedded Control Systems - is an IOF (Industrial Research Fund) project funded by KU Leuven, targeting the collaborations between the PMA and the Distrinet groups aiming at technology transfer.

HATS (2010-2013)

Highly Adaptable and Trustworthy Software using Formal Models - is an Integrated Project supported by the 7th Framework Programme of the EC within the FET (Future and Emerging Technologies) scheme. The final report evaluated as “Excelent” the project outcome.

HATS (2010-2013)

DesignerTypeLabs (2010-2013)

Hybrid Enforcement and Certification of Domain Specific Program Annotations - is a BOF/START project funded by KU Leuven university.

PURe (2003-2005)

Program Understanding and Re-engineering - Calculi and Applications - is an FCT project POSI/ICHS/44304/2002 aiming at developing calculi for program understanding and re-engineering.