Überblick
Im Folgenden finden Sie eine Übersicht der aktuell ausgeschriebenen Vorschläge für Abschlussarbeiten. Beachten Sie unseren Betreuungsleitfaden, der Sie über den Ablauf der initialen Kontaktphase sowie der Abschlussarbeit selbst informiert.
Einige der bei uns abgeschlossenen Abschlussarbeiten hat direkt zu wissenschaftlichen Publikationen geführt. Eine Liste der hervorgegangenen Publikationen finden sie hier.
Themen
Filter: Bachelorarbeit · Projektarbeit · Masterarbeit
Wir bieten Themen in den folgenden Bereichen an. Gerne können Sie auch eigene Themenvorschläge mit uns absprechen.
- B / Event-B / Sicherheitskritische Systeme
- Logische Programmierung
- Künstliche Intelligenz und Machine Learning
- Compilerbau
- Misc.
B / Event-B / Sicherheitskritische Systeme
- ProB Unterstützung für die CSSP
- TLA2B Übersetzung von TLA+ nach B erweitern
- TLC4B Übersetzung von B nach TLA+ erweitern
- Analyse des Designs von Git / Mercurial mit Hilfe von B
- Simplifier für B-Prädikate
- Eine Übersetzung von Smart Contracts nach B
- Model Checking von generiertem Code / Automatisches Refinement
- Codegenerierung von B nach Prolog
- Migration von B2Program von ANTLR nach SableCC
- Codegenerierung von B nach Clojure
- Generierung von Proof Obligations (POs) für B und Event-B innerhalb von ProB
- Yices SMT Solver Anbindung für B und Event-B in ProB
- Integration von Alloy 6 in ProB
Logische Programmierung
- plspec: Test-Case Generierung
- Implementierung und Evaluation von Datenstrukturen in Prolog
- Ein Determinismus Checker für plspec
- Modellierung des Parallel Climbers Puzzles
- Refactoring des partiellen Auswerters Ecce für Sicstus 4
- DPLL(T)-basierter Solver für B bzw. B Logik für DPLL-basierten Solver
- Enabling SMT Solvers for Prolog by Translating to SMT-LIB
- Prolog Parser und Interpreter für Gödel
- Open-Spiel Anbindung an Prolog
- Animation, Model Checking, und Simulation von Robotersystemen in ProB
- Effiziente Transformation aussagenlogischer Formeln in konjunktive Normalform
- A Constraint Solver for Real Difference Logic
Künstliche Intelligenz und Machine Learning
- Expertensystem zur Validierung mit ProB
- Distanzmetrik auf Individuen für individuelle Fairness
- Vektorrepräsentation von B Code für Deep Learning
- Formal Methods meet Data Analysis
- Validierung von Spiele KI durch Simulation
Compilerbau
- CUDA Zwischencode
- Build Spy
- Compiler Cache
- C++/C# Linker
- Statische Analyse von #Include Direktiven
- DSL für semantische Informationen
- Language Server Protocol
- Visualisierung von SSA und Zeigeranalysen