Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu

News by High-Assurance Software

Industrial and Systems Engineering

INESC TEC participates in project focusing on circular economy

INESC TEC, through the Centre for Enterprise Systems Engineering (CESE) and the High-assurance Software Laboratory (HASLab), participates in the CircThread project – Building the Digital Thread for Circular Economy Product, Resource & Service Management.

14th January 2021

Computer Science

INESC TEC researchers help understanding the efficiency of battery consumption

The article GreenHub: A Large-Scale Collaborative Dataset to Battery Consumption Analysis of Android Devices, written by Rui Pereira and Marco Couto from INESC TEC and UMinho’s High-Assurance Software Laboratory (HASLab), presents a thorough analysis of more than 23 million of samples of data from Android smartphones, in order to understand the efficiency of battery consumption.

22nd December 2020

Computer Science

HASLab participated in the programme “The Best Student at UMinho 2020”

On December 18, the High-assurance Software Laboratory (HASLab), part of INESC TEC and UMinho, participated in the programme “The Best Student at UMinho 2020”, namely in the activity “The science behind the STAYAWAY COVID app”, which featured more of 15 participants, from schools in the northern region of Portugal.

22nd December 2020

Computer Science

CoronaSurveys project among the finalists of the COVID-19 Symptom Data Challenge

The CoronaSurveys project, with Carlos Baquero – researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab) and professor at UMinho -, was one of the five finalists of the international competition COVID-19 Symptom Data Challenge.

17th December 2020


Mobile applications developed at INESC TEC awarded by Exame Informática

The applications STAYAWAY COVID and Psicovida, both developed by INESC TEC researchers, received an honourable mention in the category "Application of the year", of the “Os Melhores do Portugal Tecnológico” awards, granted by Exame Informática magazine.

19th November 2020

Computer Science

Merit grant awarded to INESC TEC researcher

Ricardo Macedo, researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab), received a merit grant from the University of Minho, supported entirely by the Ministry of Science, Technology and Higher Education, through the Directorate General for Higher Education (DGES). The ceremony took place on October 26, at the Medieval Hall of UMinho’s rectory.

11th November 2020


INESC TEC team collaborates with ENSICO initiative

A team of INESC TEC researchers participates in the initiative ENSICO, Association for the Teaching of Computing, which aims to invest in the teaching of Computer Sciences in Portuguese schools, supporting the creation of innovative practices in the digital age, through new teaching tools, materials and learning software.

29th October 2020

Computer Science

INESC TEC contributes to the development of an app that provides free psychological support during the pandemic

The social distancing and lockdown measures imposed by the COVID-19 pandemic had an impact on individual well-being, namely psychological well-being. In order to address the needs of those who are most vulnerable, INESC TEC’s High-Assurance Software laboratory joined OutSystems and the Psychology Association of the University of Minho (APsi-UMinho) and developed a new mobile application to provide free psychological support to all those who need it, particularly due to the Covid-19.

06th October 2020

Computer Science

INESC TEC supports the development of the new version of a risk management platform

Improving the RAID platform, a system marketed by the telecommunications analyst Mobileum for the comprehensive risk management in companies, thus making it compatible with 5G networks and edge computing. This is the objective of the AIDA project.

18th September 2020

Computer Science

The mobile app of the CoronaSurveys project is already available

The mobile application of the CoronaSurveys project, which includes the participation of Carlos Baquero, researcher at INESC TEC and UMinho’s High-Assurance Software Laboratory (HASLab), is already available for Android and iOS; the initiative is taking place in 150 different countries.

28th July 2020

Computer Science

LightKone comes to an end and obtains a positive score in the final evaluation

The European project LightKone, developed in partnership with INESC TEC’s High-Assurance Software Laboratory (HASLab), obtained a positive score in the European Commission’s final evaluation. According to the reviewers, “the project provided valuable results for the scientific community”.

20th July 2020

Computer Science

INESC TEC researcher receives the title of Emeritus Professor of the University of Minho

On June 23, José Manuel Valença, senior researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab) and retired Full Professor at the UMinho School of Engineering, received the title of Emeritus Professor of said Institution.

20th July 2020

  • 1
  • 9