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

Informática

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

Informática

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

Informática

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

Informática

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

Tópicos de Interesse
030

Projetos Selecionados

CLOUD4CANDY

Preparação e disponibilização de uma infraestrutura CLOUD para avaliação de tecnologias direccionadas para blockchain

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

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

Publicações

HASLAB Publicações

Ler todas as publicações

2019

Anomaly Detection and Modeling in 802.11 Wireless Networks

Autores
Allahdadi, A; Morla, R;

Publicação
CoRR

Abstract

2019

Predicting throughput in IEEE 802.11 based wireless networks using directional antenna

Autores
Kandasamy, S; Morla, R; Ramos, P; Ricardo, M;

Publicação
Wireless Networks

Abstract
In IEEE 802.11 based wireless networks interference increases as more access points are added. A metric helping to quantize this interference seems to be of high interest. In this paper we study the relationship between the (Formula presented.) metric, which captures interference, and throughput for IEEE 802.11 based network using directional antenna. The (Formula presented.) model was found to best represent the relationship between the interference metric and the network throughput. We use this model to predict the performance of similar networks and decide the best configuration a network operator could use for planning his network. © 2017 Springer Science+Business Media, LLC

2019

Scalable eventually consistent counters over unreliable networks

Autores
Almeida, PS; Baquero, C;

Publicação
Distributed Computing

Abstract

2019

Conflict-Free Replicated Data Types CRDTs

Autores
Preguiça, NM; Baquero, C; Shapiro, M;

Publicação
Encyclopedia of Big Data Technologies.

Abstract

2019

Memoized zipper-based attribute grammars and their higher order extension

Autores
Fernandes, JP; Martins, P; Pardo, A; Saraiva, J; Viera, M;

Publicação
Science of Computer Programming

Abstract
Attribute grammars are a powerfull, well-known formalism to implement and reason about programs which, by design, are conveniently modular. In this work we focus on a state of the art zipper-based embedding of classic attribute grammars and higher-order attribute grammars. We improve their execution performance through controlling attribute (re)evaluation by means of memoization techniques. We present the results of our optimizations by comparing their impact in various implementations of different, well-studied, attribute grammars and their Higher-Order extensions. © 2018 Elsevier B.V.

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

132Programas Nacionais I&D

2016

340Programas UE

2016

2Capítulos de livros

2016