This website was discontinued on 20/12/2022. Visit the new website at www.fct.pt.

Skip nav

R&D Projects

Call for Research and Development Projects, in the Framework of the Carnegie Mellon University - Portugal Program - 2009

Painel de Avaliação CMU - 2009

Coordination

John O'Reilly

Evaluation

Joel Moses
John O'Reilly
Luigia Carlucci Aiello
Tariq Durrani

Projects assigned

CMU-PT/RNQ/0004/2009

PETS - Privacy Enhancing Techniques for Speech
Alberto Abad
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

CMU-PT/RNQ/0006/2009

Green Light project
Michel Ferreira
Instituto de Telecomunicações (IT)

CMU-PT/ELE/0008/2009

Poporo: A Trustworthy Pocket-Sized Platform for Social Networking
Nestor Catano Collazos
Universidade da Madeira (UMA)

CMU-PT/ELE/0009/2009

ATTEST: AlgoriThms and Tools for reasoning about dEpendable SysTems
João Paulo Marques da Silva
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

CMU-PT/ELE/0012/2009

STIMULI: Self-Stimulation for Improved Failure Prediction
Marco Vieira
Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCT/UC)

CMU-PT/OUT/0014/2009

The Role of ‘User Innovators' in the Development of Telecom Products and Services
Pedro Manuel Sousa Mendes Oliveira
Universidade Católica Portuguesa (UCP)

CMU-PT/RNQ/0015/2009

TRONE - Trustworthy and Resilient Operations in a Network Environment
António Casimiro Ferreira da Costa
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)

CMU-PT/OUT/0018/2009

VTA: The Virtual Teaching Assistant
Hugo Daniel dos Santos Meinedo
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

CMU-PT/ELE/0022/2009

Systems Architecting for a Global Service Ecosystem
PAULO JOSÉ OSÓRIO RUPINO DA CUNHA
Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCT/UC)

CMU-PT/SIA/0023/2009

MAIS-S: Multiagent Intelligent Surveillance System
Francisco António Chaves Saraiva de Melo
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

CMU-PT/RNQ/0025/2009

APCrypto: Assured Practical Cryptography
Paulo Mateus
Instituto de Telecomunicações (IT)

CMU-PT/SIA/0026/2009

Novel information processing methodologies for intelligent sensor networks
João Manuel de Freitas Xavier
Instituto Superior Técnico (IST/ULisboa)

CMU-PT/SIA/0028/2009

Densely Instrumented Physical Infrastructures - SmartSkin
Eduardo Manuel de Médicis Tovar
Instituto Superior de Engenharia do Porto (ISEP/IPP)

CMU-PT/RNQ/0031/2009

WISEGRID - Wireless SEnsor networks for smarter power Grids
José Alberto Peixoto Machado da Silva
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)

CMU-PT/SIA/0032/2009

TrustSensing - Secure, Dependable and Scalable Sensing Spaces with Wireless Sensor Networks
HENRIQUE JOÃO LOPES DOMINGOS
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

CMU-PT/OUT/0042/2009

Innovation and the Global Economy: An investigation of critical challenges for Intellectual Property, Strategy and Policy in IT and beyond
Fernando Manuel Ribeiro Branco
Universidade Católica Portuguesa (UCP)

CMU-PT/SIA/0043/2009

Toward Dynamic Monitoring and Decision (DYMONDS)-Based Smart Distribution Systems
Luis Antonio Marcelino Ferreira
Instituto Superior Técnico (IST/ULisboa)

CMU-PT/SIA/0005/2009

SELF-PVP: Self-organizing power management for photo-voltaic power plants
Vitor Manuel Grade Tavares
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)

CMU-PT/RNQ/0029/2009

NeTS: Next Generation Network Operations and Management
Ricardo Morla
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)

CMU-PT/ELE/0030/2009

Assuring Dependability in Architecture-based Adaptive Systems
Rogério Sérgio Neves de Lemos
Universidade de Coimbra (UC)

CMU-PT/ELE/0035/2009

Affidavit - Automating the Proof of Quality Attributes for Large Scale Software Architectures
Mário Zenha-Rela
Universidade de Coimbra (UC)

CMU-PT/SIA/0045/2009

Cyber-Physical Systems Technologies for Energy-Optimized Data Centers
Eduardo Manuel de Médicis Tovar
Instituto Superior de Engenharia do Porto (ISEP/IPP)