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

Informática

INESC TEC e UMinho recebem Haim Levkowitz, expert mundial da área da computação

O Presidente do Departamento de Informática da Universidade Massachusetts Lowell, Haim Levkowitz, visitou o INESC TEC e a Universidade do Minho, nos dias 20, 23 e 25 de maio, respetivamente, ao abrigo do Staff Mobility for Teaching do programa Erasmus+.

26 maio 2022

Informática

Equipa INESC TEC contribui para nova versão de linguagem de modelação Alloy

Os investigadores do Alcino Cunha e Nuno Macedo contribuíram para o desenvolvimento do Alloy 6, a versão mais recente de uma das plataformas de especificação e análise mais utilizadas para a análise formal de designs nas fases iniciais do desenvolvimento de software.

11 maio 2022

Informática

Investigadores do INESC TEC distinguidos em conferência internacional de engenharia de software

O artigo “Schema-guided Testing of Message-oriented Systems”, escrito em co-autoria por Alcino Cunha e Nuno Macedo, investigadores do INESC TEC, e André Santos, engenheiro do CoLAB VORTEX, foi o vencedor do prémio Best Paper Award na 17ª edição da conferência internacional ENASE – Conference on Evaluation of Novel Approaches to Software Engineering.

05 maio 2022

Informática

Investigação INESC TEC permite realizar estudos científicos nos supercomputadores de forma mais rápida

A investigação desenvolvida por investigadores do INESC TEC, João Paulo e Ricardo Macedo, tem como objetivo garantir que os cientistas que utilizam supercomputadores consigam realizar os estudos científicos, em áreas como medicina, ciências naturais, alterações climáticas e outras, de forma mais rápida. Os resultados do trabalho de investigação foram apresentados no final de fevereiro numa das mais importantes conferências a nível mundial na área dos sistemas de armazenamento, a USENIX FAST.

11 março 2022

Informática

Nova ferramenta reduz o custo dos robôs e aumenta a sua fiabilidade e segurança

Seja para limpar as nossas casas, fabricar produtos ou até mesmo desativar bombas, a robótica é cada vez mais utilizada, pois executa tarefas de forma mais rápida e eficiente. Foi com o objetivo de desenvolver aplicações robóticas com mais qualidade, segurança e, consequentemente, custos inferiores, que o Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC) desenvolveu, no âmbito do projeto SAFER – Safety verification for robotic software, a ferramenta HAROS.

09 fevereiro 2022

Informática

Projeto que pretende melhorar o desenvolvimento de software confiável tem assinatura INESC TEC

O Laboratório de Software Confiável (HASLab) do INESC TEC é o coordenador do projeto SpecRep (Constraint-based Specification Repair), que pretende promover a correta especificação formal de componentes de software, necessária para o desenvolvimento de software confiável.

24 janeiro 2022

Energia

Sustainable HPC: arrancou o novo projeto que pretende tornar a operação dos supercomputadores mais sustentável

O projeto Sustainable HPC, resultado de uma candidatura (aprovada) ao Fundo de Apoio à Inovação e ao Fundo de Eficiência Energética, envolvendo o INESC TEC e o INEGI, já arrancou.

25 novembro 2021

Informática

Investigador do INESC TEC distinguido no programa Novos Talentos em Tecnologias Quânticas

O investigador do INESC TEC Gilberto Cunha foi distinguido com uma bolsa do programa Novos Talentos em Tecnologias Quânticas, uma iniciativa promovida pela Fundação Calouste Gulbenkian.

22 novembro 2021

Informática

Investigação INESC TEC na área da segurança e criptografia apresentada em conferência de topo

A investigação desenvolvida por uma equipa de investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC na área da segurança informática tornou possível a apresentação de três artigos científicos na edição da ACM Conference on Computer and Communications Security (CCS), uma das conferências mais importantes nesta área a nível mundial, que decorreu em modo online de 15 a 18 de novembro.  

19 novembro 2021

Informática

Projeto europeu estimula cooperação entre continentes para melhorar o desempenho em computação de elevado desempenho

A computação de elevado desempenho (High Performance Computing – HPC, em inglês) é a base para avanços científicos, industriais e sociais que melhoram a qualidade de vida das pessoas em todo o mundo. O principal objetivo do projeto RISC2 – A network for supporting the coordination of Computing research between Europe and Latin America – passa por promover e melhorar a relação entre as comunidades de investigação e industriais da Europa e da América Latina, com foco nas aplicações HPC e implementação de infraestruturas.  

14 novembro 2021

Informática

INESC TEC vai desenvolver métodos matemáticos para avançar a programação ciber-física

O Laboratório de Software Confiável (HASLab) do INESC TEC coordena o projeto “Quantitative methods for cyber-physical programming: reasoning precisely about imprecisions in cyber-physical behavior”, cujo objetivo é desenvolver métodos matemáticos  para modelar e analisar imprecisões no software ciber-físico.

08 setembro 2021

Informática

INESC TEC desenvolve soluções para reduzir impacto energético de redes de comunicações

O Laboratório de Software Confiável (HASLab) do INESC TEC vai desenvolver soluções que permitirão que as redes de comunicações WAN (Wide Area Networks) se adaptem, em tempo real, à disponibilidade e fonte de energia elétrica, dando prioridade às fontes renováveis.

06 setembro 2021

  • 1
  • 13