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

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

Computer Science

INESC TEC participates in project to improve the performance of supercomputers

Advanced computing (High Performance Computing - HPC) provides more resources and better performance than ordinary computers, in order to solve complex engineering and scientific problems, while contributing to technological developments in several areas, such as healthcare, environment and natural sciences. 

01st July 2020

Computer Science

INESC TEC researcher concludes habilitation exams at UMinho

On June 3 and 4, José Creissac Campos, senior researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab) and lecturer at the School of Engineering of the University of Minho, concluded the habilitation exams at UMinho, with unanimous approval by the members of the jury.

22nd June 2020

Computer Science

INESC TEC attains first software patent in the U.S.A.

For the first time ever, INESC TEC obtained a software patent in the United States of America, thanks to the technology used in the mobile cryptocurrency wallet developed by the spin-off Keyruptive.

15th June 2020

Computer Science

INESC TEC researcher takes part in international study to determine the incidence of the pandemic

An international team of researchers, including INESC TEC’s collaborator at the High Assurance Software Laboratory (HASLab), Carlos Baquero, developed an open social media survey in order to estimate the number of confirmed cases with COVID-19 symptoms and monitor their evolution in eleven countries.

15th April 2020

Computer Science

INESC TEC developed an application for managing large databases in real time

Nowadays, database management and updating is a key concern for large companies. In order to perform said critical tasks, the purchase of dedicated hardware is the solution found by most organisations; however, this leads to expenses in terms of hardware management and maintenance, and often the need to allocate human resources. Now, there’s a cloud platform that aims to meet the market demands, with a more reliable and cost-effective technology that can be updated in real time.

11th January 2020

Computer Science

HASLab welcomes students from the 2019 Best Student programme at University of Minho

On December 19th, INESC TEC’s High-Assurance Software Laboratory (HASLab) welcomed six students from Braga, Guimarães, Santo Tirso and Terras de Bouro, who chose HASLab to discover and become familiar with the work of a researcher in the IT field. This event was part of the 2019 edition of the Best Student programme at UMinho.

07th January 2020

Computer Science

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.

13th November 2019

Computer Science

INESC TEC 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.

13th November 2019

  • 1
  • 9