- Menu
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.
13th November 2019
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.
13th November 2019
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.
31st October 2019
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.
23rd October 2019
The Computation Without Borders, an activity integrated in the Summer on the Campus 2019 programme and organised in collaboration with INESC TEC's High-Assurance Software Laboratory, had the participation of 28 secondary school students and took place between 22 and 26 July in the Department of Informatics of the University of Minho, in Braga.
16th August 2019
Luís Soares Barbosa, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Rui Carlos Oliveira, member of INESC TEC's board and also researcher of HASLab, were elected for the School and Scientific Boards of the School of Engineering of the University of Minho (EEUM), respectively
30th July 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.
26th July 2019
The issue and use of the driving licence in smartphones and other mobile devices, with integrity and authenticity assurances of information, user privacy and interoperability between different countries, will give rise to an international standard ISO 18013-5, which was debated in the meeting of the working group of the International Organization for Standardisation (ISO) that took place between 1 and 4 July at INESC TEC’s headquarters, in Porto.
26th July 2019
The paper entitled “GreenHub Farmer: Real-world data for Android Energy Mining” was distinguished with the Special Mention Award in the Data Showcase Track of the MSR 2019 conference.
10th July 2019
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.
09th July 2019
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).
21st June 2019
Francisco Ribeiro and Michael Oliveira, researchers from the High-Assurance Software Laboratory (HASLab) of INESC TEC, received the Excellence Grant of UMinho from last academic year.
21st June 2019