Abgeschlossene Arbeiten

Studentische Arbeiten

2024

Beschleunigung regelgetriebener Einbettungen von Graphstrukturen durch maschinelles Lernen

Master-Thesis

Testbed-Entwicklung für lectureStudio

Bachelor-Thesis, Master-Thesis

Entwurf und Implementierung einer DSL zur Definition von präzisen und erklärbaren Graph-Constraints

Master-Thesis

2023

Planung von effizienten Datenverteilungstopologien für Streaming Applikationen

Master-Thesis

PDFPC-Funktionen in lectureStudio integrieren

Master-Thesis

Erweiterung der Videoproduktion in lectureStudio

Bachelor-Thesis

Erweiterung von Editierfunktionen für verlustfreie Vorlesungsaufzeichnungen mit lectureStudio

Bachelor-Thesis

Meta-Modellierung und Konsistenzvalidierung im Kontext der Krankenhausplanung

Bachelor-Thesis

2022

Vergleich von ILP und Timed Automata zur Einplanbarkeitsanalyse von Scheduling Problemen

Bachelor-Thesis

Synchronisierung von Capella-Modellen mithilfe von Tripel-Graph-Grammatiken

Bachelor-Thesis

2021

Konfliktauflösungsstrategien für modellbasierte Concurrent-Engineering-Methoden

Master-Thesis

Implementierung eines Java-Integrationswerkzeugs mittels Tripel-Graph-Grammatiken

Bachelor-Thesis

Detektierung und Auflösung von Kapazitätsengpässen in Energienetzen mittels inkrementeller Mustererkennung und linearer Programmierung

Master-Thesis

Performanzoptimierung von graphbasierten Algorithmen zur Einbettung virtueller Netzwerke in Rechenzentren

Master-Thesis

Debugging und Visualisierung von stochastischen Graphtransformationen

Bachelor-Thesis

Statistisches Model-Checking von echtzeitfähigen Automaten für dynamische Software-Produktlinien

Master-Thesis

Statistisches Model-Checking zur effizienten Analyse echtzeitkritischer Rekonfigurationen

Bachelor-Thesis

Context-dependent real-time reconfigurations for DSPL

Master-Thesis

Translating OCL into Clafer

Master-Thesis

2020

Erkennung und effiziente Behandlung von disjunkten Graphmustern

Bachelor-Thesis

Spezifikation von regelgetriebenen Simulationen biochemischer Reaktionsprozesse

Bachelor-Thesis

Effiziente Modell-Synchronisation mit Tripel-Graph-Grammatiken

Bachelor-Thesis

Evaluation von Strategien zur Testsuite-Reduktion

Bachelor-Thesis

Optimierung der Mutationserkennung durch globalen Vergleich von Variablen durch Code-Instrumentierung

Bachelor-Thesis

Selbstkonfigurierende und Kooperierende Agenten in einem Industrie-4.0-Kontext

Master-Thesis

Bisimulations-Analyse von echtzeitkritischen Software-Produktlinien

Master-Thesis

Echtzeitfähige Rekonfigurationsentscheidungen für dynamische Software-Produktlinien

Master-Thesis

Entwurf und Implementierung einer DSL zum Ansteuern einer CNC-Fräse

Bachelor-Thesis

Effiziente Test-Suite Generierung für Software-Produktlinien

Bachelor-Thesis

2019

Entwicklung eines Softwarekonzepts für autonome Fahrzeuge

Bachelor-Thesis

Automatisierung des Parkvorgangs für ein autonomes Modellfahrzeug

Bachelor-Thesis

Aufbau eines Modellautos für Versuche zum autonomen Fahren

Bachelor-Thesis

Automatisierte Generierung von C-Code aus parametrisierten Echtzeitmodellen

Bachelor-Thesis

Messbasiertes Reverse Engineering von parametrischen Echtzeitmodellen aus konfigurierbarem C-Code

Bachelor-Thesis

Evaluation automatisierter Testsuite Generierung für echtzeitkritische Software-Produktlinien

Bachelor-Thesis

Konzeption und exemplarische Implementierung eines Datenmodells und der Kommunikation eines Technologie-Demonstrators für elektrische Antriebe mit Industrie 4.0 Funktionalität

Master-Thesis

Untersuchung von inkrementellen Modelltransformationstechniken zur Einbettung virtueller Netzwerke in Rechenzentren

Master-Thesis

Verbesserung und Evaluation für Modellbasierte Virtuelle Netzwerk-Einbettungskonfigurationen

Master-Thesis

Extending Cloud Infrastructure for Better Security Monitoring

Master-Thesis

2018

Regelbasierte Simulation Biochemischer Reaktionsprozesse

Master-Thesis

Evaluation Scenarios for Virtual Network Embedding Algorithms in Data Centers

Bachelor-Thesis

Ad-Hoc-Kommunikation für kooperierende autonome Autos

Bachelor-Thesis

Strategien zur Dekomposition von Testzielmengen für die Multi-Goal-Test-Suite-Generierung

Master-Thesis

Automated Analysis of Software Product Line Model-Consistency in the context of Track`n Trace Software

Master-Thesis

Automatisierte Code-Generierung für integrierte Produktlinien-Repräsentationen

Master-Thesis

Automatisierte Konsistenzanalyse für echtzeitkritische Software-Produktlinien

Master-Thesis

Refinement of a Virtual Environment Representation to conduct validation tests for Automated driving

Master-Thesis

Virtual Network Embedding in Data Center

Master-Thesis

Sampling-Strategien für echtzeitkritische Software-Produktlinien

Master-Thesis

Reverse Engineering von Parametric Timed Automata aus konfigurierbarem C-Code

Master-Thesis

2017

Robodance: Ein Workshopkonzept basierend auf kommunizierenden Robotern (Sonja Albert)

Bachelor-Thesis

A Dynamic Software Product Line Approach for Optimal Adaptation of Context-Aware Topology Control Systems (Michael Matthé)

Bachelor-Thesis

Testen von Safety- und Liveness-Eigenschaften

Bachelor-Thesis

Ad-hoc-Kommunikationszenarien für autonome Modellautos

Bachelor-Thesis

Regelbasierte Simulation Biochemischer Reaktionsprozesse

Bachelor-Thesis

Modellgetriebener Ansatz zur Spezifikation selbst-adaptiver Systeme auf Basis Dynamischer Software-Produktlinien

Bachelor-Thesis

Evaluation automatisierter Test-Suite-Generierung für echtzeitkritische Software-Produktlinien

Bachelor-Thesis

Entwicklung einer Plattform zur Vermittlung von Embedded C

Bachelor-Thesis

Entwicklung eines Ad-hoc-Kommunikationsansatzes für autonome Modellautos

Bachelor-Thesis

Effiziente, abdeckungsgetriebene Test-Suite-Generierung für verschiedene Versionen

Bachelor-Thesis

Modellgetriebene Erstellung und Anpassung von OpenFlow-Regeln

Bachelor-Thesis

Untersuchung inkrementeller Pattern-Matching-Techniken for bidirektionale Graphtransformationen

Bachelor-Thesis

Regel-basierte Spezifikation und Synthese von Rekonfigurationsverhalten in Selbst-Adaptiven Systemen

Master-Thesis

Bildbasiertes Tracking eines chirurgischen Mikro-Roboters

Master-Thesis

Generierung kombinatorischer Testfälle und Testdaten aus REST-API-Definitionen

Master-Thesis

Graph-basierte Design-Flaw-Eliminierung für objektorientierte Programme im Security-Kontext

Master-Thesis

Modellbasierte Testfallgenerierung für echtzeitkritische Software-Produktlinien

Master-Thesis

2016

Integration eines Graphpatternmatchers in einen Netzwerksimulator (Lukas Neumann)

Bachelor-Thesis

Model-Metamodel-Coevolution in eMoflon (Sophie Ettl)

Master-Thesis

Codegenerierung für die Contiki-Plattform (David Giessing)

Bachelor-Thesis

Graphbasierte Analyse eines adaptiven Monitoring-Systems (Simon Braunstein)

Master-Thesis

Graph Constraints meet Topology Control - Entwurf garantiert korrekter graphbasierter Netzwerkalgorithmen (Maximilian Herbst)

Bachelor-Thesis

Erkunden von unbekanntem Terrain mit einem autonomen Modellfahrzeug

Bachelor-Thesis

2015

Verteilte Graphrepräsentation und -verarbeitung (Truong Nguyen)

Bachelor-Thesis

Analyse von Constraint-Techniken in Graphtransformations-Werkzeugen

Studienarbeit

Mutation von Feature-Modellen zur Simulation von Evolutionszenarien langlebiger Software-Produktlinien

Bachelor-Thesis

Transformation between Views in model-based Requirement Management with eMoflon

Master-Thesis

A Unified Transformation and Synchronization Algorithm Based On Triple Graph Grammars

Master-Thesis

Entwurf und Implementierung eines Demonstrators für Topologieadaptionsalgorithmen (Dario Mirizzi)

Bachelor-Thesis

2012

Textuelle Syntax für TGGs mit Xtext

Master-Thesis, Diplomarbeit

Analyse bestehender Techniken und Methoden der dezentralen Kommunikation in Smart Grids

Bachelor-Thesis, Master-Thesis, Studienarbeit, Diplomarbeit

Bewertung der eXtreme Programming Entwicklungsmethode durch praktische Anwendung

Betriebspraktikum, Bachelor-Thesis, Studienarbeit

Dynamische Auswertung von Smart Grid Verteilnetzen

Betriebspraktikum, Master-Thesis, Diplomarbeit

2011

Transformation von Life Sequence Charts zu Monitor-Petri-Netzen

Bachelor-Thesis, Studienarbeit

Implementierung eines Monitors der Spezifikationen im MPN-Format interpretiert

Bachelor-Thesis, Studienarbeit

P2P Management of Social Knowledge Networks

Betriebspraktikum, Master-Thesis, Diplomarbeit

Entwurf einer Ampelanlage in einem LEGO-Mindstorms C2X-Szenario

Bachelor-Thesis, Studienarbeit

Eclipse-Plugin für Werkzeugintegration

Master-Thesis, Diplomarbeit

Grafische Modellierung semantischer Abbildungen zwischen Datenmodellen unterschiedlicher PDM-Systeme und automatische Ableitung von Konvertierungsroutinen

Bachelor-Thesis, Studienarbeit

Variantenmanagement in Modellen im Kontext der Automatisierungstechnik

Master-Thesis

Industrielle Evaluation des kombinatorischen Testens im Software Produktlinienbereich

Master-Thesis

Featuremodellbasierte Entwicklung und Test im Industrie Kontext

Master-Thesis

Moso-Polite Evaluation anhand einer Automotive SPL

Master-Thesis

Industielle Evaluation von Featuremodell-basierter Entwicklung und kombinatorischen Testen von Software Produkt Linien

Master-Thesis

Vergleich verschiedener Modellierungsarten für das Variantenmanagement und Erweiterung der Android-SPL

Bachelor-Thesis

Integration von MoSo-PoLiTe und ParTeG

Studienarbeit

Analyse und Bewertung des MoSo-PoliTe Algorithmus

Bachelor-Thesis

Domänenspezifische App-Entwicklung mit modellgetriebenen Technologien

Bachelor-Thesis

2010

Entwicklung einer Software-Produktlinie auf Basis der Android-Plattform

Bachelor-Thesis

Entwicklung eines Testmodells für die Android-SPL

Bachelor-Thesis

Änderungen in Modellen erkennen

Master-Thesis, Diplomarbeit

Anpassung eines Modellierungswerkzeuges zur Modellierung von LSCs

Betriebspraktikum, Bachelor-Thesis

Definition und Implementierung eines C2X-Security-Monitors am Beispiel von Mautbrücken mit LEGO-Mindstorms

Bachelor-Thesis, Studienarbeit

MOCA: A framework for implementing high-level bidirectional model-to-text transformations.

Master-Thesis, Diplomarbeit

Implementierung eines Transportprotokolls auf Basis von CAN

Bachelor-Thesis

Analyse und Entwicklung der besseren Benutzbarkeit einer Modellierungs- und Integrationsumgebung im Kontext der modellgetriebenen Automatisierungsentwicklung

Bachelor-Thesis, Studienarbeit

Generische Persistierung von Modellen aus Enterprise Architect

Bachelor-Thesis, Studienarbeit

2009

Wiederherstellung der Konsistenz von Modellen im Bereich Werkzeugintegration mit Hilfe von Tripel-Graph-Grammatiken

Diplomarbeit

Vergleich von QVT-Implementierungen mit Triple Graph Grammars

Master-Thesis

Entwicklung von Pairwise-Testing Algorithmen für Featuremodelle

Bachelor-Thesis

Integration einer Testmethodik für Software Produktlinien in das Variantenmanagementtool pure::variants

Bachelor-Thesis

Implementierung eines Featuremodell-Editors mit MOFLON

Studienarbeit

Delta-Analysis in distributed Software Development Scenarios

Diplomarbeit

Authentifizierung und Zugriffskontrolle in P2P-Netzen

Master-Thesis, Diplomarbeit

Parameteridentifikation für das dynamische Verhalten von Fahrzeugbatterien

Master-Thesis, Diplomarbeit

Analyse und Bewertung agiler Entwicklungsmethoden / Analysis and Evaluation of Agile Development Methodologies

Bachelor-Thesis

Von bedingungsgesteuerter zu ereignisgesteuerter Ausführung von Statecharts in Statecase

Bachelor-Thesis

Anpassung und Optimierung von einem Reader/Writer zu einem geänderten Metamodell

Bachelor-Thesis

Aufbau eines C2C-Kommunikationsnetzes am Beispiel LEGO-Mindstorms

Betriebspraktikum

2008

Analyse der Use-Case-Points-Methode

Diplomarbeit

Entwurf eines OCL-Editors unter Berücksichtigung verschiedener Kozepte für Syntax-highlighting and auto-completion

Diplomarbeit

Design und Implementierung einer Referenzarchitektur für die modellgetriebene Entwicklung grafischer Editoren

Diplomarbeit

Peer-To-Peer basierte Versionierung mit Schwerpunkt Anwendungsintegration am Beispiel DOORS - Enterprise Architect

Diplomarbeit

Systematische Generierung von Wekzeug-Adaptern aus Metamodellen am Beispiel Matlab/Simulink/Stateflow

Diplomarbeit

Anpassung eines UML-Modellierungswerkzeuges für die Meta-Modellierung domänenspezifischer Sprachen

Diplomarbeit

3-Wege-Merge von Instanzen MOF-Konformer Medtamodelle

Diplomarbeit

Entwicklung einer Testmethodik für automatisierte Modellierungsrichtlinienprüfungen für MATLAB/SIMULINK/STATEFLOW

Diplomarbeit

An OSGi Compliant Platform to Reduce the Complexity of Peer-to-Peer Application Development

Diplomarbeit

Berücksichtigung von Infrastrukturinformationen zur Reduktion des Aufwandes einer Testfallgenerierung

Studienarbeit

Analyse und Definition der Anforderungen an einen Testfallgenerator aus Rhapsody-Modellen

Studienarbeit

Erzeugung MOF-konformen Metamodellen aus textuellen Spezifiationen

Bachelor-Thesis

Webbasierte Visualieriung der Ergebnisse statischer Modellanalyse

Studienarbeit

Lösung von Versionskonflikten beim verschmelzen von Teilnetzen in einem peer-to-peer basiertem Versionskontrollsystem

Bachelor-Thesis

Entwicklung eines Mikrocontroller-Versuchs

Studienarbeit

Integration Statecase-EA

Bachelor-Thesis

Semi-Automatische Generierung von JMI-konformen Tool-Adapter für MOF-basierte Tool-Integration

Bachelor-Thesis

2007

Modellgetriebene Softwareentwicklung eines Audio-Multikonferenz-Systems

Studienarbeit

Serverbasierte Überprüfung von Modellierungsrichtlinien

Studienarbeit

Entwicklung einer automatisierten Dokumentation von LabVIEW-Quellcode für das Rahmenwerk CS

Bachelor-Thesis

2006

Sicherheitsanalyse und Fehlererkennung für OpenGL-Maschinen

Diplomarbeit

Generierung von Trendanalyse-Werkzeugen aus domänenspezifischen Metamodellen

Diplomarbeit

Design and Implementation of a Test Suite for Generated Metamodels

Bachelor-Thesis

Peer-to-Peer basierte Synchronization von autonomen Versionsvewaltungssystemen

Bachelor-Thesis

2005

Spezifikation, Implementierung und Verfikation einer serientauglichen HUD-Vorverzerrungslösung in Service und Produktion

Diplomarbeit

Analyse der Entwicklung und Einführung einer Ressourcenplanungs- und Managementsoftware für das Projektportfolio der verteilten Entwicklungsteams in der Produktlinie Dish Care bei Electrolux

Diplomarbeit

Konzeption u. Realisierung eines Frameworks für modelbasierte, automatische User-Interface Generierung

Diplomarbeit

Erfassung und Verarbeitung der Telemetriedaten

Studienarbeit

2004

[Externe Arbeit bei SAP] Generierung von OCL- Constraints aus XML-Schemata

Betriebspraktikum, Bachelor-Thesis, Master-Thesis, Studienarbeit, Diplomarbeit