Research Projects

All R&D activities are either framed within national and European programmes with academic and industrial partners, or developed for direct contracting by companies.

The scientific contributions of HASLab are often published in the most prestigious publications of its areas of intervention and rewarded with great societal impact, in particular the two IBM Portugal prizes awarded to researchers of the unit.

Because research at HASLab is focused on the non-functional characteristics, rather than the functionality of computer applications, results almost always apply to the design and development phases of applications, or constitute the structure and core systems. Although rarely visible, in the literal sense, such results are important and have a great impact on critical systems.

Start Date Acronym Name
January, 2008 PASTRAMY Persistent and highly available software transactional memory
January, 2008 PROTUNF Searching for high level rules in protein folding and unfolding: from amyloid diseases to protein structure prediction
January, 2008 RESCUE Reliable and safe code execution for embedded systems
January, 2008 WITS Wireless information theoretic security
August, 2006 Pervasive Retail Desenvolvimento das tecnologias de RFID, assinatura digital, criptografia e segurança de informação
July, 2005 IVY Um ambiente de análise de usabilidade baseado em modelos
July, 2005 P-SON Probabilistically-structured overlay networks
June, 2005 SITE-O-MATIC Automação de sítios web
March, 2005 FEW File management for portable devices
February, 2005 LERNET Language engineering and rigorous software development
October, 2004 GORDA Open replication of databases