Promo

News

Article Authored By HASLab Researchers Presented at EuroSys 2020

An article entitled "State-Machine Replication for Planet-Scale Systems", authored by Vitor Enes and Carlos Baquero, researchers of INESC TEC's High-Assurance Software Laboratory (HASLab), in collaboration with researchers from University of Nantes, Télécom SudParis and IMDEA Software Institute, was presented at the 15th ACM European Conference on Computer Systems (EuroSys 2020), which is a top-tier conference in the area of data-intensive applications.

HASLab researcher takes part in international study to determine the incidence of the pandemic

An international team of researchers, including INESC TEC’s collaborator at the High Assurance Software Laboratory (HASLab), Carlos Baquero, developed an open social media survey in order to estimate the number of confirmed cases with COVID-19 symptoms and monitor their evolution in eleven countries.

HASLab and Outsystems project on users’ experience has ended

The OutSystems Learnability Model 2 (OLM2) was a service provision project developed by INESC TEC’s High-Assurance Software Laboratory (HASLab), the Centre for Computer Graphics and the OutSystems company, in order to improve the experience of using the OutSystems’ development platform and address the needs of the most unexperienced programmers.

June 2020

S
M
T
W
T
F
S
31
1
2
3
4
5
6
7
8
9
10
11
12
13
28
29
30
1
2
3
4