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

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

Institutional

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

Institutional

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

Institutional

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

Institutional

Company CLEARSY visits INESC TEC

Thierry Lecomte, R&D projects Director at CLEARSY Systems Engineering, visited INESC TEC’s High-Assurance Software Laboratory (HASLab), in Braga, and also the Institute’s headquarters, in Porto, between 6 and 7 March.

23rd April 2019

Institutional

CoLAB VORTEX was officially launched and has INESC TEC as a partner

It was under the conferences PERIN 2019 “+ Ciência, + Europa” that took place the presentation session of the Collaborative Laboratory (CoLAB) VORTEX in Cyber-Physical systems and Cyber Security, having INESC TEC as one of its partners and with the participation ensured by the High-Assurance Software Laboratory (HASLab).

02nd April 2019

Institutional

INESC TEC article accepted for publication in an IEEE conference

An article entitled “Efficient Synchronization of State-based CRDTs”, authored by Vítor Enes, Paulo Sérgio Almeida and Carlos Baquero, researchers of INESC TEC’s High-Assurance Software Laboratory (HASLab), together with João Leitão, researcher at NOVA LINCS, was accepted for publication in the 35th IEEE International Conference on Data Engineering (ICDE 2019).

20th March 2019

Institutional

World Congress on Formal Methods has a partnership with Porto Tech Hub

The 3rd World Congress on Formal Methods (FM’19), organised by INESC TEC, will take place between 7 and 11 October at the Alfândega Porto Congress Centre.

20th March 2019

Institutional

INESC TEC researcher elected for the Committee on Foundations of Computer Science

On 24 January, Luís Soares Barbosa, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Professor at the University of Minho and at the United Nations University, was elected Chair of the Technical Committee 1 - Foundations of Computer Science (IFIP TC1), an international committee that aims at the development of the theory and computer science and of its bridges with other domains of knowledge and socially relevant applications.

08th February 2019

Institutional

Exploratory project with OutSystems came to an end

The project “Outsystems Learnability Model”, which started in May 2018 and lasted for six months, aimed at defining a strategy to analyse the experience of using the OutSystems platform, in order to support its improvement.

08th January 2019

Institutional

Researcher of INESC TEC visits University of the Basque Country

Between 26 and 29 November, José Creissac Campos, senior researcher of the High Assurance Software Laboratory (HASLab) of INESC TEC, and Professor at the University of Minho, visited the Laboratory of Human-Computer Interaction for Special Needs that is part of the University of the Basque Country, where he promoted the field of work in formal methods.

28th December 2018

Institutional

SafeCloud promotes the privacy and integrity of cloud utilization

On 27 September, took place the third and final assessment by the European Commission of the SafeCloud project. The project was led by INESC TEC's High-Assurance Software Laboratory (HASLab). With an investment of over three million euros, the project focused on the area of  cloud infrastructures that, despite their many advantages, still present several challenges of privacy and integrity to data storage and processing.

04th October 2018

  • 8
  • 14