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
Fechar
  • 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 desenvolve aplicação para gestão de grandes bases de dados em tempo real

A gestão e atualização de bases de dados está, hoje, no centro das preocupações das grandes empresas. Atualmente, para realizar estas tarefas críticas, a aquisição de hardware dedicado é a solução encontrada pela maioria das organizações, mas que significa ainda despesas de gestão e manutenção de hardware e, frequentemente, a necessidade de alocar recursos humanos. Agora, uma plataforma na cloud promete dar resposta às exigências do mercado, com uma tecnologia mais fiável, atualizável em tempo real e com custos à medida das necessidades.

11 janeiro 2020

Informática

HASLab acolhe alunos do programa Melhor Estudante na UMinho 2019

O Laboratório de Software Confiável (HASLab) do INESC TEC acolheu, no dia 19 de dezembro, seis alunos oriundos de Braga, Guimarães, Santo Tirso e Terras de Bouro, que escolheram o HASLab para conhecer e experimentar a atividade de um investigador na área da Informática. Este acolhimento decorreu no âmbito da edição de 2019 do programa Melhor Estudante na UMinho.

07 janeiro 2020

Informática

Jubilação de José Manuel Valença com casa cheia

José Manuel Valença, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e professor catedrático da Escola de Engenharia da Universidade do Minho, deu a sua última lição no dia 18 de outubro, na Universidade do Minho, em Braga.

13 novembro 2019

Informática

INESC TEC participa em conferência internacional na área de sistemas distribuídos confiáveis

Uma equipa de investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC participou na 38th International Symposium on Reliable Distributed Systems (SRDS 2019), que decorreu em Lyon, França, de 1 a 4 de outubro, onde apresentou quatro artigos científicos, organizou um workshop, entre outras missões.

13 novembro 2019

Informática

INESC TEC organiza congresso mundial com 600 profissionais na área da Informática

O FM’19 – 3rd World Congress on Formal Methods, evento que reúne os especialistas de todo o mundo na área da Informática, realizou-se no Porto, entre os dias 7 e 11 de outubro.

31 outubro 2019

Tópicos de Interesse
038

Projetos Selecionados

BigHPC

BigHPC - A Management Framework for Consolidated Big Data and HPC

2020-2022

AIDA

Adaptive, Intelligent and Distributed Assurance Platform

2019-2022

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

INCMchaves

ID Chaves Criptograficas

2019-2020

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-2020

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

2018

Trade-offs between privacy and efficiency on databases

Autor
Rogério António da Costa Pontes

Instituição
UP-FCUP

2018

Avaliação Realista de Sistemas de Armazenamento

Autor
Alexandre Silva

Instituição
UM

2018

Distributed Black-Box Data Tracing

Autor
Catarina Cardoso

Instituição
UM

2018

Security Analysis of a Closed-Source Signal Protocol Implementation

Autor
João Diogo Gaspar Alves

Instituição
UP-FCUP

2018

Computação colaborativa segura num cenário de gestão de risco financeiro

Autor
Tiago André Ferreira Fernandes

Instituição
UP-FCUP

Factos & Números

39Artigos em conferências indexadas

2018

15Artigos em revistas indexadas

2018

0Capítulos de livros

2018