Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
News

News by High-Assurance Software

Computer Science

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

31st October 2019

Computer Science

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

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

Computer Science

INESC TEC receives students of the Summer on the Campus 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

Computer Science

INESC TEC researchers elected for the School and Scientific Boards of EEUM

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

Institutional

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

26th July 2019

Computer Science

Issuing and using the driving licence is possible through a smartphone

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

Computer Science

INESC TEC's researchers receive Special Mention Award

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

Computer Science

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

09th July 2019

Computer Science

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

21st June 2019

Computer Science

Researchers from INESC TEC 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 from last academic year.

21st June 2019

Computer Science

New member in HASLab’s coordination

In the meeting of INESC TEC’s Board that was held on 7 May, António Luís Sousa was appointed for the co-coordination of the High-Assurance Software Laboratory (HASLab), in which his duties will be carried out alongside Alcino Cunha who continues to be the Co-coordinator of the Centre.

17th June 2019

Computer Science

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

RADicalize Big Data, 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.

14th June 2019

  • 1
  • 8