- Menu
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
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
InstitutionalIn 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
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
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
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
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
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
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
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
InstitutionalOn 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
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