Skip nav

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.