Dissertationen ab Juli 2009

 

Dr. rer. nat. Gerhard Schwarz

Vernetztes Informationsmanagement als Führungskultur im „Virtuellen IT-gestützten Informationsraum“ (Shared Information Space)

Betreuung: Prof. Dr. G. Teege
Prüfung: 08. November 2021

 

Dr. rer. nat. Steven Künzel

Evolving Artificial Neural Networks for Multi-Objective Tasks

Betreuung: PD Dr. habil. S. Meyer-Nieberg
Prüfung: 13. Juli 2021

 

Dr. rer. nat. Ron Wörsdörfer

Zur Abbildung unscharfer Wissensbasen innerhalb geschlossener Gefechtssimulationssysteme

Betreuung: apl. Prof. Dr. M. Hofmann
Prüfung: 23. September 2020

 

Dr. rer. nat. Leonhard Renners

Adaptive Prioritization of Network Security Incidents

Betreuung: Prof. Dr. G. Dreo
Prüfung: 09. Juli 2020

 

Dr. rer. nat. Thomas Mayer

Automatisierte Auswahl von Algorithmen für das dynamische Fahrzeugwegeplanungsproblem 

Betreuung: Prof. Dr. O. Rose
Prüfung: 22.11.2019

 

Dr. rer. nat. Julia Hofmann

Ein Physiologiemodell für Tactical Combat Casualty Care Training in mobile Serious Games

Betreuung: Prof. Dr. A. Lehmann
Prüfung: 01. Juli 2019

 

Dr. rer.nat. Tao Zhang

Material Flow Controls on Shop Floors in Job Shops: Release, Routing and Sequencing

Betreuung: Prof. Dr. O. Rose
Prüfung: 07. November 2018

 

Dr.-Ing. Bharath Siva Kumar Tati

Quantitative Model Repair of Stochastic Systems

Betreuung: Prof. Dr. O. Rose
Prüfung: 29. Mai 2018

 

Dr. rer. nat. Peter Hillmann

Generische Modellierungn von zweistufigen Transportketten zur Planung und Optimierung von Verteilzentren in komplexen Systemen

Betreuung: Prof.´in Dr. G. Dreo
Prüfung: 14. März 2018

 

Dr.-Ing. Andreas Attenberger

Time Analysis for Improved Upper Limb Movement Classification

Betreuung: Prof. K. Buchenrieder, Ph.D.
Prüfung: 09. Februar 2016

 

Dr. rer. nat. Heike Rolfs

Partitionierung und Bewertung Marte-Spezifizierter Hardware/ Software-Systeme

Betreuung: Prof. K. Buchenrieder, Ph.D.
Prüfung: 26. November 2015

 

Dr. rer. nat. Tobias Uhlig

Self-Replicating Individuals - An Approach to Model Metaheuristics and Hyper-Heuristics

Betreuung: Prof. Dr. O. Rose
Prüfung: 12. Juni 2015


Dr. rer. nat. Zhugen Zhou

WIP Balance and Due Date Control for Complex Job Shop (Wafer Fabs)

Betreuung: Prof. Dr. O. Rose
Prüfung: 21. Oktober 2014


Dr. rer. nat. Robert Siegfried

A Framework for Efficient Agent-Based Modeling and Simulation of Complex Systems

Betreuung: Prof. Dr. A. Lehmann
Prüfung: 25. Juli 2014


Dr.-Ing. Martin Riedl

A Specification Language for Reconfigurable Dependable System, its Formalization and Analysis Environment

Betreuung: Prof. Dr.-Ing. M. Siegle
Prüfung: 15. Juli 2014


Dr. rer. nat. Oliver Schönherr

Modellierung, Simulation und Transformation von diskreten Prozessen in der Produktion und Logistik auf der Basis von SysML

Betreuung: Prof. Dr. O. Rose
Prüfung: 31. Januar 2014


Dr. rer. nat. Daniel Noack

Online Simulation in Semiconductor Manufacturing

Betreuung: Prof. Dr. O. Rose
Prüfung: 25. September 2012


Dr. rer. nat. Dieter Schneider

Die Entwicklung der Supercomputer

Betreuung: Prof. Dr. G. Regenspurg
Prüfung: 30. Januar 2012


Dr. rer. nat. Johann Schuster

Towards faster numerical solution of Continuous Time Markov Chains stored by symbolic data structures

Betreuung: Prof. Dr.-Ing. M. Siegle
Prüfung: 16. Dezember 2011


Dr. rer. nat. Stefan Herrmann

Direkte und proportionale Ansteuerung einzelner Finger von Handprothesen

Betreuung: Prof. K. Buchenrieder, Ph.D.
Prüfung:  25. November 2011


Dr. rer. nat. Robert Koch

Systemarchitektur zur Ein- und Ausbruchserkennung in verschlüsselten Umgebungen

Betreuung: Prof.´in Dr. G. Dreo
Prüfung: 25. November 2011


Dr. rer. nat. Rainer Scholz

Optimierung der Rechnerleistung pro Fläche von Prozessorarchitekturen durch Rekonfiguration von Funktionseinheiten

Betreuung: Prof. K. Buchenrieder, Ph.D
Prüfung: 17. Oktober 2011


Dr. rer. nat. Adisa Musovic

Intergrierte Performance- und Leistungsverbrauchanalyse eingebetteter Systeme mittels SC Power EQN

Betreuung: Prof. Dr. A. Lehmann
Prüfung: 26. Juli 2011


Dr. rer. nat. Thierry Oscar Codjo Edoh

ICT-Systeme zur Verbesserung der Gesundheitsversorgung der afrikanischen Entwicklungsländer. Fallstudien: Benin

Betreuung: Prof. Dr. G. Teege
Prüfung: 17. November 2010


Dr. rer. nat. Bernhard Schneider

SimPan – Ein Referenzmodell zur Agenten-basierten Simulation menschlichen Verhaltens in Paniksituationen

Betreuung: Prof. Dr. A. Lehmann
Prüfung: 25. Oktober 2010


Dr. rer. nat. Steffen Großmann

Entwurf und Bewertung kombinierbarer Fehlertoleranzmaßnahmen bezügl. Betriebsfehlern in verteilten Systemen

Betreuung: Prof. Dr. A. Lehmann
Prüfung: 04. Oktober 2010


Dr. rer. nat. Robert Fischer

Methodik für die Verlustleistungsabschätzung von Prozessoren mit Pipeline-Strukturen

Betreuung: Prof. K. Buchenrieder, Ph.D.
Prüfung: 17. Mai 2010