Aktuelle und abgeschlossene Arbeiten

Entwurf und Implementierung einer interaktiven, visuellen Graph-Reduktions-Maschine (Bachelor-Arbeit, laufend, 2020)

Visualisierung von Garbage Collection-Verfahren (Bachelor-Arbeit, laufend, 2020)

Optimiertes Scheduling von Software-Hardware-Tests mit Constraint-Programmierung und maschinellem Lernen (Master-Arbeit, laufend, 2020, In Kooperation mit Cyberus Technology GmbH)

Klanganalyse mit Methoden des maschinellen Lernens am Beispiel einer Münzerkennung (Master-Arbeit, laufend, 2020, In Kooperation mit Fraunhofer IKTS)


Entwurf und Implementierung einer interaktiven, visuellen SECD-Maschine (Bachelor-Arbeit, abgeschlossen, 2020)

Entwicklung einer domänenspezifischen Sprache (DSL) zur Beschreibung von Fahrzeugmanövern (Master-Arbeit, abgeschlossen, 2020)

Visualisierung von Arrays in Constraint Satisfaction Problemen (CSPs) (Master-Arbeit, abgeschlossen, 2020)

Kriterienbasierte Generierung von Übungsaufgaben für Algorithmen auf Graphen (Bachelor-Arbeit, abgeschlossen, 2020)

Bottom-Up-Parsierung: Grammatikanalyse und Visualisierung von Parsierungstechniken (Bachelor-Arbeit, abgeschlossen, 2020)

Umsetzung und Vergleich lokaler und globaler Suchverfahren zum Lösen von Constraint-Satisfaction-Problemen (Master-Arbeit, abgeschlossen, 2020)

Ein Indoor-Navigationssystem mit Augmented Reality-Integration (Master-Arbeit, abgeschlossen, 2020)

Top-Down-Parsierung: Grammatikanalyse und Visualisierung von Parsierungstechniken (Bachelor-Arbeit, abgeschlossen, 2020)

Redesign des Tools Visual Constraint Solver (VCS) (Bachelor-Arbeit, abgeschlossen, 2019)

Entwicklung eines Lernverfahrens zur Beurteilung von Kompressoren anhand akustischer Signale (Master-Arbeit, abgeschlossen, 2019, in Kooperation mit Fraunhofer IKTS)

Analyse und Implementierung einer no-good-Infrastruktur für die parallele Constraint-Programmierung (Master-Arbeit, abgeschlossen, 2019)

Visualisierung von Garbage Collection-Techniken (Bachelor-Arbeit, abgeschlossen, 2019)

Autonome Erkundung und Kartierung mittels eines ROS-basierten Modellfahrzeugs (Master-Arbeit, abgeschlossen, 2019)

Eine Mitarbeiter-App zur Abbildung der Schichtsysteme und Integration in die LEAG-Systemlandschaft (Bachelor-Arbeit, abgeschlossen, 2018) 

Modellgetriebene Entwicklung von Web-Applikationen (Bachelor-Arbeit, abgeschlossen, 2018) 

Erweiterung von VCS (Visual Constraint Solver) um einen MiniZinc-Choco-Parser sowie um Komponenten zur Visualisierung von Arrays (Bachelor-Arbeit, abgeschlossen, 2018) 

Visualisierung von CSPs und CSP-Lösungsprozessen (Bachelor-Arbeit, abgeschlossen, 2017)

Ein modulares Sturzerkennungssystem mit Assistenzfunktionen für Demenz-Patienten und ihre Angehörigen (Bachelor-Arbeit, abgeschlossen, 2017)

Modellierung und Simulation eines Bioreaktors in verschiedenen Betriebsarten mit Modelica (Bachelor-Arbeit, abgeschlossen, 2017)

Abgeschlossene Arbeiten vor 2017

Realisierung einer REST-konformen Schnittstelle zur Ansteuerung des humanoiden Roboters NAO (Bachelor-Arbeit, abgeschlossen, 2016)

Entwicklung eines Intervall-basierten Produktkonfigurators mit instantiierbaren Komponenten (Master-Arbeit, abgeschlossen, 2016)

Autonome Kartenerstellung von Robotern auf der Grundlage von Mikroservices (Master-Arbeit, abgeschlossen, 2016) 

Integration eines C++-Solvers zur Constraint-imperativen Programmierung in Java (Bachelor-Arbeit, abgeschlossen, 2016)

Entwurf und Implementierung eines IoT-basierten Kommunikations- und Steuerungsframeworks für mobile Robotersysteme
(Masterarbeit, abgeschlossen, 2016)

Constraint-basiertes Planen und optimiertes Platzieren von Fernsehwerbung
(Bachelorarbeit, abgeschlossen, 2016)

Zerlegung und Lösung komplexer Dienstplanungsprobleme
(Masterarbeit, abgeschlossen, 2015) 

Model-driven Development of an Interpreter for Analysis of Messages in Networks with different Protocols
(Masterarbeit, abgeschlossen, 2014)

Entwicklung einer interaktiven, graphischen Benutzeroberfläche für den constraint-basierten Konfigurator RANGECONFIG
(Bachelorarbeit, abgeschlossen, 2014)

Entwickling eines constraint-basierten Produktkonfigurators RANGECONFIG
(Bachelorarbeit, abgeschlossen, 2014)

TamaNAO - Imitation von Bedürfnissen und Emotionen auf dem humanoiden Roboter NAO
(Bachelorarbeit, abgeschlossen 2013)

Ein Compilerfrontend für eine constraint-basierte funktionale Sprache
(Bachelorarbeit, abgeschlossen, 2013)

Constaint-basierte Planung und Optimierung von Prüfungsterminen
(Bachelorarbeit, abgeschlossen, 2013)

Entwurf und Implementierung einer grafischen Benutzeroberfläche zur Planung von Prüfungsterminen (Bachelorarbeit, abgeschlossen, 2013)

Visualisierung von simulierten Bedürfnissen und Emotionen
(Bachelorarbeit, abgeschlossen, 2013)

Implementierung eines Interpreters für eine constraint-logische nebenläufige Sprache
(Bachelorarbeit, abgeschlossen, 2013)

Steuerung eines humanoiden Roboters mithilfe eines auf Bewegung reagierendes
Eingabegeräts (Bachelorarbeit, abgeschlossen, 2013)

Eine grafische, interaktive Benutzeroberfläche für den Constraint-
basierten Produktkonfigurator FdConfig (Bachelorarbeit, abgeschlossen, 2013)

Constraint-basierte Berechnung ausgeglichener und korrekter Rahmendienstpläne
in akzeptabler Berechnungszeit (Masterarbeit, abgeschlossen, 2013)

Implementierung eines verteilten Constraint-Speichers
(Bachelorarbeit, abgeschlossen, 2013)

Entwurf und Implementierung eines Interpreters für aCCFL
(Diplomarbeit, abgeschlossen, 2013)

Ein constraint-basiertes Prüfungsplanungssystem für die
BTU Cottbus (Bachelorarbeit, abgeschlossen, 2013)

Eine interaktive GUI für die constraint-basierte Stundenplanung
(Bachelorarbeit, abgeschlossen, 2012)

Ein automatisches Lager- und Transportsystem mit Lego
Mindstorms NXT (Bachelorarbeit, abgeschlossen, 2012)

Verteilte Nebenläufige Constraint-Programmierung
(Masterarbeit, abgeschlossen, 2012)

Dienstplanerstellung und -Optimierung mit Choco
(Bachelorarbeit, abgeschlossen, 2012)

Grafische, interaktive Produktkonfiguration mit
Finite-Domain-Constraints (Diplomarbeit, abgeschlossen, 2011)

Ein Interpreter für die funktional-reaktive Sprache Tempus
(Diplomarbeit, abgeschlossen, 2011)

Constraint-Programmierung mit Haskell -- Modellierung
exklusiver Ressourcenbelegung mit MCP (Bachlorarbeit, abgeschlossen,
2011, Publikation "Monadische Constraint-Programmierung")

Stundenplanung mit Choco
(Studienarbeit, abgeschlossen, 2011)

Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.

Erforderlich

Diese Cookies werden für eine reibungslose Funktion unserer Website benötigt.

Statistik

Für den Zweck der Statistik betreiben wir die Plattform Matomo, auf der mittels pseudonymisierter Daten von Websitenutzern der Nutzerfluss analysiert und beurteilt werden kann. Dies gibt uns die Möglichkeit Websiteinhalte zu optimieren.

Name Zweck Ablauf Typ Anbieter
_pk_id Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern. 13 Monate HTML Matomo
_pk_ref Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern. 6 Monate HTML Matomo
_pk_ses Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern. 30 Minuten HTML Matomo