REAP.PT – Computer Aided Language Learning (CALL) Reading Practice (REAP.PT) Start Date: April 1st, 2009 End Date: October 30th, 2012 PIs: Nuno Mamede (IST/UTL and
Affidavit – Automating the Proof of Quality Attributes for Large Scale Software Architectures Start date: 2010 Expected completion date: 2013 PIs: Mário Zenha-Rela (FCTUC) and
Start date: 2010 Expected completion date: 2013 PIs : João Paulo Marques Silva (INESC ID / IST/UTL) and Edmund M. Clarke (CMU) Teams: INESC ID,
Vital Responder – Monitoring Stress among First Responder Professionals Start Date: July 1st, 2009 End Date: December 31st, 2012 PIs: João Paulo Cunha (IEETA/UA), Prya
MAIS-S: Multiagent Intelligent Surveillance System Start date: 2010 Expected completion date: 2013 PIs: Francisco António Chaves Saraiva de Melo (INESC ID / IST/UTL) and Manuela
Web Security and Privacy (WESP): Weaving Together Technology Innovation with Human and Policy Considerations Start Date: May 9, 2009 End Date: August 8th, 2013 PIs:
ADAAS: Assuring Dependability in Architecture-based Adaptive Systems Start date: 2010 Expected completion date: 2013 PIs: Rogério Sérgio Neves de Lemos (FCTUC) and David Garlan (CMU)
DRIVE-IN – Distributed Routing and Infotainment through Vehicular Inter-Networking Start date: 2009 End Date: 2012 PIs: Michel Ferreira (FCUP), Ozan Tonguz (CMU) Dual Degree Ph.D.
