Arbeitsgruppe Zuverlässige Systeme

Abschlussarbeiten

Falls Sie bei uns eine Abschlussarbeit schreiben möchten, bieten wir Ihnen die Möglichkeit ein individuelles Thema zu bearbeiten. Sprechen Sie uns einfach an!

Zudem haben wir einige Themenvorschläge ausgearbeitet, die wir Ihnen hier präsentieren möchten. Wenn Ihnen eines gefällt, melden Sie sich beim angegebenen Ansprechpartner.

Themenvorschläge:

  • Runtime Verification
    Ansprechpartner: Danny Bøgsted Poulsen
    Keywords: LTL, Runtime Verification
    Richtet sich an: Bachelorstudierende
    Projekdetails: Download
  • Storing Dynamically Sized States
    Ansprechpartner: Danny Bøgsted Poulsen
    Keywords:State Space Compression, Model Checking
    Richtet sich an: Master- und Bachelorstudierende
    Projekdetails: Download
  • Generating Test Cases
    Ansprechpartner: Danny Bøgsted Poulsen
    Keywords:Test Case Generation, Fuzzing, Symbolic Execution
    Richtet sich an: Bachelorstudierende
    Projekdetails: Download
  • Algorithms for matching patterns with variables
    Ansprechpartner: Dr. Joel Day, Dr. Florin Manea
    Keywords:Pattern Matching, Algorithms, Data Structures
    Richtet sich an: Master- und Bachelorstudierende
    Projekdetails: Download
  • The Complexity of Solving Word Equations
    Ansprechpartner: Dr. Joel Day, Dr. Florin Manea
    Keywords: Word Equations, Combinatorics on Words, Formal Languages, Complexity
    Richtet sich an: Master- und Bachelorstudierende
    Projekdetails: Download
  • The Satisfiability of Word Equations: Decidable and Undecidable Theories
    Ansprechpartner: Dr. Joel Day, Dr. Florin Manea
    Keywords: Word Equations, Combinatorics on Words, Formal Languages, Decidability
    Richtet sich an: Master- und Bachelorstudierende
    Projekdetails: Download
  • k-Spektren von (θ)-Palindromen
    Ansprechpartner: Pamela Fleischmann
    Keywords:Verteilte Faktoren, k-Spektren, Wortkombinatorik, (θ)-Palindrome
    Richtet sich an: Master- und Bachelorstudierende
    Projekdetails: Download
  • k-Spektren über ternären Alphabeten
    Ansprechpartner: Pamela Fleischmann
    Keywords:Verteilte Faktoren, k-Spektren, Wortkombinatorik
    Richtet sich an: Master- und Bachelorstudierende
    Projekdetails: Download
  • Präfixnormale Wörter
    Ansprechpartner: Pamela Fleischmann
    Keywords:Präfixnormale Wörter, Implementierung, Wortkombinatorik
    Richtet sich an: Bachelorstudierende
    Projekdetails: Download
  • Solving parity games
    Ansprechpartner: Karoliina Lehtinen
    Keywords:Parity Games
    Richtet sich an: Master- und Bachelorstudierende
    Projekdetails: Download
  • Lösen von Wortgleichungen mit diophantischen Systemen
    Ansprechpartner: Mitja Kulczynski
    Keywords:Wortgleichungen, Diophantische Gleichungssysteme, Algorithmenentwicklung
    Richtet sich an: Bachelorstudierende
    Projekdetails: Download
  • Understanding the Preprocessing Performance of SAT Solvers
    Ansprechpartner: Mitja Kulczynski
    Keywords: SAT Solving, Preprocessing
    Richtet sich an: Bachelorstudierende
    Projekdetails: Download
  • Ranking of Data Race Candidates
    Ansprechpartner: Philipp Sieweck
    Keywords: Static Analysis, Concurrent Software, Data Races
    Richtet sich an: Master- und Bachelorstudierende
    Projekdetails: Download