Quickfilter: Bachelorarbeit · Projektarbeit · Masterarbeit
Überblick der Themenbereiche
- B / Event-B / Sicherheitskritische Systeme
- Logische Programmierung
- Künstliche Intelligenz und Machine Learning
- Compilerbau
- Misc.
Liste der aus Abschlussarbeiten hervorgegangenen, wissenschaftlichen Publikationen.
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 BPMN nach B
- Eine Übersetzung von Smart Contracts nach B
- Model Checking von generiertem Code / Automatisches Refinement
- Codegenerierung von B nach Prolog
- Codegenerierung von B nach JavaScript/TypeScript
- 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
- Prolog Interpreter für Lustre
- 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
- Jupyter Kernel für SICStus Prolog
- Open-Spiel Anbindung an Prolog
- Animation, Model Checking, und Simulation von Robotersystemen in ProB
- Effiziente Transformation aussagenlogischer Formeln in konjunktive Normalform
- Eine Machine-Learning-Bibliothek für Prolog
Künstliche Intelligenz und Machine Learning
- Expertensystem zur Validierung mit ProB
- Program Synthesis for B - Microsoft PROSE SDK
- Distanzmetrik auf Individuen für individuelle Fairness
- Vektorrepräsentation von B Code für Deep Learning
- Gyroskop App für medizinische Anwendungen
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