This website was discontinued on 20/12/2022. Visit the new website at www.fct.pt.
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.
AutoSeer: Automated Test Oracles for Software Error Detection. Rui Abreu, Faculdade de Engenharia da Universidade do Porto (FE/UP). €118,200.
Liveness, statically. António Ravara, NOVA.ID.FCT - Associação para a Inovação e Desenvolvimento da FCT (NOVA.ID.FCT). €132,211.
Analysis and Verification of Critical Concurrent Programs. Jorge Miguel de Matos Sousa Pinto, Universidade do Minho (UM). €93,988.
Real-time scheduling on general purpose graphics processor units. KONSTANTINOS BLETSAS, Instituto Superior de Engenharia do Porto (ISEP/IPP). €138,650.
VTL: Virtual Traffic Lights. Michel Ferreira, Instituto de Telecomunicações (IT). €198,731.
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.
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.
FATBIT: Foundations, Applications and Tools for Bidirectional Transformation. Manuel Alcino Pereira da Cunha, Universidade do Minho (UM). €73,200.
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.
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.
Slack Management in Hierarchical Real-Time Systems (SMARTS). Stefan M. Petters, Instituto Superior de Engenharia do Porto (ISEP/IPP). €158,028.
Qais: Quantitative analysis of interacting systems: foundations and algorithms. Alexandra Martins da Silva, Universidade do Minho (UM). €105,384.
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.
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.
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.