Article authored by HASLab researchers accepted for publication in A*-rated journal of Distributed Systems

Paulo Sérgio Almeida and Carlos Baquero, researchers at the High-Assurance Software Laboratory (HASLab) and professors at the School of Engineering of the University of Minho, together with Ali Shoker, R&D doctorate at HASLab, are the authors of an article that has been accepted for publication in the Journal of Parallel and Distributed Computing. This top-tier journal in the area of distributed systems has received the A* rating from the Australian CORE ranking.

HASLab researcher concludes habilitation exams

Rui Oliveira, researcher at the High-Assurance Software Laboratory (HASLab), professor at the School of Engineering of the University of Minho and member of the Board of Directors of INESC TEC, concluded on the 7th and 8th of September his habilitation exams at the University of Minho, which were unanimously approved by the members of the jury.

Team of HASLab researchers publishes article in Distributed Computing journal

Carlos Baquero, Paulo Sérgio Almeida and Paulo Jesus, researchers of the High-Assurance Software Laboratory (HASLab), have published an article entitled "Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution" in Springer's Distributed Computing journal, one of the most prestigious journals in the field of Informatics and Computer Science.