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 |