HASLab - High-Assurance Software Laboratory :  Statistics
The HASLab is focused on the design and implementation of high-assurance software systems, software that is correct by design and resilient to environment faults and malicious attacks. Research at the HASLab is anchored on a rigorous approach to three areas of Computer Science: Software Engineering, Distributed Systems, and Cryptography and Information Security. The HASLab contributions to these areas range from fundamental research on formal methods and algorithms, to applied research on developing tools and middleware that addresses real-world demands stemming from long-term collaborations with the industry. The HASLab is a research unit of University of Minho and associated to INESC TEC. The laboratory is mainly based at the University of Minho, in Braga, with members at Porto, Beira Interior, Radboud Nijmegen and Teesside universities.
Os sistemas centrados em dados como bases de dados, sistemas de armazenamento chave-valor, e motores de aprendizagem automática, são hoje componentes fundamentais para as infraestruturas de computação modernas. De forma a atingir bom desempen...
We study principles and models for reasoning inductively about properties of distributed systems, based on programmed atomic handlers equipped with contracts. We present the Why3-do library, leveraging a state of the art software verifier...
The orchestration of high performance computing (HPC) services to build scientific applications is based on complex workflows. A challenging task consists of improving the reliability of such workflows, avoiding faulty behaviors that can lead...
Often referred to as ‘the mathematics of dynamical, state-based systems’, Coalgebra claims to provide a compositional and uniform framework to spec ify, analyse and reason about state and behaviour in computing. This paper addresses this...
Fuzziness, as a way to express imprecision, or uncertainty, in computation is an important feature in a number of current application scenarios: from hybrid systems interfacing with sensor networks with error boundaries, to knowledge bas...
High-Assurance Software Laboratory (HASLab)|
Universidade do Minho
Departamento de Informática
Campus de Gualtar
T: (+351) 253 604 470
F: (+351) 253 604 471
Collections in this community
HASLab - Livros
- 57 2020 - 2023
- 547 2010 - 2019
- 200 2000 - 2009
- 30 1990 - 1999