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

News by High-Assurance Software

Institutional

INESC TEC helps brands to improve their influence on social media through AI

Measuring, monitoring and improving the presence, social position and influence of companies and individuals on social networks.

26th May 2021

Institutional

INESC TEC co-organised workshop on Artificial Intelligence applied to software testing

INESC TEC co-organised the workshop AIST 2021 – International Workshop on Artificial Intelligence in Software Testing, within the scope of the IEEE International Conference on Software Testing (ICST2021), dedicated to AI in software testing. The event took place online, on April 12, with more than 20 participants.

07th May 2021

Institutional

INESC TEC wins IN3 + Award

The project IDINA - Inclusive Non-Authoritative Digital Identity, INESC TEC’s High Assurance Software Laboratory (HASLab) is the winner of the IN3 + Award, promoted by the Portuguese Mint and Official Printing Office (INCM), of €600K. The project aims to create an effective and inclusive identification platform open to all citizens, in countries that do not have central identification systems (civil registration infrastructures).

30th March 2021

Institutional

CoronaSurveys project acknowledged at international competition

The CoronaSurveys project, which aims to determine the prevalence of the pandemic in several countries, received an honourable mention and a prize of €3K (AWS - Amazon Web Services credits) at the “XPRIZE Pandemic Response Challenge”.

24th March 2021

Institutional

INESC TEC project places NAU 21 in the top 10 Insurtech companies in Europe

The development of the SIS platform, in partnership with INESC TEC, led to NAU21 – a company incubated at UPTEC – being acknowledged as one of the 10 best Insurtech companies in Europe, according to Insurance CIO Outlook magazine. This platform aims to revolutionise the way people handle insurance-related matters, making processes simpler, faster and more direct.

05th March 2021

Institutional

INESC TEC project is one of the five finalists of the IN3+ Award

The IDINA project, Inclusive Non-Authoritative Digital Identity, is one of the finalists of the third edition of the IN3+ Award, an initiative that aims to support the development of new ideas, promoted by the Portuguese Mint and Official Printing Office (INCM).

22nd February 2021

Institutional

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

Institutional

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

Institutional

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

Institutional

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

Institutional

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

Institutional

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

  • 5
  • 14