PHD
| 12.12.2018 | Hanti, Thomas Knowledgebase basiertes Scheduling für hierarchisch asynchrone Multi-Core Scheduler im Systembereich Automotive und Avionik Promotion zum Dr.-Ing. Fakultät für Informatik |
|
| 02.10.2017 | Deicke, Markus Virtuelle Absicherung von Steuergeräte-Software mit hardwareabhängigen Komponenten Promotion zum Dr.-Ing. Fakultät für Informatik |
|
| 04.05.2016 | Gruber, Thomas Prozessintegrierte Dokumentation und optimierte Wiederverwendung von Simulationsmodellen der automobilen Funktionsabsicherung Promotion zum Dr.-Ing. Fakultät für Informatik |
|
| 15.05.2013 | Heller, Ariane Systemeigenschaft Robustheit – Ein Ansatz zur Bewertung und Maximierung von Robustheit eingebetteter Systeme Promotion zum Dr.-Ing. Fakultät für Informatik |
|
| 08.04.2013 | Caspar, Mirko Lastgetriebene Validierung Dienstbereitstellender Systeme Promotion zum Dr.-Ing. Fakultät für Informatik |
|
| 03.02.2012 | Reichelt, Toni A Model Driven Approach for Services Based System Design Using Interaction Templates Promotion zum Dr.-Ing. Fakultät für Informatik |
|
| 21.07.2010 | Vodel, Matthias Funkstandardübergreifende Kommunikation in Mobilen Ad Hoc Netzwerken Promotion zum Dr.-Ing. Fakultät für Informatik |
|
| 16.06.2010 | Meisel, André Design Flow für IP basierte, dynamisch rekonfigurierbare, eingebettete Systeme Promotion zum Dr.-Ing. Fakultät für Informatik |
|
| 15.09.2008 | Beckert, René Untersuchungen zur Kostenoptimierung für Hardware Emulatoren durch Anwendung von Methoden der partiellen Laufzeitkonfiguration Promotion zum Dr.-Ing. Fakultät für Informatik |
|
| 18.01.2008 | Glockner, Matthias Methoden zur Analyse von Rückwärtskompatibilität von Steuergeräten Promotion zum Dr.-Ing. Fakultät für Informatik |
|
| 16.07.2007 | Sporer, Mathias „Konsistenzerhaltende Techniken für generierbare Wissensbasen zum Entwurf eingebetteter Systeme“ Promotion zum Dr.-Ing. Fakultät für Informatik |
|
| 25.01.2007 | Fischer, Marco „A Formal Fault Model for Component-based Models of Embedded Systems“ Promotion zum Dr.-Ing. Fakultät für Informatik |
|
| 25.01.2007 | Förster, Stefan „A Formal Framework for Modelling Component Extension andLayers in Distributed Embedded Systems“ Promotion zum Dr.-Ing. Fakultät für Informatik |
|
| 16.12.2002 | Windisch, Andre Eine Umgebung zur Formalisierung der Simulationssemantik von mehrsprachig spezifizierten Heterogenen Systemen Promotion zum Dr.-Ing. Fakultät für Informatik |
