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 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

Computer Science

Keyruptive is INESC TEC's most recent spin-off

Keyruptive is INESC TEC's most recent spin-off and it operates in the IT security area. It was born in Braga, being the result of a work of many years from a group of researchers of INESC TEC’s High-Assurance Software Laboratory (HASLab), and already has a technology solution to present to the market, whose name is the same as the company that was created.

13th June 2019

Power and Energy

INESC TEC leads EUR 36M European project for the digitalisation of the power system

InterConnect, which is the name of the biggest European collaborative project approved by the European Commission, under the Horizon 2020’s funding programme, will be led by INESC TEC.

04th June 2019

  • 1
  • 8