• Who We Are
    • Culture
    • Organisation
  • What We Do
    • Fields of Innovation
    • Our Projects
  • How we work
  • News
  • Careers
  • Contact us
back to news index

Innovation

Categories

  • Announcement
  • Events
  • Innovation
  • Partnership
  • Projects
VORTEX FLOW – Towards Timing Analysis of Multi-core Platforms for Hard Real-Time Systems

VORTEX FLOW – Towards Timing Analysis of Multi-core Platforms for Hard Real-Time Systems

May 3, 2021

On May 2021, Syed Rashid presented, at Vortex-CoLab, the work he has developed...

read more
VORTEX FLOW | VeriFast: a separation-logic-based verifier for multithreaded pointer-manipulating C and Java programs

VORTEX FLOW | VeriFast: a separation-logic-based verifier for multithreaded pointer-manipulating C and Java programs

May 2, 2021

On May 2021, Bart Jacobs presented the operation mode of VeriFast at Vortex,...

read more
VORTEX FLOW | The High-Assurance ROS Framework

VORTEX FLOW | The High-Assurance ROS Framework

Apr 1, 2021

In April 2021, André Santos, a Ph.D. student of the MAP-i Doctoral Program at...

read more
VORTEX FLOW | Data Capture in UAV-enabled IOT

VORTEX FLOW | Data Capture in UAV-enabled IOT

Mar 1, 2021

On March 2021, Vortex organized a virtual talk with its associates, where Dr....

read more
VORTEX FLOW | How 5G Space-based networks will change our lives

VORTEX FLOW | How 5G Space-based networks will change our lives

Feb 3, 2021

Ricardo Faria, from Capgemini Engineering R&I, shared at VORTEX FLOW the...

read more
Investigação marítima e inteligência artificial leva Manuel Heitor à Alemanha

Investigação marítima e inteligência artificial leva Manuel Heitor à Alemanha

Oct 1, 2019

Ministro da Ciência, Tecnologia e Ensino Superior com embaixada de...

read more
  • Follow
  • Follow

©2021 VORTEX CoLab | All Rights Reserved