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