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 recebe alunos do Verão no Campus 2019 em Braga

A “Computação sem Fronteiras”, atividade inserida no programa Verão no Campus 2019 e organizada em colaboração com o Laboratório de Software Confiável (HASLab) do INESC TEC, contou com a participação de 28 alunos do ensino secundário e decorreu de 22 a 26 de julho, no Departamento de Informática da Universidade do Minho, em Braga.

16 agosto 2019

Institucional

Investigadores INESC TEC eleitos para Conselhos de Escola e Científico da EEUM

Luís Soares Barbosa, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, e Rui Carlos Oliveira, administrador do INESC TEC e também investigador do HASLab, foram eleitos para o Conselho de Escola e para o Conselho Científico da Escola de Engenharia da Universidade do Minho (EEUM), respetivamente.

30 julho 2019

Institucional

INESC TEC participa na IoT Week 2019

O INESC TEC, no âmbito do recentemente aprovado projeto europeu InterConnect, participou na 9ª edição da IoT Week, que decorreu de 17 a 21 de junho, em Aarhus, Dinamarca. O INESC TEC é o parceiro líder deste projeto, que arranca oficialmente em outubro de 2019.

26 julho 2019

Institucional

Emitir e utilizar carta de condução possível através de smartphone

A emissão e utilização da carta de condução em smartphones e outros dispositivos móveis, com garantias de integridade e autenticidade da informação, privacidade do utilizador e interoperabilidade entre diferentes países vai dar origem à norma internacional ISO 18013-5, que foi discutida na reunião do grupo de trabalho da International Organization for Standardisation (ISO), que decorreu de 1 a 4 de julho, no edifício sede do INESC TEC, no Porto.

26 julho 2019

Institucional

Investigadores INESC TEC recebem Special Mention Award

O artigo intitulado “GreenHub Farmer: Real-world data for Android Energy Mining” foi distinguido com a Special Mention Award na Data Showcase Track.

10 julho 2019

Institucional

INESC TEC desenvolve 1º catálogo de Padrões de Energia para aplicações móveis

A longevidade das baterias dos dispositivos móveis é um problema para a maioria dos utilizadores. A interação dos utilizadores com estes dispositivos é, muitas vezes, prejudicada pela preocupação constante em que a bateria se acabe. Esse problema pode, no entanto, deixar de existir. 

09 julho 2019

Institucional

INESC TEC participa no Bootcamp do CoLAB VORTEX

O Bootcamp do CoLAB VORTEX, o novo laboratório colaborativo de aceleração e transferência de tecnologia de sistemas ciber-físicos e cibersegurança, decorreu em maio, nas instalações do CISTER, no Porto, e contou com a presença de vários investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC.

21 junho 2019

Institucional

Investigadores INESC TEC distinguidos com Bolsa de Mérito da UMinho

Francisco Ribeiro e Michael Oliveira, investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, receberam a Bolsa de Mérito da UMinho pelo ano académico anterior. 

21 junho 2019

Institucional

Novo membro na coordenação do HASLab

Na reunião de Conselho de Administração do INESC TEC, que aconteceu no dia 7 de maio, foi comunicada a nomeação de António Luís Sousa para a co-coordenação do Laboratório de Software Confiável (HASLab), funções que exercerá em conjunto com Alcino Cunha, que se mantém como co-coordenador do Centro.

17 junho 2019

Institucional

Terminou projeto que potencia criação de apps empresariais com dados não-relacionais

RADicalize BigData, um projeto de prestação de serviços com a OutSystems, levado a cabo pelo Laboratório de Software Confiável (HASLab) do INESC TEC, permitiu desenvolver uma forma de integrar dados de fontes Big Data em aplicações empresariais usando uma abordagem low-code, compatível com a plataforma OutSystems.

14 junho 2019

Institucional

A mais recente spin-off do INESC TEC chama-se Keyruptive

A mais recente spin-off do INESC TEC chama-se Keyruptive e atua na área da segurança informática. Nasceu em Braga, fruto do trabalho de vários anos de um grupo de investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, e já tem uma solução tecnológica para apresentar ao mercado, cujo nome é igual ao da empresa agora criada.

13 junho 2019

Institucional

INESC TEC lidera projeto europeu de 36M€ para digitalização do sistema elétrico

O maior projeto colaborativo europeu aprovado pela Comissão Europeia, ao abrigo do programa de financiamento Horizonte 2020, chama-se InterConnect e vai ser liderado pelo INESC TEC.

04 junho 2019

  • 7
  • 15