- Menu
The study by Paulo Sérgio Almeida, INESC TEC researcher and professor at the University of Minho, focuses on Bloom Filters, a very popular probabilistic data structure in the design of databases, distributed systems, and communication networks. The study, which demonstrates the versatility of partitioned Bloom Filters, was accepted for publication in IEEE Transactions on Computers, one of the top journals in Informatics and Computing.
29th November 2022
A team of INESC TEC researchers working on the Alloy language and specification tool presented the QAlloy extension at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), a top conference in the area of software engineering that took place between November 14 and 18, in Singapore.
22nd November 2022
The RISC2 project, which aims to promote and improve the relationship between research and innovation communities in Europe and Latin America, won the HPCwire Editor’s Choice Awards in the category of Best HPC Collaboration.
21st November 2022
Close to 20 high school students visited INESC TEC’s High-assurance Software Laboratory (HASLab). The visit took place within the scope of the “Computação sem Fronteiras” initiative, one of several activities part of the “Verão no Campus” – promoted by the University of Minho; the activities took place between July 18 and 22, in the Department of Informatics (DI) of the University of Minho, Braga.
28th July 2022
The Chair of the Computer Science Department at the Massachusetts Lowell University, Haim Levkowitz, visited INESC TEC and the University of Minho, on May 20, 23 and 25, respectively, under the Staff Mobility for Teaching of the Erasmus+ programme.
26th May 2022
Alcino Cunha and Nuno Macedo, INESC TEC researchers, contributed to the development of Alloy 6, the latest version of one of the most used specification and analysis platforms for the formal analysis of designs in the early stages of software development.
11th May 2022
The paper “Schema-guided Testing of Message-oriented Systems“, by Alcino Cunha and Nuno Macedo, researchers at INESC TEC, and André Santos, engineer at CoLAB VORTEX, was the winner of the Best Paper Award at the 17th edition of the international conference ENASE – Conference on Evaluation of Novel Approaches to Software Engineering.
05th May 2022
The work developed by INESC TEC researchers João Paulo and Ricardo Macedo aims at ensuring that scientists who use supercomputers can carry out scientific studies in fields like medicine, natural sciences, climate change and others, faster and more accurately. The results of the research work were presented in late February, at one of the most important conferences in storage systems: USENIX FAST.
11th March 2022
Whether to clean our homes, manufacture products or even disable bombs, robotics is increasingly used, as it performs tasks faster and more efficiently. Focusing on the development of safer high-quality robotic applications, with lower costs, the Institute for Systems and Computer Engineering, Technology and Science (INESC TEC) created the HAROS tool within the scope of the SAFER project – Safety verification for robotic software.
09th February 2022
INESC TEC’s High-Assurance Software Laboratory (HASLab) coordinates the SpecRep (Constraint-based Specification Repair) project – which focuses on promoting the adequate formal specification of software components, crucial to the development of high-assurance software.
24th January 2022
The Sustainable HPC project which, results from an (approved) application to the Innovation and Energy Efficiency Funds by INESC TEC and INEGI, has started.
25th November 2021
INESC TEC researcher Gilberto Cunha received a grant from the New Talents in Quantum Technologies programme, an initiative promoted by the Calouste Gulbenkian Foundation.
22nd November 2021