Dissertationen ab Juli 2009

 

Dr. Peter Hillmann

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

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

 

Dr.-Ing. Andreas Attenberger

Time Analysis for Improved Upper Limb Movement Classification

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

 

Dr. rer. nat. Heike Rolfs

Partitionierung und Bewertung Marte-Spezifizierter Hardware/ Software-Systeme

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

 

Dr. rer. nat. Tobias Uhlig

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

Betreuung: Prof. 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. 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. 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. 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. O. Rose
Prüfung: 31. Januar 2014


Dr. rer. nat. Daniel Noack

Online Simulation in Semiconductor Manufacturing

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


Dr. rer. nat. Dieter Schneider

Die Entwicklung der Supercomputer

Betreuung: Prof. 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. M. Siegle
Prüfung: 16. Dezember 2011


Dr. rer. nat. Stefan Herrmann

Direkte und proportionale Ansteuerung einzelner Finger von Handprothesen

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


Dr. rer. nat. Robert Koch

Systemarchitektur zur Ein- und Ausbruchserkennung in verschlüsselten Umgebungen

Betreuung: Prof. 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
Prüfung: 17. Oktober 2011


Dr. rer. nat. Adisa Musovic

Intergrierte Performance- und Leistungsverbrauchanalyse eingebetteter Systeme mittels SC Power EQN

Betreuung: Prof. 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. 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. 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. 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
Prüfung: 17. Mai 2010