R&D Projects

Confirmed projects database queries

The information may be unavailable due to the results not being approved or confirmed. In particular, when a call includes regions where projects are cofunded by EC funds and others where that is not the case, confirmation or approval may be not simultaneous.

Call for Proposals for Scientific Research and Technological Development Projects in all Scientific Domains - 2010

Computer Science and Engineering - Computer Science

Painel de Avaliação da área de Engenharia Informática - 2010

Yves Demazeau
José Fortes
Monique Calisti
Dusko Pavlovic
Thomas Erlebach
Effie Law
Juan Antonio Rodriguez
Juan de Lara
Avi Kak

PTDC/EIA-CCO/116796/2010: AutoSeer: Automated Test Oracles for Software Error Detection. Rui Abreu, Faculdade de Engenharia da Universidade do Porto (FE/UP). €118,200.
PTDC/EIA-CCO/117513/2010: Liveness, statically. António Ravara, NOVA.ID.FCT - Associação para a Inovação e Desenvolvimento da FCT (NOVA.ID.FCT). €132,211.
PTDC/EIA-CCO/117590/2010: Analysis and Verification of Critical Concurrent Programs. Jorge Miguel de Matos Sousa Pinto, Universidade do Minho (UM). €93,988.
PTDC/EIA-CCO/118080/2010: Real-time scheduling on general purpose graphics processor units. KONSTANTINOS BLETSAS, Instituto Superior de Engenharia do Porto (ISEP/IPP). €138,650.
PTDC/EIA-CCO/118114/2010: VTL: Virtual Traffic Lights. Michel Ferreira, Instituto de Telecomunicações (IT). €198,731.
PTDC/EIA-CCO/118533/2010: NetDyn: Understanding real large networks, from structure to dynamics. Alexandre Paulo Lourenço Francisco, Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa). €74,743.
PTDC/EIA-CCO/119722/2010: HEIDI (HEIGH Dimensional Indexing) or how to index on billion of vectors. Andreas Miroslaus Wichert, Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa). €69,216.
PTDC/EIA-CCO/120838/2010: FATBIT: Foundations, Applications and Tools for Bidirectional Transformation. Manuel Alcino Pereira da Cunha, Universidade do Minho (UM). €73,200.
PTDC/EIA-CCO/121450/2010: Computer Aided Beam Angle Optimization in Intensity Modulated Radiotherapy. Joana Maria Pina Cabral Matos Dias, Instituto de Engenharia de Sistemas e Computadores de Coimbra (INESC Coimbra). €71,275.
PTDC/EIA-CCO/121823/2010: ERRO - Efficient Reasoning with Rules and Ontologies. João Alexandre Carvalho Pinheiro Leite, NOVA.ID.FCT - Associação para a Inovação e Desenvolvimento da FCT (NOVA.ID.FCT). €140,373.
PTDC/EIA-CCO/121904/2010: Slack Management in Hierarchical Real-Time Systems (SMARTS). Stefan M. Petters, Instituto Superior de Engenharia do Porto (ISEP/IPP). €158,028.
PTDC/EIA-CCO/122240/2010: Qais: Quantitative analysis of interacting systems: foundations and algorithms. Alexandra Martins da Silva, Universidade do Minho (UM). €105,384.
PTDC/EIA-CCO/122542/2010: SUSPECT - SecUre SPEeCh Technologies. Isabel Maria Martins Trancoso, Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa). €58,770.
PTDC/EIA-CCO/122547/2010: Advanced Type Systems for Multicore Programming. Vasco Manuel Thudichum de Serpa Vasconcelos, Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa). €101,023.
PTDC/EIA-CCO/123051/2010: POLARIS: POLynomial hierARchy algorIthms and applicationS. João Paulo Marques da Silva, Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa). €123,824.