Supervision (recent)
- A. Isheim: Entwicklung einer DSL zur modellgetriebenen Softwareentwicklung von Pflanzenbewässerungssystemen.
(Development of a DSL for model-driven software development of plant irrigation systems)
Bachelor Thesis. - 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.)
Bachelor Thesis. - Ch. Klingenberg: Bewertung KI-gestützter Analyse von Java-Dokumentation.
(Evaluation of AI-supported analysis of Java documentation.)
Bachelor Thesis. - Ph. Moek: Network Topologies for Parallel Communicating Finite Automata: Token-Ring and Token-Bus.
Bachelor Thesis. - 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.)
Bachelor Thesis. - 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.)
Bachelo Thesis. - 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.)
Bachelor Thesis. - 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.)
Bachelor Thesis. - J. Trebst: Kommunizierende Automaten mit Frageüberführungsfunktion.
(Communicating automata with query transition function.)
Master Thesis. - 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.)
Bachelor Thesis. - E. Kapranova: Design and implementation of an online submission system for programming assignments.
Bachelor 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. - 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.)
Bachelor Thesis. - S. El-Messari: Anwendbarkeit agiler Methoden auf modellgetriebene Softwareentwicklung.
(Applicability of agile methods to model driven software development.)
Bachelor Thesis. - 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.)
Bachelor Thesis. - 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.)
Bachelor Thesis. - 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.)
Bachelor Thesis. - F. Matthies: Didaktische Prinzipien für den Vergleich von Programmiersprachen im Informatikunterricht.
(Didactical criteria for comparing programming languages in computer science classes.)
Bachelor Thesis. - 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.)
Bachelor 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. - 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.)
Bachelor Thesis. - H. Ritter: Konzeption und Analyse eines Modells des Mehrwellen-Solitonautomaten.
(Conceptual design and analysis of a model of multi-wave soliton automata.)
Bachelor 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.