News

HASLab organises world congress with 600 professionals in the computer science field

The FM’19 – 3rd World Congress on Formal Methods, an event that gathers the worldwide computer experts, took place in Porto between 7 and 11 October. Around 600 experts from more than 40 different nationalities attended this international congress, known as the largest international congress on the Formal Methods area.

Last lesson of José Manuel Valença with a full house

José Manuel Valença, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Full Professor at the School of Engineering of the University of Minho, lectured his last lesson on 18 October at the University of Minho in Braga.

HASLab participates in an international conference on the reliable distributed systems area

A team of researchers of INESC TEC’s High-Assurance Software Laboratory (HASLab) participated at the 38th International Symposium on Reliable Distributed Systems (SRDS 2019), which took place in Lyon, France, from 1 to 4 October, presenting four scientific papers and organising a workshop, among other tasks.

Most influential paper of the VL/HCC 2019 conference was co-written by HASLab

The paper Automatically Inferring ClassSheet Models from Spreadsheets, co-written by João Saraiva, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Professor at the School of Engineering of the University of Minho, was awarded the Most Influential Paper from the VL/HCC 2019 international conference, which took place in Memphis, Tennessee, USA, between 14 and 18 October.

HASLab participates in IOT WEEK 2019

Within the framework of the recently adopted European project InterConnect, INESC TEC participated in the 9th edition of IoT Week, which was held between 17 and 21 June in Aarhus, Denmark. INESC TEC is the leading partner of this project, which will officially start in October of 2019.

HASLab develops the 1st catalogue of Energy Patterns for mobile applications

The longevity of batteries in mobile devices is a problem for the majority of users. The interaction of users with these devices is often jeopardised by the constant concern that the battery might run out. However, this problem may cease to exist. The researchers of INESC TEC’s High-Assurance Software Laboratory (HASLab) developed the first catalogue of energy patterns, focusing on the energy efficiency of the mobile applications, which aims at improving the power consumption in computing systems.

Keyruptive is INESC TEC’s most recent spin-off

Keyruptive is INESC TEC’s most recent spin-off and it operates in the IT security area. It was born in Braga, being the result of a work of many years from a group of researchers of INESC TEC’s High-Assurance Software Laboratory (HASLab), and already has a technology solution to present to the market, whose name is the same as the company that was created.

The project that fosters the creation of business apps with non-relational data has come to an end

RADicalize BigData, a service provision project with OutSystems carried out by INESC TEC’s High-Assurance Software Laboratory (HASLab), allowed the development of a way to integrate Big Data sources in business applications, using a low-code approach that is compatible with the OutSystems platform.

Researchers from HASLab awarded with the Excellence Grant of UMinho

Francisco Ribeiro and Michael Oliveira, researchers from the High-Assurance Software Laboratory (HASLab) of INESC TEC, received the Excellence Grant of UMinho of last academic year. The ceremony took place on the 22nd May, in the Medieval Hall of the Rectorate of the University of Minho.

HASLab participates in the Bootcamp of CoLAB VORTEX

The Bootcamp of CoLAB VORTEX, the new collaborative laboratory of acceleration and technology transfer of cyber-physical systems and cyber security, took place on May at the CISTER’s premises in Porto and was attended by several researchers from INESC TEC’s High-Assurance Software Laboratory (HASLab).