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.
|January, 2013||BEST CASE - RL4||Cooperation and perception for augmented autonomy|
|January, 2013||BEST CASE - RL5||Smartgrids|
|January, 2013||BEST CASE - RL8||Languages and tools for critical real time systems|
|September, 2012||Minha||A middleware testing and evaluation platform|
|June, 2012||PROVA||Platform for software verification and validation|
|May, 2012||AVIACC||Analysis and verification of critical concurrent programs|
|April, 2012||AUTOSEER||Automated test oracles for software error detection|
|April, 2012||PBGT||Pattern based gui testing|
|April, 2012||QAIS||Quantitative analysis of interacting systems: foundations and algorithms|
|March, 2012||FATBIT||Foundations, applications and tools for bidirectional transformation|
|June, 2011||ETASP||Eurotux Application Server Platform|
|June, 2011||WEB2ECONOMY||Criação de plataforma editorial web 2.0|
|May, 2011||Uma abordagem genérica e evolutiva para o aproveitamento de bases de armazenamento de tuplos|
|April, 2011||PTINFSEC||Confiabilidade na segurança da informação|
|March, 2011||STRATUS||Uma abordagem em camadas para a gestão de dados em cloud computing|
|February, 2011||APEX||Agile prototyping for user experience|
|January, 2011||Bidirectional transformations applied to programming environments for scientific computing|
|January, 2011||PPAEL||Peer-production approaches to e-learning|
|October, 2010||CUMULONIMBO||A highly scalable transactional multi-tier platform as a service|