Compilerbau

• SSA Visualisierung Bachelorarbeit (Sprache: C++)

B / Event-B / Sicherheitskritische Systeme

• 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.)

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)
• Expertensystem zur Validierung mit ProB Projektarbeit, Masterarbeit (Sprache: Prolog, B)
• Testabdeckungsanalyse für ProB Bachelorarbeit, Projektarbeit (Sprache: Prolog)
• 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)
• Declarative Debugger für SWI und/oder SICStus Prolog Bachelorarbeit, Projektarbeit (Sprache: Prolog)

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)