- Menu
The project’s name is SafeCloud and will be concluded by 2018.
30th November 2015
Alexandra Silva, associate researcher at INESC TEC’s High Assurance Software (HASLab) and senior lecturer at University College London, received €1.5M worth of funding from the European Research Council to programme complex computer systems, a topic related to software engineering.
27th November 2015
INESC TEC’s High-Assurance Software Laboratory (HASLab) is organised 15th edition of RAMiCS – International Conference on Relational and Algebraic Methods in Computer Science, which took place between 28 September and 1 October, in the city of Braga, Porto.
09th October 2015
The European project SafeCloud (Secure and Resilient Cloud Architecture), from INESC TEC’s High Assurance Software Laboratory (HASLab), has been recently approved with a budget of over three million euros.
20th May 2015
LeanBigData (Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics), a project from INESCTEC’s High Assurance Software Laboratory (HASLab) and Centre for Information Systems and Computer Graphics (CSIG), received the madri+d Award for Best European R&D Cooperation Project.
11th March 2015
The paper “A survey and classification of deduplication storage systems”, written by the researchers from INESC TEC’s High-Assurance Software Laboratory (HASLab), João Paulo and José Pereira, presents an innovative approach for the concept of deduplication and its use in cloud services. The work was recently published in the international journal with the highest impact factor in the field of computer science, ACM Computing Surveys.
17th September 2014
Alexandre Madeira, a researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab), has won the 2013 IBM Portugal Scientific Award, with the project “Hibridização de Lógicas: uma abordagem genérica à reconfigurabilidade de software” (in English: Hybrid logic – a generic approach to software reconfigurability).
15th July 2014
HASLab/INESC TEC has received a merit award from the North-American company National Instruments (NI). The company awarded HASLab’s for its credible research line and innovative ideas developed in the area of green software computing, which can be applied to NI’s LabView software.
30th April 2014
On 13 February, INESC TEC welcomed the director for international relations of the National Institute of Informatics (NII), Henri Angelino. The goal was to establish possible cooperation agreements with the Japanese institute.
07th March 2014
INESC TEC’s High Assurance Software Laboratory (HASLab) has recently concluded a European project where the aim was to create a platform available as a service (Platform as a Service - PaaS) for highly scalable transactional computing in the cloud.
28th January 2014
In February, the High-Assurance Software (HASLab), INESC TEC’s Privileged Partner, will start working on the European project LeanBigData (Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics). The main goal is to solve three great challenges of analytical processing in Big Data: the cost, in terms of resources, of scaling big data analytics for streaming and static data sources; the lack of integration of the existing technologies to manipulate Big Data and high response times; and the insufficient end-user support leading to extremely lengthy big data analysis cycles. INESC TEC’s Information and Computer Graphics Systems Unit (USIG) is also participating in this project.
15th January 2014
José Luís Silva, a researcher at INESC TEC’s High Assurance Software (HASLab), is the winner of the 1st edition of the AISTI award (Iberian Association of Information Systems and Technology) for “Best Iberian Dissertation on Information Systems and Technology”. The INESC TEC researcher was the winner in a total of 27 applications.
11th October 2013