Projects Group Prof. Dr. Reif

Running Projects
  • Ensemble Programming
    Self-organizing, Self-aware, Reconfigurable Robot Ensembles

  • TeSOS
    Testing Self-Organizing, Adaptive Systems

  • SafeAssistance
    Intelligent obstacle detection using capacitive sensors for safe human robot interaction
  • IFlow
    Developing Systems with Secure Information Flow

  • OC-Trust
    Trustworthy Organic Computing systems

  • Flashix
    Verification of a File System for Flash Memory