Liste der aus Abschlussarbeiten hervorgegangenen wissenschaftlichen Publikationen.
-
ProB Unterstützung für die CSSP
Projektarbeit, Masterarbeit
(Sprache: B, Java)
-
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)
-
Codegenerierung von B nach Clojure
Bachelorarbeit, Projektarbeit
(Sprache: Java, Clojure, B)
-
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)
-
Animation, Model Checking, und Simulation von Robotersystemen in ProB
Projektarbeit, Masterarbeit
(Sprache: Prolog, Java, B, CSP, PRISM)
-
Expertensystem zur Validierung mit ProB
Projektarbeit, Masterarbeit
(Sprache: Prolog, B)
-
Program Synthesis for B - Microsoft PROSE SDK
Bachelorarbeit, Projektarbeit
(Sprache: Java, .NET, B)
-
Faire Entscheidungsbäume mit genetischer Programmierung
Bachelorarbeit, Projektarbeit, Masterarbeit
(Sprache: Python, Java, JVM, R, Prolog)
-
Distanzmetrik auf Individuen für individuelle Fairness
Projektarbeit, Masterarbeit
(Sprache: Any)
-
Vektorrepräsentation von B Code für Deep Learning
Projektarbeit, Masterarbeit
(Sprache: Python/Java/JVM)
-
Vorhersage bikuspider Aortenklappen anhand von EKG-Daten
Projektarbeit, Masterarbeit
(Sprache: Python)
-
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++)
-
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)