- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
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
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
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
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
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
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
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
O artigo “ASPAS: As Secure as Possible Available Systems”, escrito em coautoria por Houssam Yactine, Ali Shoker, e George Younes, investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, recebeu o prémio Best Paper Award na 16ª edição da International Federated Conference on Distributed Computing Techniques (DisCoTec2021).
15 julho 2021
O projeto PassCert, Investigação do Impacto de Verificação Formal na Adoção de Software para Segurança de Passwords, arrancou em fevereiro e vai permitir criar um gestor de passwords que, através do uso de verificação formal, garante propriedades de segurança sobre o armazenamento de dados e geração de passwords.
31 maio 2021