Ehemalige Doktoranden Prof. Dr. rer. nat. Wilhelm Stork
Name |
Thema |
Datum |
| Rosales Saurer, Bruno |
Eine modulare Telecare-Plattform für die Unterstützung der Telekooperation und Teledokumentation im Gesundheitswesen |
Prüfung: 16.05.2013 |
| Schmid, Johannes |
Ad-hoc Personenlokalisierung in Drahtlosen Sensornetzwerken |
Prüfung: 11.09.2012 |
| Groß, Nicole |
Ambulantes Assessment von Schlafstörungen auf Basis pulsoximetrischer Messwerte |
Prüfung: 19.07.2012 |
| Frederiksen, Annette |
Einfluss des visuellen Systems auf die Auslegung von miniaturisierten Flying-Spot-Laserprojektoren |
Prüfung: 24.01.2012 |
| Kirst, Malte |
Verbesserung der automatischen EKG-Analyse durch Hinzunahme von Kontextinformationen |
Prüfung: 23.01.2012 |
| Fuhrhop, Silvester |
Textilintegrierte Trockenelektrodensysteme für die dauerhafte EKG-Ableitung |
Prüfung: 17.01.2012 |
| Gharbi, Adnene |
Kleidungsintegriertes System zur aktiven und automatischen Körperklimatisierung |
Prüfung: 24.11.2011 |
| Heuer, Stephan |
Ambiente kapazitive EKG-Messung - Elektroden, Systeme und Konzepte |
Prüfung: 11.07.2011 |
| Butzbach, Markus |
Hochauflösende Optische Kohärenztomographie mit einem Superkontinuumlaser |
Prüfung: 04.07.2011 |
| Vollmer, Patrick |
Architektur-Framework funkvernetzter Sensorsysteme für Screening, Trendmessung und Telemonitoring |
Prüfung: 14.04.2011 |
| Streck, Andreas |
Miniaturisierte Flying-Spot-Projektoren |
Prüfung: 12.01.2011 |
| Malz, André |
Interferometrische Bestimmung der Funduspulsation des menschlichen Auges |
Prüfung: 30.11.2009 |
Ehemalige Doktoranden Prof. Dr.-Ing. Dr. h. c. Jürgen Becker
| Name |
Thema |
Datum |
| Girardey, Romuald |
Mixed-signal reconfigurable electronic system for industrial safety critical applications |
Prüfung: 18.06.2013 |
| Braun, Lars |
Methoden zur Erstellung eines laufzeitadaptiven und zweidimensional rekonfigurierbaren Systems |
Prüfung: 19.02.2013 |
| König, Ralf |
Grobgranular rekonfigurierbare Mikroarchitekturen zur dynamischen Erzeugung heterogener Prozessorinstanzen in Chip-Multiprozessoren |
Prüfung: 18.12.2012 |
| Niknahad, Mahtab |
Using Fine Grain Approaches for high reliable Design of FPGA-based Systems in Space |
Prüfung: 13.07.2012 |
| Schuck, Christian |
Mechanismen zur verteilten Selbstorganisation von adaptiver Hardware |
Prüfung: 10.07.2012 |
| Schmutzler, Christoph |
Hardwaregestützte Energieoptimierung von Elektrik/Elektronik-Architekturen durch adaptive Abschaltung von verteilten, eingebetteten Systemen |
Prüfung: 05.07.2012 |
| Kühnle, Matthias |
Hardwarenahe Simulation in SystemC zur Analyse dynamisch rekonfigurierbarer Systeme |
Prüfung: 06.02.2012 |
| Klimm, Alexander |
Computing Architectures for Security Applications on reconfigurable Hardware in Embedded Systems |
Prüfung: 22.12.2011 |
| Göhringer, Diana |
Flexible Design and Dynamic Utilization of Adaptive Scalable Multi-Core Systems |
Prüfung: 14.07.2011 |
| Traub, Matthias |
Durchgängige Timing-Bewertung von Vernetzungsarchitekturen und Gateway-Systemen im Kraftfahrzeug |
Prüfung: 29.06.2010 |
| Morra, Carlos |
A Flexible Framework for Hardware/Software Design Space Exploration using Rewriting Logic |
Prüfung: 20.05.2010 |
| Sander, Oliver |
Neuartige adaptive System-on-Chip-Architekturen für Inter-Car und Intra-Car Kommunikationsgateways |
Prüfung: 21.12.2009 |
| Paulsson, Katarina |
Power Optimized Design of Self-Adaptive FPGA-based Systems |
Prüfung: 09.07.2009 |
| Ullmann, Michael |
Intelligente Steuerungsmechanismen für laufzeitadaptive Hardware-/Softwaresysteme |
Prüfung: 01.07.2008 |
| Hübner, Michael |
Dynamisch und partiell rekonfigurierbare Hardware-Systemarchitektur mit echtzeitfähiger On-Demand-Funktionalität. |
Prüfung: 17.07.2007 |
Ehemalige Doktoranden Prof. Dr.-Ing. Klaus D. Müller-Glaser
| Name |
Thema |
Datum |
| Görber, Matthias |
Beitrag zur Steigerung der Energieeffizienz in Kfz-Elektrik-/ Elektronik-Architekturen |
Prüfung: 22.04.2013 |
| Krishnan, Ajay |
Analysis, Design and Traceability of Model Transformations |
Prüfung: 29.11.2012 |
| Prehl, Philipp |
Systematisches Variantenmanagement für die Optimierung von Elektrik/ Elektronik-Architekturen im Kraftfahrzeug |
Prüfung: 22.11.2012 |
| Jaensch, Martin |
Modulorientiertes Produktlinien Engineering für den modellbasierten Elektrik/Elektronik-Architekturentwurf |
Prüfung: 21.05.2012 |
| Dummer, Georg |
Modellgetriebene Softwareentwicklung Eingebetteter Systeme |
Prüfung: 22.02.2012 |
| Nörenberg, Ralf |
Effizienter Regressionstest von E/E-Systemen nach ISO 26262 |
Prüfung: 15.02.2012 |
| Hillenbrand, Martin |
Funktionale Sicherheit nach ISO 26262 in der Konzeptphase der Entwicklung von Elektrik/Elektronik-Architekturen von Fahrzeugen |
Prüfung: 09.11.2011 |
| Heinz, Matthias |
Modellbasierte Entwicklung und Konfiguration des zeitgesteuerten FlexRay Bussystems |
Prüfung: 07.11.2011 |
| Glas, Benjamin |
Trusted Computing für adaptive Automobilsteuergeräte im Umfeld der Inter-Fahrzeug-Kommunikation |
Prüfung: 21.07.2010 |
| Chandra-Sekaran, Ashok Kumar |
A location Aware Wireless Sensor Network for Assisting Emergency Response to Disasters |
Prüfung: 26.11.2009 |
| Fawaz, Nidal |
Biomedical Telemetry Application of an Electronic Capsule with Enhanced Performance |
Prüfung: 23.07.2009 |
| Ottenbacher, Jörg |
Mobile Langzeit-EKG-Messung: Elektroden und Methoden zum Umgang mit Artefakten |
Prüfung: 09.07.2009 |
| Jatobá, Luciana |
Assessment of Human Physical Activity using Mobile Sensors |
Prüfung: 06.07.2009 |
| Großmann, Ulrich |
Kommunikations- und Sicherungstechnologien für die Teletherapie chronischer Schmerzen |
Prüfung: 06.07.2009 |
| Graf, Philipp |
Modellbasierte Fehlersuche für die Software von eingebetteten Systemen. |
Prüfung: 16.07.2008 |
| Chen, Xi |
Requirements and concepts for future automotive electronic architectures from the view of integrated safety |
Prüfung: 07.02.2008 |
| Boll, Hans Peter |
Mobile Überwachung der Funktionalität des kardiovaskulären Systems : Konzepte und Simulationen |
Prüfung: 04.02.2008 |
| Bieser, Carsten |
Konzept einer bibliotheksbasiert konfigurierbaren Hardware-Testeinrichtung für eingebettete elektronische Systeme |
Prüfung: 05.07.2007 |
| Hua, Zhidong |
Ein robustes OFDM-Systemkonzept zur schnellen Datenübertragung in der kontaktlosen Energieversorgungstechnik |
Prüfung: 06.02.2007 |
| Frick, Gerd |
Entwurf einer Beschreibungssprache für eingebettete Echtzeit-Systeme. |
Prüfung: 13.07.2006 |
| von Wagner, Gero |
Entwicklung von Methoden zur Echtzeitanalyse von EKG-Signalen mit Neuro-Fuzzi-Systemen für Anwendungsszenarien der Telemedizin |
Prüfung: 27.04.2006 |
| Dreier, Rico |
Beitrag zur verteilten Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen beim Entwurf elektronischer Systeme im Automobil. |
Prüfung: 14.02.2006 |
| Kunze, Christophe |
Ubiquitous Healthcare: Anwendung ubiquitärer Informationstechnologien im Telemonitoring. |
Prüfung: 25.10.2005 |
| Reichmann, Clemens |
Grafisch notierte Modell-zu-Modell-Transformationen für den Entwurf eigebetteter elektronischer Systeme. |
Prüfung: 14.07.2005 |
| Rawer, Rainer |
Methoden, Systeme und Randbedingungen zur nicht-invasiven Glukosemessung am menschlichen Auge. |
Prüfung: 07.12.2004 |
| Abdallah, Omar |
Pulshemometrie: Optische non-invasive Bestimmung der Hämoglobinkonzentration und der fraktionellen Sauerstoffsättigung. |
Prüfung: 20.07.2004 |
| Mayer-Gindner, Andreas |
Elektrische Eigenschaften von speziellen Hautpunkten und Entwicklung eines Akupunkturpunkt-Detektors. |
Prüfung: 06.07.2004 |
| Hey, Stefan |
Berührungslose Anregung und Analyse von Schwingungen des menschlichen Auges zur Frühdiagnose einer Glaukomerkrankung. |
Prüfung: 10.11.2003 |
| Gundlach, Arnd |
Interferometrische Schwingungsanalyse des menschlichen Auges zur Bestimmung des Intraokulardrucks. |
Prüfung: 12.11.2002 |
| Spitzer, Bernhard |
Modellbasierter Hardware-in-the-Loop Test von eingebetteten elektronischen Systemen. |
Prüfung: 18.12.2001 |
| Elter, Peter |
Methoden und Systeme zur nichtinvasiven, kontinuierlichen und belastungsfreien Blutdruckmessung. |
Prüfung: 06.02.2001 |
| Stingl, Thomas |
Beitrag zur metrikbasierten Erfassung von CASE-Entwurfsumgebungen für elektronische Systeme. |
Prüfung: 19.12.2000 |
| Kouemou, Guy Leonard |
Atemgeräuscherkennung mit Markov-Modellen und Neuronalen Netzen beim Patientenmonitoring. |
Prüfung: 25.07.2000 |
| Burst, Alexander |
Rapid Prototyping eingebetteter elektronischer Systeme auf Basis des CDIF-Datenaustauschformats. |
Prüfung: 15.02.2000 |
| Drescher, Jörg |
Bestimmung des Intraoculardrucks aus dem Schwingungsverhalten des Humanauges. |
Prüfung: 10.02.2000 |
| Sax, Eric |
Beitrag zur entwurfsbegleitenden Validierung und Verifikation elektronischer mixed-signal Systeme. |
Prüfung: 16.12.1999 |
| Schmerler, Stefan |
Prädiktive Methoden für optimistische Synchronisationsprotokolle in der verteilten Simulation. |
Prüfung: 22.06.1998 |
| Tanurhan, Yankin |
Zum kooperativen Entwurf von eingebetteten Echtzeitsystemen. |
Prüfung: 12.02.1998 |
| Lehmann, Gunther |
Rechnerunterstützte Wiederverwendung von Hardware-Beschreibungsmodellen beim Entwurf digitaler Systeme. |
Prüfung: 15.12.1997 |
| Wunder, Bernhard |
Ein neues Konzept zur Modellierung und Timing-Simulation von VLSI-Systemen. |
Prüfung: 24.07.1997 |
Ehemalige Doktoranden Prof. Dr.-Ing. Dr.-Ing. h.c. Hans Martin Lipp
| Name |
Thema |
Datum |
| von Steuber, Otmar |
Graphenorientierte Methoden zur Durchführung des verketteten Ablaufs automatisierter Schaltungsentwürfe. |
Prüfung: 14.02.1995 |
| Maier, Martin |
Robuste Verfügung partiell definierter Steuerwerke für vorgegebene zweistufige Strukturen. |
1995 |
| Reither, Frank |
Reduktion und Abschätzung der Leistungsaufnahme in Steuerwerkssystemen. |
1994 |
| Bolender, Edgar |
Ein exaktes und robustes Verfahren für die Timing-Verifikation. |
1993 |
| Dudziak, Hilmar |
Ein Verfahren zur Berechnung zeitoptimaler Taktsysteme. |
1992 |
| Mensch, Siegfried |
Methoden zur effizienten Einbettung von Steuerwerken in kundenprogrammierbare Logikbausteine. |
1990 |
| Marktscheffel, Thomas |
Verfahren zum Entwurf von Schaltnetzen mit sicherem Zeitverhalten |
1989 |
| Kaiser, Karl-Heinz |
Algorithmen zur Zustandscodierung synchroner Steuerwerke |
1989 |
| Schäfer, Manfred |
Verfahren zur Testmustererzeugung für statische CMOS-Schaltnetze. |
1988 |
| Nolle, Manfred |
Eine Beschreibungssprache zum strukturierten Entwurf von komplexen digitalen Steuerwerken mit Nachweis der Lebendigkeit |
1986 |
| Lutz, Harald |
Algorithmen für den logischen Entwurf und ihre effiziente Implementierung auf Arbeitsplatzrechnern |
1985 |
| Sutter, Kurt |
Eine Methode zur Konstruktion effizienter Baumalgorithmen für den logischen Entwurf digitaler Einheiten |
1984 |
| Hamdoun, Abdellatif |
Zur zeitoptimalen Modellierung von Operationswerken durch Mikrorechnerprogramme |
1984 |
| Thurn, Klaus-Dieter |
Ein Beschreibungsverfahren zum Entwurf digitaler Steuerungen für nebenläufige Vorgänge |
1982 |
| Ditzinger, Albrecht |
Optimierung des Realisierungsaufwandes digitaler Steuerungen durch Modifikation der internen Schnittstellen |
1982 |
| Thelen, Bruno |
Untersuchungen von Algorithmen für den rechnergestützten logischen Entwurf digitaler Baugruppen |
1981 |
| Biehl, Günter |
Erhöhung der Arbeitsgeschwindigkeit digitaler Steuerungen durch Maximierung des Parallelitätsgrades |
1981 |
| Kreutz, Hartwig |
Entwurf von Schaltnetzen aus Zuordnerbausteinen durch Dekomposition von Bündeln unvollständiger Schaltfunktionen |
1980 |
| Zeumer, Wolfgang |
Ein Verfahren zur Zustandscodierung für komplexe digitale Schaltungen |
1979 |
| Meister, Wolfgang |
Ein Entwurfsverfahren zur kostenminimalen dreistufigen Realisierung von Schaltfunktionen |
1978 |
| Kirchner, Reinhard |
Asynchrone Schaltwerke mit Flankensteuerung |
1978 |
| Müller-Glaser, Klaus D. |
Reduktion der Verlustleistung von CMOS-Schaltungen durch logisch-strukturelle Maßnahmen |
1977 |
| Gröger, Hans-Joachim |
Rechnergestützte Aufteilung von Schaltwerken unter Berücksichtigung struktureller Eigenschaften |
1977 |
Ehemalige Doktoranden Prof. Dr.-Ing. Karl Steinbuch
| Name |
Thema |
Datum |
| Rupprecht, Werner |
Lineare Netzwerke mit negativer Gruppenlaufzeit |
1961 |
| Nili, Hassan |
Fehlerwahrscheinlichkeit und Geschwindigkeit bei der Übertragung digitaler Informationen durch Gruppen-Codes |
1963 |
| Schmitt, Erich |
Der Binärprädiktor |
1964 |
| Zendeh-Zartoshti, F. |
Selbstkorrigierende Zuordner für vollständige Codes |
1964 |
| Müller-Stoy, Peter |
Eigenschaften und Aufbau von Lernmatrizen für nichtbinäre Signale |
1964 |
| Kazmierczak, Helmut |
Konstruktion eines Ziffern-erkennenden Automaten auf der Grundlage des Potentialverfahrens |
1965 |
| Görke, Winfried |
Selbstkorrigierende Decodierschaltungen für Hammingcodes mit MIndestabständen zwei, drei und vier |
1965 |
| Wagner, Siegfried |
Automatische Stichwortanalyse nach dem Rangkriterienverfahren. |
1966 |
| von Keller, Theodor |
Die Kennzeichnung von Sprachlauten durch Spektrum, Autokorrelationsfunktion und Nulldurchgangsabstände |
1966 |
| Hönerloh, Hans-Jürgen |
Die Lernmatrix für binäre Signale |
1967 |
| Lipp, Hans-Martin |
Entwurf eines geschlossenen adaptiven Systems für diskrete deterministische Prozesse |
1967 |
| Dorsch, Bernhard |
Stufencodierung: ein neues Verfahren zur Fehlerkorrektur |
1968 |
| Schmid, Detlef |
Matrixförmige Klassifikatoren |
1968 |
| Wendt, Siegfried |
Trainingsmethoden zur stückweise linearen Separierung mit der Lernmatrix. |
1968 |
| Hanakata, Kenji |
Über Adaptivität und Lernen in diskreten stochastischen Systemen |
1969 |
| Hartenstein, Reiner |
Über die Anwendung des Endlichen Akzeptors auf das Zeichenerkennungsproblem |
1969 |
| Sties, Manfred |
Zur Beschreibung und Klassifizierung von Linienstrukturen |
1973 |
| Bohner, Manfred |
Ein Verfahren zur quantitativen Bestimmung der Unterscheidbarkeit gedruckter Schriftzeichen |
1974 |
| Vorgrimler, Klaus |
Zur Leistungssteigerung von Mehrprozessorsystemen für die Verarbeitung digitaler Bildinformation |
1976 |
