News

ASE 2014 accepts the publication of HASLab

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.

IBM 2013 Scientific Prize Ceremony

Alexandre Madeira, investigator of HASLab / INESC TEC receives the IBM Portugal 2013 Scientific Prize on 23th of September, at 9:30 am in Tomar.

HASLab/INESC TEC investigator wins the Scientific Prize IBM Portugal

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