BTU auf einen Blick BTU auf einen Blick schließen
Startseite
Schließen
Fakultät 1
Fachgebiet Programmiersprachen und Compilerbau Prof. Dr. rer. nat. habil. Petra Hofstedt

Aktuelle und abgeschlossene Arbeiten

Modellierung und Untersuchung von Constraint-Problemen für Quanten-Annealer (Master-Arbeit, laufend, 2025)

Modellierung und Lösung verschiedener Varianten des Legespiels IQ Puzzler Pro (Bachelor-Arbeit, abgeschlossen, 2025)

Auswertung und Visualisierung von Attribut-Grammatiken und SDDs (Bachelor-Arbeit, abgeschlossen, 2024)

Generierung und Lösung von Vehicle-Routing-Problemen (Bachelor-Arbeit, abgeschlossen, 2024)

Visualisierung der Codeerzeugung für die Lehre (Bachelor-Arbeit, abgeschlossen, 2024)

Suche-basierte Schüttgutoptimierung mit zeitparallelen Aktionen (Master-Arbeit, abgeschlossen, 2024)

Videospielengines als Grundlage zur Simulation und Visualisierung von Optimierungsproblemen und deren Lösungen anhand eines Beispiels (Bachelor-Arbeit, abgeschlossen, 2024)

Generierung und Analyse von Constraint-Problemen (Master-Arbeit, abgeschlossen, 2023)

Optimierte Platzierung von Beacons zur Lokalisierung in Gebäuden (Master-Arbeit, abgeschlossen, 2023)

Analyse und Lösung des Transshipment-Problems mit Constraint-basierten Ansätzen (Bachelor-Arbeit, abgeschlossen, 2023)

Evaluation und Visualisierung von Entscheidungsbäumen und Variablen- und Wertauswahlheuristiken im Visual Constraint Solver (Bachelor-Arbeit, abgeschlossen, 2022)

Visualisierung der Codeerzeugung für die Lehre im Compilerbau (Bachelor-Arbeit, abgeschlossen, 2022)

Entwurf und Implementierung einer interaktiven, visuellen Graph-Reduktions-Maschine (Bachelor-Arbeit, abgeschlossen, 2021)

Visualisierung von Garbage Collection-Verfahren (Bachelor-Arbeit, abgeschlossen, 2021)

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

Klanganalyse mit Methoden des maschinellen Lernens am Beispiel einer Münzerkennung (Master-Arbeit, abgeschlossen, 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)