Abgeschlossene Promotionen

 

 

Abgeschlossene Promotionen bei Prof. Dr.-Ing. Dr. h. c. Jürgen Becker
Name Thema Püfungsdatum
A Flexible Framework for Hardware/Software Design Space Exploration using Rewriting Logic 20.05.2010
A Problem-Oriented Approach for the Dynamic Verification of Heterogeneous Embedded Systems 15.07.2013
A Scalable and Adaptive Network on Chip for Many-Core Architectures 11.11.2014
Adaptive and Distributed Networks-on-Chip for Mixed Criticality Systems 24.04.2024
Adaptives Monitoring für Mehrkernprozessoren in eingebetteten sicherheitskritischen Systemen 30.11.2017
An Adaptive Multi-Core Architecture for Runtime-Configurable Redundancy in Mixed-Criticality Systems 21.06.2024
Automated Hardware Prototyping for 3D Network on Chips 23.05.2017
Compileroptimierung und parallele Code-Generierung für zeitkritische eingebettete Multiprozessorsysteme 27.08.2020
Computing Architectures for Security Applications on reconfigurable Hardware in Embedded Systems 22.12.2011
Designing and Evaluating Hybrid Techniques to Detect Transient Faults in Processors Embedded in FPGAs 27.09.2013
Durchgängige Timing-Bewertung von Vernetzungsarchitekturen und Gateway-Systemen im Kraftfahrzeug 29.06.2010
Dynamisch adaptive Mikroarchitekturen mit optimierten Speicherstrukturen und variablen Befehlssätzen 25.06.2019
Dynamisch und partiell rekonfigurierbare Hardware-Systemarchitektur mit echtzeitfähiger On-Demand-Funktionalität. 17.07.2007
Dynamisch und partiell rekonfigurierbare Hardwarearchitektur mit adaptivem hardwaregestützten Routing zur Laufzeit 27.04.2015
Dynamische Rekonfigurationsmethodik für zuverlässige echtzeitfähige Eingebettete Systeme in Automotive 29.07.2021
Efficient Optimization of Convolutional Neural Networks for Modern Embedded High-Performance Applications 13.05.2024
Effiziente Datenverarbeitung auf heterogenen Rechnerarchitekturen für die 3D-Ultraschall-Computertomographie 05.06.2014
Eine adaptive Architekturbeschreibung für eingebettete Multicoresysteme 20.07.2017
Flexible Design and Dynamic Utilization of Adaptive Scalable Multi-Core Systems 14.07.2011
Grobgranular rekonfigurierbare Mikroarchitekturen zur dynamischen Erzeugung heterogener Prozessorinstanzen in Chip-Multiprozessoren 18.12.2012
HW/SW Co-Design Framework für Hochgeschwindigkeits-OFDM Signalverarbeitung 13.11.2014
Hardwaregestützte Energieoptimierung von Elektrik/Elektronik-Architekturen durch adaptive Abschaltung von verteilten, eingebetteten Systemen 05.07.2012
Hardwarenahe Simulation in SystemC zur Analyse dynamisch rekonfigurierbarer Systeme 06.02.2012
Hypervisor-basierte Partitionierung von Mixed-Criticality-Anwendungen in heterogenen eingebetteten Systemen 10.06.2024
Integrierte modell- und simulationsbasierte Entwicklung zur dynamischen Bewertung automobiler Elektrik/Elektronik-Architekturen 28.07.2020
Intelligente Steuerungsmechanismen für laufzeitadaptive Hardware-/Softwaresysteme 01.07.2008
Mechanismen zur verteilten Selbstorganisation von adaptiver Hardware 10.07.2012
Methoden zur Erstellung eines laufzeitadaptiven und zweidimensional rekonfigurierbaren Systems 19.02.2013
Methoden zur applikationsspezifischen Effizienzsteigerung adaptiver Prozessorplattformen 20.12.2016
Methodischer Beitrag zum neuen Einsatz von Techniken der formalen Verifikation bei seriellen Busprotokollen im automobilen Umfeld 25.11.2014
Mixed-signal reconfigurable electronic system for industrial safety critical applications 18.06.2013
Multigranulare Optimierung für heterogene Multicore-Systeme 15.07.2024
Neuartige adaptive System-on-Chip-Architekturen für Inter-Car und Intra-Car Kommunikationsgateways 21.12.2009
Parallele und kooperative Simulation für eingebettete Multiprozessorsysteme 16.12.2014
Pattern-Based Logical Isolation for Safety-Critical Multicore Systems 09.09.2024
Power Optimized Design of Self-Adaptive FPGA-based Systems 09.07.2009
Prototyping Methodologies and Design of Communication-centric Heterogeneous Many-core Architectures 05.03.2020
RFET Reconfigurable Devices: Power Aware FPGA Architectures and Toolflow 25.06.2024
Real-Time Trace Decoding and Monitoring for Safety and Security in Embedded Systems 14.12.2021
Real-Time Trigger and online Data Reduction based on Machine Learning Methods for Particle Detector Technology 16.07.2020
Realisierung einer adaptiven parallelen Hardwarearchitektur für hochperformante OFDMA Zugangsnetzwerke 27.11.2015
Skalierbarkeit einer Szenarien- und Template-basierten Simulation von Elektrik/Elektronik-Architekturen in reaktiven Umgebungen 08.02.2022
Softwareframework für Prozessoren mit variablen Befehlssatzarchitekturen 11.12.2013
Task Allokation für effiziente Edge Computing Systeme 28.02.2023
The Customizable V-FPGA: Generation, System Integration and Configuration of Application-Specific Heterogeneous FPGA Architectures 21.09.2017
Timing Synchronization and Fast-Control for FPGA-based large-scale Readout and Processing Systems 28.04.2017
Trusted SoC Realization for Remote Dynamic IP Integration 30.11.2021
Using Fine Grain Approaches for high reliable Design of FPGA-based Systems in Space 13.07.2012
Abgeschlossene Promotionen bei Prof. Dr.-Ing. Eric Sax
Name Thema Prüfungsdatum
Exploration und clusterbasierte Analyse simulierter logischer Szenarien für das Testen automatisierter Fahrsysteme 07.11.2024
Fahrsequenz-Clustering zur datenbasierten Szenarienanalyse für die Validierung urbaner automatisierter Fahrfunktionen 02.10.2024
Optimierung der Wärmebereitstellung in Thermomanagementsystemen elektrisch betriebener Stadtbusse 03.09.2024
Bayesian Nonparametric User Behavioral Modeling for Self-Learning Comfort Systems in Vehicles 05.07.2024
Optimierte Auslegung von vernetzten Energiesystemarchitekturen am Beispiel der Vernetzung von Elektrofahrzeugen mit Smart Home 14.03.2022
Adaptive scenario selection for simulative testing of perception functions in automated driving 12.06.2024
Bewertung von Fahrerassistenzsystemen im Umfeld des szenariobasierten Testens 07.03.2023
Glaubwürdigkeit und Einsatz des szenariobasierten X-in-the-Loop-Tests für Fahrerassistenzsysteme 07.12.2023
Absicherung von Diagnosefunktionen in E/E-Fahrzeugarchitekturen durch verteilte Zugriffskontrolle und Anomalieerkennung 08.11.2022
Die (re-)konfigurierbare Fahrzeugarchitektur 06.07.2021
Entwurfsmethodik für hybride Software- und Systemarchitektur 14.06.2021
Szenariobasierte simulationsgestützte funktionale Absicherung hochautomatisierter Fahrfunktionen durch Nutzung von Realdaten 08.10.2020
Testen von Datensicherheit in vernetzten und automatisierten Fahrzeugen durch virtuelle Steuergeräte 04.05.2020
Analyse der Energieeinsparpotenziale zur bedarfsgerechten Reichweitenerhöhung von Elektrofahrzeugen 28.04.2020
Anomalieerkennung in Kommunikationsdaten zur Datenselektion im Fahrzeug 21.05.2019
Untersuchungen zur Anomalieerkennung in automotive Steuergeräten durch verteilte Observer mit Fokus auf die Plausibilisierung von Kommunikationssignalen 07.03.2019
Methoden und Ansätze für die Entwicklung und den Test prädiktiver Fahrzeugregelungsfunktionen 20.02.2018
Modellbasierte Design-Space-Exploration nicht-funktionaler Auslegungskriterien des Fahrzeugenergiebordnetzes 14.02.2018
Kollektive Energieeffizienz auf mehrspurigen Straßen 01.02.2018
Abgeschlossene Promotionen bei Prof. Dr. rer. nat. Wilhelm Stork
Name Thema Prüfungsdatum
Installation und Wartung von Sensorstationen an Strommasten im Stromnetz mit Hilfe unbemannter Luftfahrzeuge 11.11.2024
Development of a novel Directional Backlight for Multi-user Display Applications 21.02.2024
Stress and Emotion Recognition based on Remote Photoplethysmography 22.04.2024
Automatisierte Workflowanalyse im OP für die chirurgische Logistik 10.04.2024
"Implementation of Machine Learning Models for Transmission Grid Monitoring and Blackout Prevention" 12.03.2024
Towards Predictive Maintenance for Radiation Generation Vacuum Components 01.08.2023
Realization of Highly Transparent Wave Front Printed Holograms for Display Applications 25.07.2023
Artificial Intelligence for Spectral Analysis: a Comprehensive Framework 31.01.2023
Konzepte zur Kollaboration zwischen Intelligenten Geräten zum Aufbau vernetzter Städte 26.01.2023
Methoden und Werkzeuge für eine datengetriebene Entwicklung digitaler Gesundheitsanwendungen 31.08.2022
LiDAR-based Weather Detection: Automotive LiDAR Sensors in Adverse Weather Conditions 10.03.2022
Domänen-Spezifische Wissensbasis zur Entscheidungsunterstützung bei der individualisierten Auswahl von assistierender Technik 15.02.2022
Objectivation of Visual Perception 24.01.2022
Untersuchung der Augensicherheit durch Multi-Pulsbestrahlung für LiDAR-Anwendungen 05.07.2021
Simulationsgestützte Bewertung der Fahrzeugumfelderfassung 08.06.2021
Advanced Calibration of Automotive Augmented Reality Head-Up Displays - Erweiterte Kalibrierung von Automotiven Augmented Reality-Head-Up-Displays 15.04.2021
Machine Learning Tool for Transmission Capacity Forecasting of Overhead Lines based on Distributed Weather Data 19.11.2020
Holographic Wave Front Printing in Immersion for Transparent Display Applications 21.07.2020
Kamerabasiertes System zur kontaktlosen Messung der momentanen Herzfrequenz für den Einsatz unter realen Umgebungsbedingungen 27.04.2020
Entwicklung und Bewertung der E/E-Architektur für hochauflösende Scheinwerfersysteme 11.11.2019
Menschliche Parametererfassung auf Basis von Druckveränderungen im äußeren Gehörgang 24.10.2019
Entwicklung eines tiefenwahrnehmenden Scheinwerfers 17.10.2019
System zur Erfassung kardialer Aktivität mittels Impedanzplethysmographie am Handgelenk 08.04.2019
Objective assessment of motor and gait parameters of patients with multiple sclerosis 15.02.2018
Aufbau eines holographischen Wellenfrontdruckers zur Herstellung neuartiger Optiken 15.02.2018
An enhanced sensor-based approach for evaluation of a geriatric fall risk in non-ambulatory environments 11.05.2017
Indoor-Lokalisierung zur Prozessoptimierung in dynamischen, industriellen Umgebungen 22.02.2017
Condition Monitoring of Wind Turbine Rotor Blades Using Optically Powered Sensors 06.02.2017
Modulares Monitoring-System zur ambulanten Diagnosehilfe bei Epilepsie 19.12.2016
Analyse und Optimierung von fokussierten LiDAR-Systemen für Windkraftanlagen 09.12.2016
Multimodal eye´s optical quality (MEOQ) 29.07.2016
Ambiente Sensorsysteme für die ambulante Pflege – Gesundheitsmonitoring und Notfallerkennung 14.07.2016
Untersuchung von Augengefährdungen durch scannende Lasersysteme zur Unterstützung von Entwurfsprozessen 02.06.2015
Entwicklung einer automatisierten Scheinwerfereinstellung mittels aktiver Triangulation 23.04.2015
Holographie in der Displaytechnologie 05.02.2015
A Wearable Platform for Patient Monitoring during Mass Casualty Incidents 16.12.2014
A Doppler Lidar system with preview control for wind turbine load mitigation 04.12.2014
From Context to Content: Designing Sensor Support for Reflective Learning 21.11.2014
Plattform für das interaktive ambulante psychophysiologische Assessment 06.11.2014
Integration von physiologischem Feedback in Lernanwendungen unter Alltagsbedingungen 21.07.2014
Time-of-Flight Laserkamera mit großer Empfangsapertur 21.07.2014
Development of methods for multi-parametric activity monitoring in everyday life Prüfung: 16.07.2014
Präzise und skalierbare Lokalisierung in drahtlosen ad-hoc Netzwerken 15.07.2014
Measuring the level of Anesthesia using signal processing techniques and system identification modeling 14.07.2014
Nichtinvasives 24/7-Monitoring zur Verlaufskontrolle bei chronischer Herzinsuffizienz Prüfung: 19.12.2013
Reflective Physically Unclonable Functions based System for Anti-Counterfeiting 10.12.2013
Self-Powered Wireless Sensors for Condition Monitoring of Industrial Systems 15.07.2013
Eine modulare Telecare-Plattform für die Unterstützung der Telekooperation und Teledokumentation im Gesundheitswesen 16.05.2013
Ad-hoc Personenlokalisierung in Drahtlosen Sensornetzwerken 11.09.2012
Ambulantes Assessment von Schlafstörungen auf Basis pulsoximetrischer Messwerte 19.07.2012
Einfluss des visuellen Systems auf die Auslegung von miniaturisierten Flying-Spot-Laserprojektoren 24.01.2012
Verbesserung der automatischen EKG-Analyse durch Hinzunahme von Kontextinformationen 23.01.2012
Textilintegrierte Trockenelektrodensysteme für die dauerhafte EKG-Ableitung 17.01.2012
Kleidungsintegriertes System zur aktiven und automatischen Körperklimatisierung 24.11.2011
Ambiente kapazitive EKG-Messung - Elektroden, Systeme und Konzepte 11.07.2011
Hochauflösende Optische Kohärenztomographie mit einem Superkontinuumlaser 04.07.2011
Architektur-Framework funkvernetzter Sensorsysteme für Screening, Trendmessung und Telemonitoring 14.04.2011
Miniaturisierte Flying-Spot-Projektoren 12.01.2011
Interferometrische Bestimmung der Funduspulsation des menschlichen Auges 30.11.2009
Abgeschlossene Promotionen bei Prof. Dr.-Ing. Klaus D. Müller-Glaser
Name Thema Datum
Ansatz einer entwicklungsprojektweiten Abhängigkeits-Konsistenz des Quellcodemodells zur Qualitätsverbesserung von SEW Entwicklungsprojekten Prüfung: 22.05.2018
Automatisierter Test und Analyse eingebetteter Software Prüfung: 15.12.2016
Ein modellbasiertes, graphisch notiertes, integriertes Verfahren zur Bewertung und zum Vergleich von Elektrik/Elektronik-Architekturen Prüfung: 22.07.2016
Modellbasierte Entwicklung funktional sicherer Hardware nach ISO 26262 Prüfung: 18.12.2014
Komponentenbasierte Steuerung und Fehlersuche für eingebettete Systeme auf Modellebene Prüfung: 20.01.2014
Asynchronous and Synchronous Collaborative Modelling of Industrial Large-scaled Model with Fine-Grained Domain Independent Delta Model Prüfung: 23.07.2013
Transformation von Multiphysics-Modellen in einen FPGA-Entwurf für den echtzeitfähigen HiL-Test eingebetteter Systeme Prüfung: 19.07.2013
Beitrag zur Steigerung der Energieeffizienz in Kfz-Elektrik-/ Elektronik-Architekturen Prüfung: 22.04.2013
Analysis, Design and Traceability of Model Transformations Prüfung: 29.11.2012
Systematisches Variantenmanagement für die Optimierung von Elektrik/ Elektronik-Architekturen im Kraftfahrzeug Prüfung: 22.11.2012
Modulorientiertes Produktlinien Engineering für den modellbasierten Elektrik/Elektronik-Architekturentwurf Prüfung: 21.05.2012
Modellgetriebene Softwareentwicklung Eingebetteter Systeme Prüfung: 22.02.2012
Effizienter Regressionstest von E/E-Systemen nach ISO 26262 Prüfung: 15.02.2012
Automatisches Generieren und Optimieren von Hardware-in-the-Loop-Prüfstandskonfigurationen Prüfung: 27.01.2011
Funktionale Sicherheit nach ISO 26262 in der Konzeptphase der Entwicklung von Elektrik/Elektronik-Architekturen von Fahrzeugen Prüfung: 09.11.2011
Modellbasierte Entwicklung und Konfiguration des zeitgesteuerten FlexRay Bussystems Prüfung: 07.11.2011
Trusted Computing für adaptive Automobilsteuergeräte im Umfeld der Inter-Fahrzeug-Kommunikation Prüfung: 21.07.2010
Kompatibilitätsmanagementstrategien in Entwicklung und Service Prüfung: 20.07.2010
Definition eines Referenzprozesses für die textuelle Spezifikation von Automobilelektronik unter Verwendung von Merkmalsbibliotheken Prüfung: 23.06.2010
Definition und Umsetzung einer toolgestützten Entwicklungsmethodik zum effizienten Entwurf FlexRay-basierter Netzwerke vom Systemdesign bis zur Verifikation Prüfung: 03.03.2010
Abstraktionsebenenübergreifende Darstellung von Elektrik/Elektronik- Architekturen in Kraftfahrzeugen zur Ableitung von Sicherheitszielen nach ISO 26262 Prüfung: 08.12.2009
A location Aware Wireless Sensor Network for Assisting Emergency Response to Disasters Prüfung: 26.11.2009
Biomedical Telemetry Application of an Electronic Capsule with Enhanced Performance Prüfung: 23.07.2009
Der Einsatz der Hardware-in-the-Loop-Technologie in virtuellen Test Centern Prüfung: 16.07.2009
Mobile Langzeit-EKG-Messung: Elektroden und Methoden zum Umgang mit Artefakten Prüfung: 09.07.2009
Assessment of Human Physical Activity using Mobile Sensors Prüfung: 06.07.2009
Kommunikations- und Sicherungstechnologien für die Teletherapie chronischer Schmerzen Prüfung: 06.07.2009
Eine domänenspezifische integrierte Entwicklungsumgebung für Laser Scanner Systemfirmware Prüfung: 18.12.2008
Entwurf eingebetteter Systeme: Ausführbare Modelle und Fehlersuche Prüfung: 16.07.2008
Analyse und Bewertung eines Testprozessors von Automobilsteuergeräten Prüfung: 24.04.2008
Requirements and concepts for future automotive electronic architectures from the view of integrated safety Prüfung: 07.02.2008
Mobile Überwachung der Funktionalität des kardiovaskulären Systems : Konzepte und Simulationen Prüfung: 04.02.2008
Konzept einer bibliotheksbasiert konfigurierbaren Hardware-Testeinrichtung für eingebettete elektronische Systeme Prüfung: 05.07.2007
Beitrag zu einem durchgängigen Testprozess von System-HIL zum Fahrzeug-Test Prüfung: 21.06.2007
Modellbasierte Analyse realisierungstechnischer Einflüsse auf hybride regelungs- und steuerungstechnische Systeme im Fahrzeug Prüfung: 08.05.2007
Ein robustes OFDM-Systemkonzept zur schnellen Datenübertragung in der kontaktlosen Energieversorgungstechnik Prüfung: 06.02.2007
Modelle zur Beschreibung und Evaluierung von Architekturkonzepten der Elektrik und Elektronik in Kraftfahrzeugen Prüfung: 19.12.2006
Entwurf einer Beschreibungssprache für eingebettete Echtzeit-Systeme Prüfung: 13.07.2006
Entwicklung von Methoden zur Echtzeitanalyse von EKG-Signalen mit Neuro-Fuzzi-Systemen für Anwendungsszenarien der Telemedizin Prüfung: 27.04.2006
Beitrag zur verteilten Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen beim Entwurf elektronischer Systeme im Automobil. Prüfung: 14.02.2006
Die Untersuchung physiologischer Parameter von Kraftfahrzeugführern bezüglich ihrer Aussagekraft zur Detektion und Prädiktion von Schläfrigkeit Prüfung: 13.02.2006
Simulation optischer Bauelemente und Systeme Prüfung: 03.11.2005
Ubiquitous Healthcare: Anwendung ubiquitärer Informationstechnologien im Telemonitoring Prüfung: 25.10.2005
Grafisch notierte Modell-zu-Modell-Transformationen für den Entwurf eingebetteter elektronischer Systeme Prüfung: 14.07.2005
Methoden, Systeme und Randbedingungen zur nicht-invasiven Glukosemessung am menschlichen Auge. Prüfung: 07.12.2004
Pulshemometrie: Optische non-invasive Bestimmung der Hämoglobinkonzentration und der fraktionellen Sauerstoffsättigung. Prüfung: 20.07.2004
Elektrische Eigenschaften von speziellen Hautpunkten und Entwicklung eines Akupunkturpunkt-Detektors. Prüfung: 06.07.2004
Eine Entwicklungsmethodik für sicherheitsrelevante Elektroniksysteme im Automobil Prüfung: 20.04.2004
Berührungslose Anregung und Analyse von Schwingungen des menschlichen Auges zur Frühdiagnose einer Glaukomerkrankung. Prüfung: 10.11.2003
Interferometrische Schwingungsanalyse des menschlichen Auges zur Bestimmung des Intraokulardrucks. Prüfung: 12.11.2002
Automated 3D Model Generation for Urban Environments Prüfung: 29.10.2002
Modellbasierter Hardware-in-the-Loop Test von eingebetteten elektronischen Systemen. Prüfung: 18.12.2001
Einsatz objektorientierter Methoden, Objektbank-Schemata und Datenbanksysteme zur Datenverwaltung rechnergestützter Entwurfsphasen mechatronischer Systeme Prüfung: 15.10.2001
Methoden und Systeme zur nichtinvasiven, kontinuierlichen und belastungsfreien Blutdruckmessung. Prüfung: 06.02.2001
Automation des Tests eingebetteter Systeme am Beispiel der Kraftfahrzeugelektronik Prüfung: 23.01.2001
Beitrag zur metrikbasierten Erfassung von CASE-Entwurfsumgebungen für elektronische Systeme. Prüfung: 19.12.2000
Atemgeräuscherkennung mit Markov-Modellen und Neuronalen Netzen beim Patientenmonitoring. Prüfung: 25.07.2000
Rapid Prototyping eingebetteter elektronischer Systeme auf Basis des CDIF-Datenaustauschformats. Prüfung: 15.02.2000
Bestimmung des Intraoculardrucks aus dem Schwingungsverhalten des Humanauges. Prüfung: 10.02.2000
Beitrag zur entwurfsbegleitenden Validierung und Verifikation elektronischer mixed-signal Systeme Prüfung: 16.12.1999
Optimierte Implementierung neuronaler Strukturen in Hardware. Prüfung: 10.12.1998
Prädiktive Methoden für optimistische Synchronisationsprotokolle in der verteilten Simulation. Prüfung: 22.06.1998
Contributions to the Integration of Tools and Techniques for the Development of Heterogeneous Embedded Real-Time Systems. Beiträge zur Integration von Werkzeugen und Beschreibungsmitteln für die Entwicklung von heterogenen eingebetteten Echtzeitsystemen. Prüfung: 18.02.1998
Zum kooperativen Entwurf von eingebetteten Echtzeitsystemen. Prüfung: 12.02.1998
Rechnerunterstützte Wiederverwendung von Hardware-Beschreibungsmodellen beim Entwurf digitaler Systeme. Prüfung: 15.12.1997
Ein neues Konzept zur Modellierung und Timing-Simulation von VLSI-Systemen. Prüfung: 24.07.1997
An Approach to Computer-Aided Design of Electronic Products of the Future Prüfung: 07.07.1997
Hochintegriertes triaxiales Beschleunigungssensorsystem Prüfung: 07.07.1997
Rapid-Prototyping elektronischer Steuerungssysteme in der Automobilentwicklung Prüfung: 09.07.1996
Abgeschlossene Promotionen bei Prof. Dr.-Ing. Dr.-Ing. h.c. Hans Martin Lipp
Name Thema Datum
Graphenorientierte Methoden zur Durchführung des verketteten Ablaufs automatisierter Schaltungsentwürfe. 1995
Robuste Verfügung partiell definierter Steuerwerke für vorgegebene zweistufige Strukturen. 1995
Reduktion und Abschätzung der Leistungsaufnahme in Steuerwerkssystemen. 1994
Ein exaktes und robustes Verfahren für die Timing-Verifikation. 1993
Ein Verfahren zur Berechnung zeitoptimaler Taktsysteme. 1992
Methoden zur effizienten Einbettung von Steuerwerken in kundenprogrammierbare Logikbausteine. 1990
Verfahren zum Entwurf von Schaltnetzen mit sicherem Zeitverhalten 1989
Algorithmen zur Zustandscodierung synchroner Steuerwerke 1989
Verfahren zur Testmustererzeugung für statische CMOS-Schaltnetze. 1988
Eine Beschreibungssprache zum strukturierten Entwurf von komplexen digitalen Steuerwerken mit Nachweis der Lebendigkeit 1986
Algorithmen für den logischen Entwurf und ihre effiziente Implementierung auf Arbeitsplatzrechnern 1985
Eine Methode zur Konstruktion effizienter Baumalgorithmen für den logischen Entwurf digitaler Einheiten 1984
Zur zeitoptimalen Modellierung von Operationswerken durch Mikrorechnerprogramme 1984
Ein Beschreibungsverfahren zum Entwurf digitaler Steuerungen für nebenläufige Vorgänge 1982
Optimierung des Realisierungsaufwandes digitaler Steuerungen durch Modifikation der internen Schnittstellen 1982
Untersuchungen von Algorithmen für den rechnergestützten logischen Entwurf digitaler Baugruppen 1981
Erhöhung der Arbeitsgeschwindigkeit digitaler Steuerungen durch Maximierung des Parallelitätsgrades 1981
Entwurf von Schaltnetzen aus Zuordnerbausteinen durch Dekomposition von Bündeln unvollständiger Schaltfunktionen 1980
Ein Verfahren zur Zustandscodierung für komplexe digitale Schaltungen 1979
Ein Entwurfsverfahren zur kostenminimalen dreistufigen Realisierung von Schaltfunktionen 1978
Asynchrone Schaltwerke mit Flankensteuerung 1978
Reduktion der Verlustleistung von CMOS-Schaltungen durch logisch-strukturelle Maßnahmen 1977
Rechnergestützte Aufteilung von Schaltwerken unter Berücksichtigung struktureller Eigenschaften 1977
Abgeschlossene Promotionen bei Prof. Dr.-Ing. Utz Baitinger
Name Thema Datum
Anwendungsspezifischer Entwurf von DOMINO-CMOS-Schaltnetzen im Gate-Matrix-Entwurfsstil. 1990
Logiksynthese von Prozessorsteuerwerken mit Methoden der Graphentheorie. 1988
Algorithmische Entwurfsverfahren für kombinierte PLA/ROM-Steuerwerke unter Verwendung von Zählern 1987
Synthese von Komplex-Gatter-Schaltnetzen in NORA-Logik 1987
Algorithmische Entwurfsverfahren für zwei- und mehrstufige Schaltnetze. 1987
Synthese von Floorplans auf der Basis von Dualgraphen mit rechtwinkliger Einbettung 1987
Ein Entwurfsverfahren für mehrstufige Schaltnetze unter Gate-Array-Randbedingungen 1984
Abgeschlossene Promotionen bei Prof. Dr.-Ing. Karl Steinbuch
Name Thema Datum
Zur Leistungssteigerung von Mehrprozessorsystemen für die Verarbeitung digitaler Bildinformation 1976
Ein Verfahren zur quantitativen Bestimmung der Unterscheidbarkeit gedruckter Schriftzeichen 1974
Zur Beschreibung und Klassifizierung von Linienstrukturen 1973
Über die Anwendung des Endlichen Akzeptors auf das Zeichenerkennungsproblem 1969
Über Adaptivität und Lernen in diskreten stochastischen Systemen 1969
Trainingsmethoden zur stückweise linearen Separierung mit der Lernmatrix. 1968
Stufencodierung: ein neues Verfahren zur Fehlerkorrektur 1968
Matrixförmige Klassifikatoren 1968
Die Lernmatrix für binäre Signale 1967
Entwurf eines geschlossenen adaptiven Systems für diskrete deterministische Prozesse 1967
Automatische Stichwortanalyse nach dem Rangkriterienverfahren. 1966
Die Kennzeichnung von Sprachlauten durch Spektrum, Autokorrelationsfunktion und Nulldurchgangsabstände 1966
Konstruktion eines Ziffern-erkennenden Automaten auf der Grundlage des Potentialverfahrens 1965
Selbstkorrigierende Decodierschaltungen für Hammingcodes mit MIndestabständen zwei, drei und vier 1965
Der Binärprädiktor 1964
Selbstkorrigierende Zuordner für vollständige Codes 1964
Eigenschaften und Aufbau von Lernmatrizen für nichtbinäre Signale 1964
Fehlerwahrscheinlichkeit und Geschwindigkeit bei der Übertragung digitaler Informationen durch Gruppen-Codes 1963
Lineare Netzwerke mit negativer Gruppenlaufzeit 1961

„Das KIT hat sich im November 2023 unabhängig von den fachlichen Leistungen von Karl Steinbuch distanziert. In diesem Zuge hat das KIT die Umbenennung seines Informationstechnologie-Zentrums in Scientific Computing Center (bisher Steinbuch Centre for Computing) beschlossen. Hintergrund der Umbenennung waren neue Erkenntnisse des Historikers A. Guhl, die u. a. zeigen, dass sich Karl Steinbuch bereits als junger Mensch während der NS-Zeit mit nicht zu billigenden Kriegshandlungen identifizierte. Nach seiner wissenschaftlich kreativen Phase wandte Karl Steinbuch sich zunehmend rechtsextremen Positionen zu.“ (Karlsruher Institut für Technologie)

Link zur Pressemitteilung