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

INESC TEC participa em projeto europeu para promover e facilitar o uso de supercomputação no ecossistema europeu

O projeto EuroCC2 arrancou em fevereiro e é o novo projeto europeu do INESC TEC que pretende, por um lado, identificar e colmatar as lacunas em termos de competências em computação de alto desempenho (HPC) no ecossistema europeu e, por outro, promover a cooperação em toda a Europa para assegurar uma base de competências consistente.

27 fevereiro 2023

Institucional

INESC TEC e UMinho analisam impacto da variante Ómicron na eficácia da vacinação

Investigadores do INESC TEC e da Universidade do Minho analisaram o impacto da variante Ómicron na eficácia da proteção conferida pela vacinação contra a infeção pelo vírus SARS-CoV-2. O estudo publicado na conceituada revista Scientific Reports, do grupo Nature, é resultado do trabalho de uma equipa internacional, no âmbito do projeto Coronasurveys.

01 fevereiro 2023

Institucional

Investigação INESC TEC melhora técnicas de programação quântica

Investigação recente na área da programação quântica, desenvolvida por Ana Neri e José Nuno Oliveira, investigadores do INESC TEC, em colaboração com Rui Barbosa, Staff Researcher no Laboratório Ibérico Internacional de Nanotecnologia (INL), propõe o conceito de quantamorfismo, um combinador recursivo de circuitos quânticos que enriquece as técnicas de programação quântica.

12 janeiro 2023

Institucional

INESC TEC contribui para a criação do Espaço Europeu de Dados Energéticos

Ao longo dos próximos três anos, o projeto ENERSHARE - European commoN EneRgy dataSpace framework enabling data sHaring-driven Across- and beyond- eneRgy sErvices-, do qual o INESC TEC é parceiro, pretende desenvolver uma arquitetura de referência que facilite a partilha de dados no setor energético.

20 dezembro 2022

Institucional

Projeto INESC TEC finalista dos Portugal Digital Awards 2022

O projeto SIS^1 (Smart Insurance System), que marca a colaboração entre o INESC TEC e a empresa NAU21, foi um dos finalistas da edição deste ano dos Portugal Digital Awards, na categoria Best Insurance Project. O SIS^1 propõe uma nova gestão colaborativa e transparente dos tradicionais processos de negócio da atividade seguradora.  

19 dezembro 2022

Institucional

Instituto português integra projeto para aumentar a flexibilidade do sistema elétrico europeu

Durante os próximos quatro anos, o projeto BeFlexible - Boosting Engagement to Increase Flexibility irá aumentar a flexibilidade do sistema energético, melhorar a cooperação entre os Operadores de Redes de Distribuição (ORD) e os Operadores de Redes de Transporte (ORT) e facilitar a comunicação entre todas as partes interessadas no setor energético. O Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC) é o único parceiro português do projeto, que será financiado pela Comissão Europeia em 10 milhões de euros, através do programa Horizonte Europa.

06 dezembro 2022

Institucional

Investigador estuda versatilidade de filtros de Bloom particionados na construção de estruturas de dados

O estudo feito por Paulo Sérgio Almeida, investigador INESC TEC e docente na Universidade do Minho, foca-se nos filtros de Bloom, uma estrutura de dados probabilística muito popular na construção de bases de dados, sistemas distribuídos e redes de comunicação. O estudo, que demonstra a versatilidade dos filtros de Bloom particionados, foi aceite para publicação na IEEE Transactions on Computers, uma das revistas de referência na área de Informática e Computação.

29 novembro 2022

Institucional

Investigação INESC TEC em linguagem de especificação Alloy apresentada em conferência de topo de engenharia de software

No âmbito do trabalho na linguagem e ferramenta de especificação Alloy, uma equipa de investigadores do INESC TEC apresentou a extensão QAlloy na ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), conferência de topo na área de engenharia de software que decorreu de 14 a 18 de novembro, em Singapura.

22 novembro 2022

Institucional

Projeto RISC2 distinguido por jornal internacional especializado em computação avançada

O projeto RISC2, que tem como objetivo promover e melhorar a relação entre as comunidades de investigação e inovação da Europa e da América Latina, venceu o HPCwire Editor’s Choice Awards na categoria de Melhor Colaboração HPC.

21 novembro 2022

Institucional

INESC TEC acolhe alunos do Verão no Campus em Braga

Cerca de 20 alunos do ensino secundário visitaram o Laboratório de Software Confiável (HASLab) do INESC TEC, no âmbito da atividade “Computação sem Fronteiras”, uma das várias que fizeram parte do programa Verão no Campus, iniciativa promovida pela Universidade do Minho, que decorreu de 18 a 22 de julho, no Departamento de Informática (DI) da Universidade do Minho, em Braga.

28 julho 2022

Institucional

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

Institucional

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

  • 3
  • 16