KIT - Karlsruhe Institute of Technology image/svg+xml
Test, Validation and Analysis of Software-Intensive Systems
  • skip navigation
  • Home
  • Legals
  • Data Protection
  • Accessibility
  • Sitemap
  • KIT
  • de
search
  • Research
    • Research
    Research
    • Correctness-by-Construction (CbC)
    • ProvideQ
    • QuBRA
    • Szenario-basiertes Testen
    • EasyUp
  • Teaching
    • Teaching
    Teaching
    • Overview
    • Courses
      • Courses
      Courses
      • Summer term 2025
      • Winter term 2024/25
      • Summer term 2024
      • Winter term 2023/24
      • Summer term 2023
      • Winter term 2022/23
      • Summer term 2022
    • Theses
  • Team
    • Team
    Team
    • Alumni
  • Open Positions
  • Activities
    • Activities
    Activities
    • 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
  • Startpage
  • Home
  • Legals
  • Data Protection
  • Accessibility
  • Sitemap
  • search
Test, Validation and Analysis of Software-Intensive Systems

 

  • Startpage
  • Teaching
  • Theses

 

  • Home
    • Research
    • Teaching
    • Team
    • Open Positions
    • Activities
  • Teaching
    • Overview
    • Courses
    • Theses
  • Theses

Theses

Master thesis
Title Type Supervision Status
Feature-Annotated Reactions Language Master's thesis

Dirk Neumann

In Preparation
Higher-Order Consistency Preservation Rules Master's thesis

Dirk Neumann

In Progress
Describing & Assessing Changes in Highly-Configurable CPS Master's thesis

Philip Ochs

Open
Verification of parallelizability of sequential programs using data dependence analysis Master's thesis

Asmae Heydari Tabar

Open
Verification of parallelized Stencils based on data dependence analysis Master's thesis

Asmae Heydari Tabar

Open
Extending Randomness: Towards Uniformity for Cardinality-Based Feature Model Sampling Master's thesis / Bachelor's thesis

Lukas Güthing

Open
Describing & Assessing Impacts of Change in CPS Engineering Master's thesis

Philip Ochs

Open, starting August 2025
Bachelor thesis
Title Type Supervision Status
Comparing Random and T-Wise Interaction Sampling for Vulnerability Discovery in Highly-Configurable Software Systems Bachelor's thesis

Tim Bächle

Open
Creating Vulnerability Queries for Vari-Joern Bachelor's thesis

Tim Bächle

Open
Extending Randomness: Towards Uniformity for Cardinality-Based Feature Model Sampling Master's thesis / Bachelor's thesis

Lukas Güthing

Open
Explaining Anomalies in Cardinality-Based Feature Models Bachelor's thesis

Lukas Güthing

Open
Unfolding Cardinality-Based Feature Models Bachelor's thesis

Lukas Güthing

In Progress
Modeling Variability-Aware Attack-Fault-Trees Bachelor's thesis

Lukas Güthing

Open
  • Facebook Profile
  • Facebook Profile
  • Facebook Profile
last change: 2025-07-08
KIT – The Research University in the Helmholtz Association
  • Home
  • Legals
  • Data Protection
  • Accessibility
  • Sitemap
  • KIT