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, 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 |
June, 2010 | SMART | Secure memories and applications related technologies |
May, 2010 | CLOUD COMPUTING | Armazenamento de dados escalável em cloud computing |
May, 2010 | SSAAPP | Spreadsheets as a programming paradigm |
April, 2010 | CASTOR | Causality tracking for optimistic replication in dynamic distributed systems |
April, 2010 | RED | Resilient database clusters |
March, 2010 | CROSS | An infrastructure for certification and re-engineering of open source software |
March, 2010 | MONDRIAN | Foundations for architectural design |
February, 2010 | FAVAS | A formal verification platform for real-time systems |
February, 2010 | GWS | Global weighing solution |
January, 2010 | DATAPEERS | Test data generator |
January, 2010 | Strictification of circular programs | |
January, 2009 | MATHIS | Reinvigorating mathematics for the information society |
October, 2008 | STORK | Secure identity across borders linked |
September, 2008 | DC2MS | Dependable cloud computing management services |
July, 2008 | INPACT | Integrated engineering tools for protection, automation and control systems |
June, 2008 | EVOLVE | Evolutionary verification, validation and certification |
January, 2008 | CACE | Computer aided cryptographic engineering |