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

Empresa CLEARSY visita INESC TEC

Thierry Lecomte, Diretor de Projetos de Investigação e Desenvolvimento da CLEARSY Systems Engineering, visitou o Laboratório de Software Confiável (HASLab) do INESC TEC, em Braga, e a sede do Instituto, no Porto, nos dias 6 e 7 de março.

23 abril 2019

Informática

CoLAB VORTEX foi lançado oficialmente e tem INESC TEC como parceiro

Foi no âmbito das Jornadas PERIN 2019 “+ Ciência, + Europa” que decorreu a sessão de apresentação do Laboratório Colaborativo (CoLAB) VORTEX em sistemas Ciber-Físicos e CiberSegurança, no qual o INESC TEC é um dos parceiros, com participação assegurada pelo Laboratório de Software Confiável (HASLab).

02 abril 2019

Informática

Artigo do INESC TEC aceite para publicação numa conferência IEEE

O artigo intitulado “Efficient Synchronization of State-based CRDTs”, da autoria de Vítor Enes, Paulo Sérgio Almeida e Carlos Baquero, investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, juntamente com João Leitão, investigador do NOVA LINCS, foi aceite para publicação na 35ª edição da IEEE International Conference on Data Engineering (ICDE 2019).

20 março 2019

Informática

Congresso Mundial em Métodos Formais tem parceria com a Porto Tech Hub

O 3º Congresso Mundial em Métodos Formais (FM’19), organizado pelo INESC TEC, decorre de 7 a 11 de outubro, no Centro de Congressos Alfândega do Porto, em parceria com a 5ª edição da Conferência Porto Tech Hub, que se vai realizar no dia 11 de outubro, no mesmo local.

20 março 2019

Informática

Investigador INESC TEC eleito para Committee on Foundations of Computer Science

Luís Soares Barbosa, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, e docente na Universidade do Minho e na Universidade das Nações Unidas, foi eleito, no dia 24 de janeiro, Coordenador do Technical Committee 1 - Foundations of Computer Science (IFIP TC1), um comité internacional cuja missão é o desenvolvimento da teoria e ciências da computação e das suas pontes com outros domínios do saber e aplicações socialmente relevantes.

08 fevereiro 2019

Tópicos de Interesse
029

Projetos Selecionados

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

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

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.

2019

Improving Traces Visualisation through Layout Managers

Autores
Couto, R; Campos, JC;

Publicação
Proceedings - ICGI 2018: International Conference on Graphics and Interaction

Abstract
Alloy supports reasoning about software designs in early development stages. It is composed of a modelling language and a tool that is able to find valid instances of the model. Alloy is able to produce graphical representations of analysis results, which is essential for their interpretation. In previous work we have improved the representations with the usage of layout managers. Here, we further extend that work by presenting the improvements on the approach, and by introducing a new case study to analyse the contribution of layout managers, and to support validation trough a user study. © 2018 IEEE.

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

0Outros Programas Financiamento

2016

68Investigadores

2016

21Docentes do Ensino Superior

2016