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 2023
      • Wintersemester 2022/23
      • Sommersemester 2022
    • Abschlussarbeiten
  • Team
  • Offene Stellen
  • Aktivitäten
    • Aktivitäten
    Aktivitäten
    • 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
Investigate the influence of different warm-start and mixing operators on QAOA forweighted-SAT problems Masterarbeit

Tim Bittner

Joshua Ammermann

Offen
QAOA: Feature Model to QUBO Transformation Masterarbeit

Tim Bittner

Joshua Ammermann

Offen
Programmsynthese aus formalen Spezifikationen im Tool CorC Masterarbeit

Tabea Bordis

Offen
Optimierung der Verifikation von Correct-by-Construction Produktlinien im Tool VarCorC Masterarbeit

Tabea Bordis

Offen
Datengetriebene Modellierung eines Szenarienraums Masterarbeit

Lukas Birkemeyer

Offen
Sampling Strategien zur Szenario Selektion Masterarbeit

Lukas Birkemeyer

Offen
Enhancing Grover's Search for solving Satisfiability (SAT) Problems Masterarbeit

Tim Bittner

Joshua Ammermann

In Bearbeitung
Bachelorarbeiten
Titel Typ Betreuung Bearbeitung
Pattern recognition for quantum algorithms Bachelorarbeit

Tim Bittner

Joshua Ammermann

Christoph König

Offen
Fallstudie Szenario Sampling Bachelorarbeit

Lukas Birkemeyer

Offen
Investigating the potentials for tool support in deploying quantum circuits to physical backends Bachelorarbeit

Tim Bittner

Joshua Ammermann

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