Skip to main content Skip to main navigation

Projects

Displaying results 1 to 5 of 5.
  1. FAIRe – Frugal Artificial Intelligence in Resource-limited environments

    FAIRe – Frugal Artificial Intelligence in Resource-limited environments

    Artificial intelligence (AI) is finding increasingly diverse applications in the physical world, especially in embedded, cyber-physical devices with …

  2. REXASI-PRO – REliable & eXplAinable Swarm Intelligence for People with Reduced mObility

    REXASI-PRO – REliable & eXplAinable Swarm Intelligence for People with Reduced mObility

    Artificial intelligence (AI) is being applied widely in many domains and there is a need to realize public trust in these systems. Calls are made to …

  3. ECXL – An Extensible and Consistent Cross-Level RISC-V Verification Platform

    ECXL – An Extensible and Consistent Cross-Level RISC-V Verification Platform

    The goal of the ECXL project is to develop a design and verification platform for RISC-V based systems. The verification platform will allow models on …

  4. KosmoS – Cooperative, modular, mobile Smart Life Lab

    KosmoS – Cooperative, modular, mobile Smart Life Lab

    The aim of the project is to support researchers in the design, evaluation and subsequent mediation of networked objects. For this purpose, a flexible …

  5. VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

    VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

    The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set …