News

HASLab ganha prémio internacional através do seu núcleo Green Software Lab

April 23, 2014

O esforço desenvolvido no Green Software Lab do HASLab foi premiado internacionalmente!

No contexto dos nossos esforços de investigação com vista à redução do consumo de energia por análise e transformação de software, vencemos um prémio de mérito no valor de $2000.

HASLab Open-Day

October 28, 2013

O HASLab é Parceiro Privilegiado do INESCTEC e dedica-se a produzir sistemas de software confiáveis em contextos em que a correção, capacidade de resposta, robustez e segurança são incontornáveis e tipicamente alvo de certificação.

Desenvolve investigação integrada em três linhas e aborda os problemas tomando partido da sinergia entre elas: a engenharia de software, os sistemas distribuídos, e a criptografia e segurança de informação.

LNCS tutorial notes

October 28, 2013

Our lectures notes on the DSL'13 Summer School will be published by an LNCS book of the school.

Invited for the SBLP'12 special issue (SCP)

April 8, 2013

Our SBLP'12 was invited for the special issue to be published by the SCP journal.