Liste der aus Abschlussarbeiten hervorgegangenen wissenschaftlichen Publikationen.

B / Event-B / Sicherheitskritische Systeme

• TLA2B Übersetzung von TLA+ nach B erweitern Projektarbeit, Masterarbeit (Sprache: Java, B, TLA)
• TLC4B Übersetzung von B nach TLA+ erweitern Projektarbeit, Masterarbeit (Sprache: Java, B, TLA)
• Analyse des Designs von Git / Mercurial mit Hilfe von B Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: Prolog, B)
• Simplifier für B-Prädikate Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: Prolog, B)
• Eine Übersetzung von BPMN nach B Projektarbeit, Masterarbeit (Sprache: B, Event-B)
• Eine Übersetzung von Smart Contracts nach B Projektarbeit, Masterarbeit (Sprache: B, Event-B)
• Model Checking von generiertem Code / Automatisches Refinement Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: B, Misc.)
• Codegenerierung von B nach Prolog Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: Java, Prolog, B)
• Codegenerierung von B nach JavaScript/TypeScript Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: Java, JavaScript, TypeScript, B)
• Migration von B2Program von ANTLR nach SableCC Bachelorarbeit (Sprache: Java, B)

Logische Programmierung

• plspec: Test-Case Generierung Bachelorarbeit, Projektarbeit (Sprache: Prolog)
• Implementierung und Evaluation von Datenstrukturen in Prolog Bachelorarbeit, Projektarbeit (Sprache: Prolog)
• Ein Determinismus Checker für plspec Bachelorarbeit, Projektarbeit (Sprache: Prolog)
• Prolog Interpreter für Lustre Masterarbeit (Sprache: Prolog, B)
• Modellierung des Parallel Climbers Puzzles Projektarbeit (Sprache: Prolog, B)
• Refactoring des partiellen Auswerters Ecce für Sicstus 4 Bachelorarbeit, Projektarbeit (Sprache: Prolog, B)
• DPLL(T)-basierter Solver für B bzw. B Logik für DPLL-basierten Solver Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: Prolog, B)
• Enabling SMT Solvers for Prolog by Translating to SMT-LIB Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: Prolog, SMT-LIB, C/C++)
• Prolog Parser und Interpreter für Gödel Bachelorarbeit, Masterarbeit (Sprache: Prolog)
• Jupyter Kernel für SICStus Prolog Bachelorarbeit, Projektarbeit (Sprache: Prolog)
• Open-Spiel Anbindung an Prolog Bachelorarbeit, Projektarbeit (Sprache: Prolog)

Künstliche Intelligenz und Machine Learning

• Expertensystem zur Validierung mit ProB Projektarbeit, Masterarbeit (Sprache: Prolog, B)
• Appentwicklung: Performancevergleich von Flutter und React Native hinsichtlich Eyetracking und Videoverarbeitung Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: Dart, Javascript/Typescript)
• Eye Tracking using Machine Learning Projektarbeit, Masterarbeit (Sprache: Python)
• Program Synthesis for B - Microsoft PROSE SDK Bachelorarbeit, Projektarbeit (Sprache: Java, .NET, B)
• Faire Entscheidungsbäume mit genetischer Programmierung Projektarbeit, Masterarbeit (Sprache: Python, Java, JVM, R, Prolog)
• Distanzmetrik auf Individuen für individuelle Fairness Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: Any)
• Vektorrepräsentation von B Code für Deep Learning Projektarbeit, Masterarbeit (Sprache: Python/Java/JVM)

Compilerbau

• CUDA Zwischencode Bachelorarbeit (Sprache: C++)
• Build Spy Bachelorarbeit (Sprache: C++)
• Compiler Cache Bachelorarbeit (Sprache: C++)
• C++/C# Linker Masterarbeit (Sprache: C++)
• Statische Analyse von #Include Direktiven Bachelorarbeit (Sprache: C++)
• DSL für semantische Informationen Masterarbeit (Sprache: C++)
• Language Server Protocol Masterarbeit (Sprache: C++)
• Visualisierung von SSA und Zeigeranalysen Bachelorarbeit (Sprache: C++)

Misc.

• Disk-Backed Queue Bachelorarbeit (Sprache: C)
• Lock Free Hash Trie Bachelorarbeit (Sprache: C)
• lisb: mehr Front- und Backends Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: Clojure)
• Modellierung von Aspekten einer Blockchain Projektarbeit (Sprache: B, Event-B)
• Kanonische Form von B Prädikaten Bachelorarbeit (Sprache: Java, JVM)