Joana Maria, Head of Science of Vortex-CoLab, attended the CoLABS 2021 Annual...
WHAT’S NEW IN THE VORTEX
TECH-BROKERAGE NORTE DE PORTUGAL – GALICIA | Industry 4.0
Joana Maria was invited to participate in the event Tech-Brokerage Norte de...
VORTEX FLOW – Towards Timing Analysis of Multi-core Platforms for Hard Real-Time Systems
On May 2021, Syed Rashid presented, at Vortex-CoLab, the work he has developed...
VORTEX FLOW | VeriFast: a separation-logic-based verifier for multithreaded pointer-manipulating C and Java programs
On May 2021, Bart Jacobs presented the operation mode of VeriFast at Vortex,...
Vortex-CoLab Becomes a Community Member of RISC-V International
Vortex-CoLab has recently become a Community Member of RISC-V International, a...
SecUp – Over The Air (OTA) Software/Firmware
Vortex has launched a new project: SecUp, which aims to implement Secure OTA...
VORTEX FLOW | The High-Assurance ROS Framework
In April 2021, André Santos, a Ph.D. student of the MAP-i Doctoral Program at...
VORTEX FLOW | Data Capture in UAV-enabled IOT
On March 2021, Vortex organized a virtual talk with its associates, where Dr....
VORTEX FLOW | How 5G Space-based networks will change our lives
Ricardo Faria, from Capgemini Engineering R&I, shared at VORTEX FLOW the...
Software-Defined Vehicles: The new paradigm in the Automotive Industry
Rodrigo Maia, CEO Vortex-CoLab, has participated in a webinar on the 23rd...
STEROID Project Kick-off
Vortex-CoLab won a new challenging project sponsored by Portugal 2020:...
FLOYD Project Kick-off
Since January, Vortex-CoLab is a partner of the FLOYD project. The main goal...