This is the list of projects I'm involved in:

  • Running
    • AUTOGEF Dependability design approach for critical flight software
    • IRONCAP Innovative Rover Operations Concept -- Autonomous Planning
    • MISSA More Integrated and cost efficient Systems Safety Assessment
    • VELOS
    • COMPASS Correctness, Modeling and Performance of Aerospace Systems
    • ACube Ambient Aware Assistance
  • Past
    • COCONUT A Correct-by-Construction Workbench for Design and Verification of Embedded Systems
    • OMC-ARE On board Model Checking Autonomous Resoning Engine
    • EURAILCHECK ERA project on the formalization and validation of ETCS
    • S3MS Security of Software and Services for Mobile Systems
    • PROSYD PROperty based SYstem Design