Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Factos & Números
000
Apresentação

Laboratório de Software Confiável

No HASLab, a nossa investigação tem por base uma abordagem rigorosa a três áreas da Informática: Engenharia de Software, Sistemas Distribuídos, e Criptografia e Segurança da Informação.

As contribuições do HASLab para estas áreas vão desde a investigação fundamental em métodos e algoritmos formais, até à investigação aplicada no desenvolvimento de ferramentas e middleware que respondam às necessidades reais verificadas no decorrer de colaborações de longo prazo com a indústria.

Últimas Notícias
Informática

INESC TEC apoia desenvolvimento de nova versão de plataforma de gestão de risco

Melhorar a plataforma RAID, sistema comercializado pela analista de telecomunicações Mobileum para a gestão integral de risco em empresas, tornando-a compatível com a rede 5G e com computação periférica. É este o objetivo do projeto AIDA.

18 setembro 2020

Informática

Projeto CoronaSurveys já tem aplicação móvel disponível

O projeto CoronaSurveys, que conta com a participação de Carlos Baquero, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e professor da UMinho, tem disponível uma aplicação móvel para Android e iOS e está já a decorrer em 150 países diferentes.

28 julho 2020

Informática

LightKone chega ao fim e obtém nota positiva na avaliação final

O projeto europeu LightKone, em que esteve envolvido o Laboratório de Software Confiável (HASLab) do INESC TEC, obteve avaliação positiva na avaliação final da Comissão Europeia. De acordo com os revisores “o projeto forneceu resultados valiosos para a comunidade científica”.

20 julho 2020

Informática

Investigador do INESC TEC recebe título de Professor Emérito da Universidade do Minho

José Manuel Valença, investigador sénior do Laboratório de Software Confiável (HASLab) do INESC TEC e Professor Catedrático Jubilado da Escola de Engenharia da UMinho, recebeu, no dia 23 de junho, o título de Professor Emérito da mesma Instituição.

20 julho 2020

Informática

INESC TEC participa em projeto para melhorar o desempenho dos supercomputadores

A computação de alta performance (High Performance Computing - HPC, em inglês) oferece um melhor desempenho do que os computadores comuns, permitindo resolver problemas complexos de engenharia e ciência e contribuindo para o avanço tecnológico em diversas áreas. 

01 julho 2020

Tópicos de Interesse
043

Projetos Selecionados

PAStor

Programmable and Adaptable Storage for AI-oriented HPC Ecosystems

2020-2021

IoT4Distribuicao

Análise de Requisitos e Especificação Funcional de uma Arquitetura Distribuída baseada em soluções IoT para a Gestão e Controlo da Rede de Distribuição

2020-2021

ECZK

Zero Knowledge Proofs in EasyCrypt

2020-2021

AIDA

Adaptive, Intelligent and Distributed Assurance Platform

2020-2022

Collaboration

Collaborative Visual Development

2020-2020

BigHPC

BigHPC - A Management Framework for Consolidated Big Data and HPC

2020-2023

SLSNA

Prestação de Serviços no ambito do projeto SKORR

2020-2021

InterConnect

Interoperable Solutions Connecting Smart Homes, Buildings and Grids

2019-2023

MobileID

Desenvolvimento de soluções de identidade móvel

2019-2021

T4CDTKC

Training 4 Cotec, Digital Transformation Knowledge Challenge - Elaboração de Programa de Formação “CONHECER E COMPREENDER O DESAFIO DAS TECNOLOGIAS DE TRANSFORMAÇÃO DIGITAL”

2019-2020

AppOwl

Deteção de Mutações Maliciosas no Browser

2019-2021

OLM2

OutSystems Learnability Model - 2nd phase

2019-2020

CLOUD4CANDY

Cloud for CANDY

2019-2019

HADES

Sistemas descentralizados confiáveis e escaláveis suportados por hardware

2018-2021

MaLPIS

Aprendizagem Automática para Deteção de Ataques e Identificação de Perfis Segurança na Internet

2018-2021

SKORR

Advancing the Frontier of Social Media Management Tools

2018-2021

OLM

OutSystems Learnability Model

2018-2019

DaVinci

Architecturas distribuídas: variabilidade e interação de sistemas ciber-físicos

2018-2021

SAFER

Verificação de segurança para software robótico

2018-2021

KLEE

Modelação coalgébrica e análise para biologia sintética computacional

2018-2021

KMSEC

Verificação formal de protocolo criptográfico comercial em colaboração com IMDEA

2018-2019

RCS

Reinsurance collaborate system

2018-2020

CRDB

Consulting on CRDTs for Redis Lab

2018-2020

EMRPrototype

development of training videos illustrating the use of Medicaltech's SDIM system

2018-2019

InteGrid

Demonstration of INTElligent grid technologies for renewables INTEgration and INTEractive consumer participation enabling INTEroperable market solutions and INTErconnected stakeholders

2017-2020

Lightkone

Lightweight Computation for Networks at the Edge

2017-2019

CloudDBAppliance

European Cloud In-Memory Database Appliance with Predictable Performance for Critical Applications

2016-2019

GSL

GreenSoftwareLab: Computação Verde como uma Disciplina de Engenharia

2016-2019

Cloud-Setup

PLATAFORMA DE PREPARAÇÃO DE CONTEÚDOS AUDIOVISUAIS PARA INGEST NA CLOUD

2016-2019

DSGrid

Digital Systems Technology for Next Generation Grid Automation

2016-2018

CORAL-TOOLS

CORAL - Sustainable Ocean Exploitation: Tools and Sensors

2016-2018

SafeCloud

Secure and Resilient Cloud Architecture

2015-2018

NanoStima-RL1

NanoSTIMA - Macro-to-Nano Human Sensing Technologies

2015-2019

NanoStima-RL3

NanoSTIMA - Health data infrastructure

2015-2019

SMILES

TEC4Growth - RL SMILES - Smart, Mobile, Intelligent and Large scale Sensing and analytics

2015-2019

UPGRID

Real proven solutions to enable active demand and distributed generation flexible integration, through a fully controllable LOW Voltage and medium voltage distribution grid

2015-2017

PaaS2

Gestão integrada de serviços PaaS-Gpaas-II

2014-2015

LeanBigData

Análise Integrada e Visual de Big Data Ultra-escalável e Ultra-eficiente

2014-2017

Practice

Ferramentas de Preservação de Privacidade na Cloud

2013-2016

CoherentPaaS

PaaS Rica e Coerente com um Modelo de Programação Comum

2013-2016

PaaS

Gestão integrada de serviços PaaS

2013-2015

Cloud

Gestão Integrada de Serviços Cloud com os Sistemas de Suporte às Operações

2012-2013

WEB2Economy

Plataforma Editorial Web 2.0 - WEB2Economy

2011-2012

Equipa
001

Laboratórios

Laboratório CLOUDinha

Teses Orientadas

2019

O uso de tecnologias (DLT) como ferramenta para a proteção de direitos de autor

Autor
Luís Felipe Miranda Ramos

Instituição
UM

2019

Load Balancing Framework for Security in SDN context

Autor
Bruno Machado

Instituição
UM

2019

Optimizing Operation-based Conflict-Free Replicated Data Types

Autor
Georges Younes

Instituição
UP-FCUP

2019

Integrated verification of cryptographic security proofs and implementations

Autor
Vitor Manuel Parreira Pereira

Instituição
UP-FCUP

2019

Towards a Dependable and Decentralized Software-Defined Storage Architecture

Autor
Ricardo Gonçalves Macedo

Instituição
UP-FCUP

Factos & Números

2Capítulos de livros

2019

12Artigos em revistas indexadas

2019

31Artigos em conferências indexadas

2019