KIT - Karlsruher Institut für Technologie
Test, Validierung und Analyse Software-intensiver Systeme
  • Navigation überspringen
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • KIT
  • en
suchen
  • Forschung
    • Forschung
    Forschung
    • FullStaQD
    • Correctness-by-Construction (CbC)
    • ProvideQ
    • QuBRA
    • Szenario-basiertes Testen
    • EasyUp
  • Lehrveranstaltungen
    • Lehrveranstaltungen
    Lehrveranstaltungen
    • Übersicht
    • Kurse
      • Kurse
      Kurse
      • Sommersemester 2026
      • Wintersemester 2025/26
      • Sommersemester 2025
      • Wintersemester 2024/25
      • Sommersemester 2024
      • Wintersemester 2023/24
      • Sommersemester 2023
      • Wintersemester 2022/23
      • Sommersemester 2022
    • Abschlussarbeiten
  • Team
    • Team
    Team
    • Alumni
  • Offene Stellen
  • Aktivitäten
    • Aktivitäten
    Aktivitäten
    • KASTEL Scientific Evaluation 2025
    • Quantum Software Engineering MeetUp 2025
    • Priority Programme 2514: Quantum Software, Algorithms and Systems
    • Quantum Software Engineering MeetUp 2024
    • IFIP Working Group on Foundations of Quantum Computation
    • WAKERS 2023
  • Startseite
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • suchen
Test, Validierung und Analyse Software-intensiver Systeme

 

  • Startseite
  • Lehrveranstaltungen
  • Abschlussarbeiten

 

  • Startseite
    • Forschung
    • Lehrveranstaltungen
    • Team
    • Offene Stellen
    • Aktivitäten
  • Lehrveranstaltungen
    • Übersicht
    • Kurse
    • Abschlussarbeiten
  • Abschlussarbeiten

Abschlussarbeiten

Masterarbeiten
Titel Typ Betreuung Bearbeitung
Mutation Framework for V-ECUs Masterarbeit / Bachelorarbeit

Anne Kieneke

offen
Open-Loop Similarity Evaluation of ECU and V-ECU Masterarbeit / Bachelorarbeit

Anne Kieneke

offen
Quantum Software Composition and Templates Masterarbeit

Joshua Ammermann

Offen
Resource Consumption in by-Construction Engineering Masterarbeit

Maximilian Kodetzki

offen
Modular Threat and Risk Analysis for Cyber-Physical Systems Masterarbeit / Bachelorarbeit

Morten Harter

Offen
Modularization of Threat Analysis and Risk Assessment Methodology for Automotive Systems Masterarbeit / Bachelorarbeit

Morten Harter

Offen
Technical Feasibility & Usability of Automated Risk Assessment Masterarbeit

Philip Ochs

Offen
Bachelorarbeiten
Titel Typ Betreuung Bearbeitung
Mutation Framework for V-ECUs Masterarbeit / Bachelorarbeit

Anne Kieneke

offen
Open-Loop Similarity Evaluation of ECU and V-ECU Masterarbeit / Bachelorarbeit

Anne Kieneke

offen
Modular Threat and Risk Analysis for Cyber-Physical Systems Masterarbeit / Bachelorarbeit

Morten Harter

Offen
Modularization of Threat Analysis and Risk Assessment Methodology for Automotive Systems Masterarbeit / Bachelorarbeit

Morten Harter

Offen
Creating Vulnerability Queries for Vari-Joern Bachelorarbeit

Tim Bächle

In Bearbeitung
Leveraging LLMs for Vulnerability Discovery in Highly-Configurable Software Systems Bachelorarbeit

Tim Bächle

Vergeben
letzte Änderung: 07.05.2026
KIT – Die Universität in der Helmholtz-Gemeinschaft
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • KIT