ISSE

Search

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

  • SecureMDD
    Model Driven Development of Secure Systems

  • OC-Trust
    Trustworthy Organic Computing systems

  • Flashix
    Verification of a File System for Flash Memory