News
|
Rui Maranhão, HASLab investigator, receives two Best Papers Awards at the 25th edition of the International Workshop on Principles of Diagnosis." An efficient distributed algorithm for computing minimal hitting sets" and "Sensitivity analysis of spectrum- based fault localization for multi-agent systems" are the two award-winning publications. |
 |
Jácome Cunha, reseacher in HASLab, will teach at NOVA (UNL), this year at the Computer Engineering degree. |
 |
The article entitled "A survey and classification of deduplication storage systems" written by João Paulo and José Pereira, researchers at HASLab, was accepted for publication in the international journal ACM Computing Surveys, a journal with the highest impact in the field of Computer Science. |
|
The publication "Continuous Test Generation: Enhancing Continuous" of Rui Maranhão, one of the researchers at HASLab, in collaboration with researchers at Simula Research Laboratory and U.Sheffield was recently accepted at ASE 2014 - International Conference on Automated Software Engineering, one of the most important conference in the area of Software Engineering. |
 |
Alexandre Madeira, investigator of HASLab / INESC TEC receives the IBM Portugal 2013 Scientific Prize on 23th of September, at 9:30 am in Tomar. |
 |
Alexander Madeira, a researcher at the High-assurance Software Laboratory (HASLab) of INESC TEC, won the Scientific Prize IBM Portugal 2013 with the project " Logic Hybridization : a generic approach to software reconfigurability". |
