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
Verification of parallelizability of sequential programs using data dependence analysis Master's thesis

Asmae Heydari Tabar

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

Philip Ochs

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

Philip Ochs

Open, starting August 2025
Feature-Annotated Reactions Language Master's thesis

Dirk Neumann

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

Dirk Neumann

In Progress
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
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