Current R&D projects

FCT PTDC/EEI-AUT/2641/2012 Petri-Rig - A Petri net based framework for embedded systems engineeRInG (Ambiente de desenvolvimento de sistemas embutidos baseado em redes de Petri) (2013-15)

Previous R&D projects

FCT FORDESIGN - Formal Methods for Embedded Systems Co-Design (2005-08)

FCT AMADEUS - Aspects and Compiler Optimizations for MATLAB System Development (2007-2010)

Previous Collaborative projects

to be completed

Leonardo da Vinci COMPLETE - New Strategies of COMPetence Acquisition for Lifelong Learning in Energy-Transport-Environment Engineering (2005-07)

Leonardo da Vinci VET-TREND - Valorisation of an Experiment-based Training System through a Transnational Educational Network Development (2006-2008)

Minerva IDENTITY - INDIVIDUALIZED LEARNING ENHANCED BY VIRTUAL REALITY (2006-2008)