News

HASLab’s researchers receive Special Mention Award at the MSR 2019 conference

The paper entitled “GreenHub Farmer: Real-world data for Android Energy Mining”, written by Marco Couto and Rui Pereira, researchers of INESC TEC's High-Assurance Software Laboratory (HASLab) and of the University of Minho, alongside Hugo Matalonga, of the University of Minho, Bruno Cabral and João Paulo Fernandes of the University of Coimbra and of CISUC, Fernando Castor of the Federal University of Pernambuco, Simão Melo de Sousa of the University of Beira Interior and of LISP, was distinguished with the Special Mention Award in the Data Showcase Track of the MSR 2019 conference-  16th International Conference on Mining Software Repositories.

Member of INESC TEC’S Board presents viewing centre of MACC

Rui Oliveira, Director of Minho Advanced Computing Centre (MACC), Member of INESC TEC's Board and Professor at the University of Minho, presented on 5 April the Viewing Centre of MACC in an event attended by Manuel Heitor, Minister for Science, Technology and Higher Education.

CoLAB VORTEX was offically 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). Promoted by ALTRAN, this session took place on 22 March and had a round table in which participated João Claro, INESC TEC's Chief Executive Officer, alongside other partners of the project.

Company CLEARSY visits the High-Assurance Software Laboratory

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

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. The event was held in partnership with the 5th edition of the Porto Tech Hub Conference, which will be held on 11 October at the same place.

Article authored by HASLab researchers accepted for publication in A* rated 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).

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

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. 

Researcher of HASLab promotes formal methods in the University of the Basque Country

Between 26 and 29 November, José Creissac Campos, senior researcher of HASLab 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.

Guillermina Cledou concludes her PhD

Guillermina Cledou defended her doctoral thesis entitled “A Virtual Factory for Smart City Service Integration”. The researcher received a unanimous evaluation of “good with distinction” from the jury.