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
    • Correctness-by-Construction (CbC)
    • ProvideQ
    • QuBRA
    • Szenario-basiertes Testen
    • EasyUp
  • Lehrveranstaltungen
    • Lehrveranstaltungen
    Lehrveranstaltungen
    • Übersicht
    • Kurse
      • Kurse
      Kurse
      • 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
Verification of parallelized Stencils based on data dependence analysis Masterarbeit

Asmae Heydari Tabar

Offen
Verification of parallelizability of sequential programs using data dependence analysis Masterarbeit

Asmae Heydari Tabar

Offen
Feature-Annotated Reactions Language Masterarbeit

Dirk Neumann

In Vorbereitung
Higher-Order Consistency Preservation Rules Masterarbeit

Dirk Neumann

In Bearbeitung
Extending Randomness: Towards Uniformity for Cardinality-Based Feature Model Sampling Masterarbeit / Bachelorarbeit

Lukas Güthing

Offen
Describing & Assessing Changes in Highly-Configurable CPS Masterarbeit

Philip Ochs

Offen
Describing & Assessing Impacts of Change in CPS Engineering Masterarbeit

Philip Ochs

Offen ab August 2025
Bachelorarbeiten
Titel Typ Betreuung Bearbeitung
Comparing Random and T-Wise Interaction Sampling for Vulnerability Discovery in Highly-Configurable Software Systems Bachelorarbeit

Tim Bächle

Offen
Creating Vulnerability Queries for Vari-Joern Bachelorarbeit

Tim Bächle

Offen
Extending Randomness: Towards Uniformity for Cardinality-Based Feature Model Sampling Masterarbeit / Bachelorarbeit

Lukas Güthing

Offen
Explaining Anomalies in Cardinality-Based Feature Models Bachelorarbeit

Lukas Güthing

Offen
Unfolding Cardinality-Based Feature Models Bachelorarbeit

Lukas Güthing

In Bearbeitung
Modeling Variability-Aware Attack-Fault-Trees Bachelorarbeit

Lukas Güthing

Offen
letzte Änderung: 08.07.2025
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
  • Home
  • Impressum
  • Datenschutz
  • Barrierefreiheit
  • Sitemap
  • KIT