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

Projeto do INESC TEC aplicado no cartão de cidadão

Um projeto do INESC TEC, desenvolvido em parceria com a Imprensa Nacional Casa da Moeda (INCM), foi uma das apresentações em destaque da exposição de ideias inovadoras, já implementados ou ainda em desenvolvimento pela INCM, que decorreu no dia 24 de maio.

18 junho 2018

Informática

INESC TEC Participa na conferência Porto Tech Hub

José Nuno Oliveira, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, foi convidado para palestrar na conferência Porto Tech Hub, evento que decorreu no dia 18 de maio, na Alfândega do Porto.

08 junho 2018

Informática

Investigador do INESC TEC arrecada "Best Paper Award" na Colômbia

O artigo “Using Automatic Refactoring to Improve Energy Efficiency of Android Apps”, da autoria de Luís Cruz, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, juntamente com Rui Maranhão, docente do Instituto Superior Técnico, foi premiado com Best Paper Award na XXI Conferência Ibero-Americana de Engenharia de Software (CIbSE 2018), que decorreu em Bogotá, Colômbia, de 23 a 27 de abril.

05 junho 2018

Informática

INESC TEC acolhe programa Melhores Alunos na UMinho 2018

O Laboratório de Software Confiável (HASLab) do INESC TEC acolheu alunos das escolas secundárias dos distritos de Braga, Viana do Castelo e Bragança que escolheram o HASLab para vivenciar a atividade de um investigador na área da Informática. Este acolhimento decorreu no âmbito da 5ª edição do programa Melhores Alunos na UMinho.

08 maio 2018

Informática

INESC TEC organiza uma das maiores conferências em sistemas de computação

A EuroSys - European Conference on Computer Systems, uma das maiores conferências em sistemas de computação do mundo, realizou-se no Porto, entre os dias 23 e 26 de abril. Foram cerca de 300 os participantes de todo o mundo que se juntaram nesta que é conhecida como uma das maiores conferências internacionais em sistemas de computação.

03 maio 2018

Tópicos de Interesse
018

Projetos Selecionados

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

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

2016-2018

CORAL-TOOLS-1

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

NanoStima-RL3

NanoSTIMA - Health data infrastructure

2015-2018

SMILES

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

2015-2018

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

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

2018

Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto, Portugal, April 23-26, 2018

Autores
Oliveira, R; Felber, P; Hu, YC;

Publicação
EuroSys

Abstract

2018

K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework

Autores
Alam, MI; Halder, R; Goswami, H; Pinto, JS;

Publicação
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018.

Abstract

2018

Delta State replicated data types

Autores
Almeida, PS; Shoker, A; Baquero, C;

Publicação
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

Abstract
Conflict-free Replicated Data Types (CRDTs) are distributed data types that make eventual consistency of a distributed object possible and non ad-hoc. Specifically, state-based CRDTs ensure convergence through disseminating the entire state, that may be large, and merging it to other replicas. We introduce Delta State Conflict-Free Replicated Data Types (delta-CRDT) that can achieve the best of both operation-based and state-based CRDTs: small messages with an incremental nature, as in operation-based CRDTs, disseminated over unreliable communication channels, as in traditional state-based CRDTs. This is achieved by defining delta-mutators to return a delta-state, typically with a much smaller size than the full state, that to be joined with both local and remote states. We introduce the delta-CRDT framework, and we explain it through establishing a correspondence to current state-based CRDTs. In addition, we present an anti-entropy algorithm for eventual convergence, and another one that ensures causal consistency. Finally, we introduce several delta-CRDT specifications of both well-known replicated datatypes and novel datatypes, including a generic map composition.

2018

Delta state replicated data types

Autores
Almeida, PS; Shoker, A; Baquero, C;

Publicação
J. Parallel Distrib. Comput.

Abstract

2018

Programming from metaphorisms

Autores
Oliveira, JN;

Publicação
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Abstract
This paper presents a study of the metaphorism pattern of relational specification, showing how it can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement studied in this paper is a strategy known as change of virtual data structure. By framing metaphorisms in the class of (inductive) regular relations, sufficient conditions are given for such implementations to be calculated using relation algebra. The strategy is illustrated with examples including the derivation of the quicksort and mergesort algorithms, showing what they have in common and what makes them different from the very start of development.

Teses Orientadas

2017

High-speed and High-assurance Cryptographic Software

Autor
Tiago Filipe Azevedo Oliveira

Instituição
UP-FCUP

2017

Integrated verification of cryptographic security proofs and implementations

Autor
Vitor Manuel Parreira Pereira

Instituição
UP-FCUP

2017

Electronic Voting over the Internet - A real-world solution

Autor
Michael Lothar Mendes Seufert

Instituição
UP-FCUP

2017

Data intensive applications verification

Autor
Daniel Arménio Silva Mendonça

Instituição
UP-FEUP

2017

Interoperable Assistive Technologies

Autor
Eduardo Miguel Moreira Guedes Osório

Instituição
UP-FEUP

Factos & Números

21Docentes do Ensino Superior

2016

68Investigadores

2016

340Programas UE

2016