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
InstitutionalThe 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
InstitutionalWhether 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
InstitutionalINESC 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
InstitutionalThe 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
InstitutionalINESC 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
InstitutionalThe research carried out by a team of researchers from INESC TEC’s High-assurance Software Laboratory (HASLab), in the field of computer security, led to the presentation of three scientific articles at the ACM Conference on Computer and Communications Security (CCS), one of the most important conferences in this area – which took place online between November 15 and 18.
19th November 2021
InstitutionalHigh Performance Computing (HPC) is the foundation for scientific, industrial and social advances that improve the quality of life for people worldwide. The main objective of the RISC2 project – A network for supporting the coordination of Computing research between Europe and Latin America – is to promote and improve the relationship between the research and industrial communities of Europe and Latin America, focusing on HPC applications and infrastructures’ implementation.
14th November 2021
InstitutionalINESC TEC's High-Assurance Software Laboratory (HASLab) coordinates the project “Quantitative methods for cyber-physical programming: reasoning precisely about imprecisions in cyber-physical behavior”, whose main objective is the development of mathematical methods to model and analyse imprecisions in cyber-physical software.
08th September 2021
InstitutionalINESC TEC's High-Assurance Software Laboratory (HASLab) will develop solutions that allow the adaptation of WAN (Wide Area Networks) communications networks to the availability and source of electrical power in real time, while prioritising renewable sources.
06th September 2021
InstitutionalThe paper “ASPAS: As Secure as Possible Available Systems”, co-authored by Houssam Yactine, Ali Shoker, and George Younes, researchers at INESC TEC’s High-Assurance Software Laboratory (HASLab), received the Best Paper Award at the 16th edition of the International Federated Conference on Distributed Computing Techniques (DisCoTec2021).
15th July 2021
InstitutionalThe project PassCert – Exploring the Impact of Formal Verification on the Adoption of Password Security Software, started in February and will allow the creation of a password manager that ensures security properties on data storage and generation of passwords, using formal verification.
31st May 2021
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.