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

Informática

Investigador do INESC TEC conclui provas de agregação na UMinho

José Creissac Campos, investigador sénior do Laboratório de Software Confiável (HASLab) do INESC TEC e docente da Escola de Engenharia da Universidade do Minho, concluiu nos dias 3 e 4 de junho as provas de agregação na Universidade do Minho, tendo sido aprovado por unanimidade pelos elementos do júri.

22 junho 2020

Informática

INESC TEC alcança primeira patente de software nos EUA

O INESC TEC tem, pela primeira vez, uma patente de software concedida nos Estados Unidos da América (EUA), com a tecnologia utilizada na carteira móvel de criptomoedas da spin-off Keyruptive.

15 junho 2020

Informática

Investigador do INESC TEC participa em estudo internacional para determinar a incidência da pandemia

Uma equipa internacional de investigadores, onde se inclui o investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, Carlos Baquero, está a estimar o número de casos reais com sintomas de COVID-19 e a sua evolução em onze países, tendo por base uma sondagem aberta online partilhada nas redes sociais.

15 abril 2020

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

Tópicos de Interesse
041

Projetos Selecionados

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

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

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