Sitemap

• Institute
  • Prof. Dr. Sibylle Schupp
  • People
    • Former members
    • Former Tutors
  • News
• Research
  • Model Checking & Abstract Interpretation
    • Model Checking of Automated Needle Steering
      • (Online) Virtual needle steering
      • Interfacing the Real-Time Model Checker Uppaal
      • Cyber-physical needle steering setup
      • (Online) Strategy synthesis
      • Models
      • Videos
    • i3m4
    • Uppyyl-Simulator
    • QMTL-VT
    • Online Model Checking
    • ZenoTool
    • BDDStab
      • Downloads
      • Installation
      • Case Study
    • SPALTER
  • Programming Languages & Program Reconstruction
    • Kuestennebel
    • regVIS
  • Testing & Fault Injection
    • Online Model Checking
  • Data Protection & Machine Learning
    • LP3Verif
    • CAPVerDE
    • IGT
    • MaLiTuP
    • i3m4
    • Soft Errors
      • FITIn
        • Installation
        • Annotation
        • Running FITIN
        • Fault Injection
        • FITIn Internally
        • Usage
      • FlipSafe
  • Thesis projects
  • Publications
    • Papers
    • Student Theses
    • PhD-Theses
    • Videos
• Lectures
  • STS-Schedule
  • Oberseminar
  • Courses
  • Previous terms
  • Thesis projects
  • FAQ Thesis projects
• Intranet
  • Login/Logout(Typo3)
  • Login/Logout(LDAP)
• Imprint
• Sitemap
• Contact
  • People
  • Reaching STS
• Service
  • Infos and dates
  • Datenschutz
  • Education
  • STS-Schulprojekte
  • STS-Logo