Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
News

News by High-Assurance Software

Institutional

INESC TEC researchers acknowledged at international conference on software engineering

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

Institutional

INESC TEC research enables faster scientific studies performed on supercomputers

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

Institutional

New tool reduces the cost of robots and increases their reliability and safety

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

Institutional

INESC TEC part of project to improve the development of high-assurance software

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

Institutional

Sustainable HPC: kick-off of the new project that aims to improve the sustainability of supercomputers’ operation

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

Institutional

INESC TEC researcher acknowledged in the New Talents in Quantum Technologies programme

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

Institutional

INESC TEC research in the field of security and cryptography presented at a top conference

The 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

Institutional

European project promotes cooperation across continents to improve high-performance computing

High 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

Institutional

INESC TEC will develop mathematical methods to advance cyber-physical programming

INESC 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

Institutional

INESC TEC develops solutions to reduce the energy impact of communication networks

INESC 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

Institutional

INESC TEC researchers awarded “Best Paper Award” in the field of Computing

The 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

Institutional

INESC TEC participates in a project for the development of a secure password manager

The 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

  • 4
  • 14