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.
TRONE – Trustworthy and Resilient Operations in a Network Environment Start date: 2010 Expected completion date: 2013 PIs: António Casimiro (FCUL); Priya Narasimhan (CMU) Teams:
