On May 2021, Syed Rashid presented, at Vortex-CoLab, the work he has developed...
VORTEX FLOW – Towards Timing Analysis of Multi-core Platforms for Hard Real-Time Systems
read more
back to news index
Innovation
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 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...
Investigação marítima e inteligência artificial leva Manuel Heitor à Alemanha
Ministro da Ciência, Tecnologia e Ensino Superior com embaixada de...