Master's / Diploma Theses
- N.Ch. Kinkel: Algorithmic Thinking in Babylonian Planetary Theory, 2026.
Master Thesis. - Y. Shikhareva: Entwicklung einer semiformalen Sprache zur Spezifikation von Modelleigenschaften in der Temporallogik (Development of a semi-formal language for specifying model properties in temporal logic), 2026.
Master Thesis. - M.F. Lindner: Transformation of leftmost derivations in cooperating distributed grammar systems, 2026.
Master Thesis. - J. Trebst: Kommunizierende Automaten mit Frageüberführungsfunktion.
(Communicating automata with query transition function.)
Master Thesis. - M. Schweitzer: Adaptivität agiler Softwareentwicklung im strukturellen Wandel von Unternehmen.
(Adaptivity of agile software development in structural changes of enterprises.)
Master Thesis. - S. Lehmann: Concept of a Domain-Specific Programming Language for the Multi-Agent System Screeps.
Master Thesis. - Th. Rakow: Re-Design und Re-Implementierung eines Werkzeugs zur Qualitätssicherung von Quellcode-Dokumentationen.
(Re-design and re-implementation of a tool supporting quality assurance of source-code documentation.)
Diploma Thesis. - H. Uehlemann: Automatisiertes Ranking geeigneter Personen zur Eskalation bei unternehmenskritischer Störfallalarmierung.
(Automated ranking of eligible persons in case of business critical incidents.)
Diploma Thesis. - N. Gabechava: Werkzeuggestützte qualitätssichernde Analyse von Quellcode-Dokumentationen.
(Tool-supported analysis of source-code documentation for quality assurance.)
Magister Thesis. - Ch. J. Ibendorf: Agile Modellierung kooperativer asynchroner Systeme.
(Agile modelling of cooperating asynchronous systems.)
Diploma Thesis. - A. Melzer: Komplexität kombinatorischer Kategorialgrammatiken als Beschreiber kontextfreier Sprachen.
(Complexity of combinatory categorial grammars as descriptors of context-free languages.)
Master Thesis.
Bachelor's Theses
- L. Kochmann: Visualisierung von Algorithmen für LL(1)-Parsing (Visualization of algorithms for LL(1) parsing), 2026.
- A. Isheim: Entwicklung einer DSL zur modellgetriebenen Softwareentwicklung von Pflanzenbewässerungssystemen.
(Development of a DSL for model-driven software development of plant irrigation systems). - J. E. Reimann: Möglichkeiten und Grenzen von KI-Anwendungen bei der Erstellung und Analyse von externen Software-Dokumentationen im Vergleich zu dem vorhandenen DocTool.
(Possibilities and limitations of AI applications in the creation and analysis of external software documentation compared to the existing DocTool.). - Ch. Klingenberg: Bewertung KI-gestützter Analyse von Java-Dokumentation.
(Evaluation of AI-supported analysis of Java documentation.). - Ph. Moek: Network Topologies for Parallel Communicating Finite Automata: Token-Ring and Token-Bus.
- L. Goerlich: Bewertung des Technologiewechsels bei Frontend- und Backend-Programmierung am Beispiel der Spiele-Anwendung Wordle.
(Evaluation of the technology change in front-end and back-end programming using the example of the game application Wordle.). - H. Schulz: Untersuchungen zum Determinismuskonzept bei Mehrwellen-Soliton-Automaten anhand einer zu implementierenden Simulation.
(Investigations into the determinism concept for multi-wave soliton automata using a simulation to be implemented.). - S. Koch: Konzept zur Erstellung von WireMock-Konfigurationen mit einer graphischen Benutzeroberfläche.
(Conceptual design for the creation of WireMock configurations with a graphical user interface.). - E. Kapranova: Design and implementation of an online submission system for programming assignments..
- X. A. Nguyen: Realisierung eines Kommandozeilentools zur Analyse von Quellcodedokumentationen als Plugin der IntelliJ IDEA.
(Implementation of a command line tool for the analysis of software documentation as an IntelliJ IDEA plugin.). - S. El-Messari: Anwendbarkeit agiler Methoden auf modellgetriebene Softwareentwicklung.
(Applicability of agile methods to model driven software development.). - A. Klockmann, M. Ratsch-Heitmann: Analyse der Umsetzbarkeit modellgetriebener Codegenerierung für Steuerungssoftware von deterministischen Selbstbedienungsautomaten.
(Feasibility study of model driven code generation of software for controlling deterministic selfi-service machines.). - T. Leipner: Anwendbarkeit von Sprachen zur Prozessmodellierung in der Domäne der Geschäftsprozesse.
(Applicability of process modeling languages in the domain of business processes.). - F. Sorek: Migration eines Editors zur Modellierung von Automotive Software von Graphiti zu Sirius.
(Migration of an editor for a modeling language for automotive software from Graphiti to Sirius.). - D. Hergaß: Evolution des Metamodells einer Sprache für die Modellierung von Automotive Software.
(Evolution of a metamodel of a modeling language for automotive software.). - F. Matthies: Didaktische Prinzipien für den Vergleich von Programmiersprachen im Informatikunterricht.
(Didactical criteria for comparing programming languages in computer science classes.). - A. Schmidt: IDE-Integration eines Werkzeugs zur Sicherung der Qualität von Quellcodedokumentationen.
(IDE integration of a tool supporting quality assurance of source-code documentation.).
Co-Supervisor (2nd Supervisor)
- A. Klockmann: Modifizierte Unidirektionale Codes für Speicherfehler.
(Modified one-directional codes for memory errors.)
PhD Thesis. Jointly supervised with Michael Gössel - F. Brashnikow: Die Auswirkung von List Comprehensions auf das Programmverständnis in Python.
(The effect of list comprehensions to the comprehension of Python programs.). - M. Stamm: Konzeption und Implementierung interaktiver Animationen von Algorithmen und Datenstrukturen für die digitale Lehre.
(Design and implementation of interactive animations of algorithms and data structures for digital education.). - H. Ritter: Konzeption und Analyse eines Modells des Mehrwellen-Solitonautomaten.
(Conceptual design and analysis of a model of multi-wave soliton automata.).