Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Notícias

Notícias por Laboratório de Software Confiável

Institucional

HASLab participa no Verão no Campus 2018

Computação sem Fronteiras, atividade organizada para a 10ª edição do programa Verão no Campus da Universidade do Minho pelo Departamento de Informática, em colaboração com o HASLab, contou com a participação de 26 alunos.

17 setembro 2018

Institucional

Investigador do HASLab conclui provas de agregação

Carlos Baquero, investigador do Laboratório de Software Confiável (HASLab) e docente da Escola de Engenharia da Universidade do Minho, concluiu, nos dias 26 e 27 de julho, as provas de agregação na Universidade do Minho, tendo sido aprovado por unanimidade pelos membros do júri.

07 setembro 2018

Institucional

Projeto europeu CloudDBAppliance obtém uma avaliação positiva nos primeiros 18 meses de execução

O projeto europeu CloudDBAppliance alcançou uma avaliação positiva nos primeiros 18 meses de atividade, no âmbito da avaliação da Comissão Europeia, que decorreu a 6 de julho, em Bruxelas.

07 setembro 2018

Institucional

INESC TEC organiza conferência em blockchain

Decorreu nos dias 9 e 10 de julho a conferência “Chain-in: The International Industrial & Academic Conference on Blockchain Technology”, cuja organização esteve a cargo do INESC TEC. 

12 julho 2018

Institucional

Arquivo da documentação de pioneiros das linguagens da programação tem apoio INESC TEC

O tratamento arquivístico do espólio do grupo de trabalho WG2.1 – Algoritmi Languages and Calculi, da International Federation for Information Processing (IFIP), foi apresentado no dia 20 de junho, no Arquivo Distrital de Braga (ADB), e contou com o apoio do INESC TEC, da Universidade do Minho e da Primavera BSS.

27 junho 2018

Institucional

DaVinci é o novo projeto de investigação do INESC TEC

DaVinci, Distributed Architectures: Variability and Interaction for Cyber-Physical Systems, é o novo projeto de investigação do Laboratório de Software Confiável (HASLab) do INESC TEC, que foi aceite recentemente pela Fundação para a Ciência e a Tecnologia e que visa analisar e implementar sistemas de software distribuídos baseados em componentes ciber-físicos.

20 junho 2018

Institucional

Projeto do INESC TEC aplicado no cartão de cidadão

Um projeto do INESC TEC, desenvolvido em parceria com a Imprensa Nacional Casa da Moeda (INCM), foi uma das apresentações em destaque da exposição de ideias inovadoras, já implementados ou ainda em desenvolvimento pela INCM, que decorreu no dia 24 de maio.

18 junho 2018

Institucional

INESC TEC Participa na conferência Porto Tech Hub

José Nuno Oliveira, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, foi convidado para palestrar na conferência Porto Tech Hub, evento que decorreu no dia 18 de maio, na Alfândega do Porto.

08 junho 2018

Institucional

Investigador do INESC TEC arrecada "Best Paper Award" na Colômbia

O artigo “Using Automatic Refactoring to Improve Energy Efficiency of Android Apps”, da autoria de Luís Cruz, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, juntamente com Rui Maranhão, docente do Instituto Superior Técnico, foi premiado com Best Paper Award na XXI Conferência Ibero-Americana de Engenharia de Software (CIbSE 2018), que decorreu em Bogotá, Colômbia, de 23 a 27 de abril.

05 junho 2018

Institucional

INESC TEC acolhe programa Melhores Alunos na UMinho 2018

O Laboratório de Software Confiável (HASLab) do INESC TEC acolheu alunos das escolas secundárias dos distritos de Braga, Viana do Castelo e Bragança que escolheram o HASLab para vivenciar a atividade de um investigador na área da Informática. Este acolhimento decorreu no âmbito da 5ª edição do programa Melhores Alunos na UMinho.

08 maio 2018

Institucional

INESC TEC organiza uma das maiores conferências em sistemas de computação

A EuroSys - European Conference on Computer Systems, uma das maiores conferências em sistemas de computação do mundo, realizou-se no Porto, entre os dias 23 e 26 de abril. Foram cerca de 300 os participantes de todo o mundo que se juntaram nesta que é conhecida como uma das maiores conferências internacionais em sistemas de computação.

03 maio 2018

Institucional

Dois investigadores do INESC TEC nomeados no Cor Baayen Young Researcher Award do ERCIM

João Tiago Paulo e Hadi Tork, colaboradores do INESC TEC, no Laboratório de Software Confiável (HASLab) e no Laboratório de Inteligência Artificial e Apoio à Decisão (LIAAD), respetivamente, foram dois dos 15 finalistas no ERCIM 2017 Cor Baayen Young Researcher Award.

29 março 2018

  • 9
  • 16