- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
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
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
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
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
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
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
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
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
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
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
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
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