Friedrich-Alexander-Universität Erlangen-Nürnberg  /   Technische Fakultät  /   Department Informatik

Dissertations at CS 4 at FAU

Strübe, Moritz:
E-Book Investigation of deployment-specific simulation for the optimization of wireless sensor networks.
Braunschweig, Technische Universität Braunschweig, Ph.D. thesis, 2017.
- 159 pages.
Keywords: WSN; Wireless Sensor Networks; Simulation; Contiki; Cooja;
[doi>10.24355/dbbs.084-201802021036] (BibTeX)

Hönig, Timo:
Proactive Energy-Aware Computing.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2017.
- 209 pages.
Keywords: Energy Demand Analysis; Energy Measurement; Energy-Aware Programming; Operating System; Program Analysis; Symbolic Execution; System on a Chip (BibTeX)

Schultis, Klaus-Benedikt:
Architectural Collaboration in Internal Software Ecosystems.
Erlangen-Nuremberg, Friedrich-Alexander-University (FAU), Ph.D. thesis, 2016.
- 162 pages. (BibTeX)

Stilkerich, Isabella:
Cooperative Memory Management in Safety-Critical Embedded Systems.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2016.
- 188 pages.
Keywords: Memory Management; Real-Time Systems; Type-safe Runtime Systems; Functional Safety; Dependable Software Architectures; KESO (BibTeX)

Hoffmann, Martin:
Konstruktive Zuverlässigkeit: Eine Methodik für zuverlässige Systemsoftware auf unzuverlässiger Hardware.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2016.
- 180 pages.
Keywords: Betriebssysteme, Zuverlässigkeit, Redundanz, Echtzeitsysteme, arithmetische Codierung, dOSEK, Fehlerinjektion, funktionale Sicherheit (BibTeX)

Ulbrich, Peter:
Ganzheitliche Fehlertoleranz in eingebetteten Softwaresystemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2014.
- 180 pages.
Keywords: CoRed; Combined Redundancy; Soft Errors; Transiente Hardwarefehler; Redundanz; Sicherheitskritische Systeme; Eingebettete Systeme; Embedded Systems; Echtzeitsysteme; ARES; ESI (BibTeX)

Distler, Tobias:
Resource-efficient Fault and Intrusion Tolerance.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2014.
- 194 pages. (BibTeX)

Hofer, Wanja:
Sloth: The Virtue and Vice of Latency Hiding in Hardware-Centric Operating Systems.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2014.
- 222 pages.
Keywords: Sloth; AUTOSAR; Embedded System; Event-Triggered System; Microcontroller; Operating System; Real-Time System; Scheduling; Sloth; Time-Triggered System (BibTeX)

Tartler, Reinhard:
Mastering Variability Challenges in Linux and Related Highly-Configurable System Software.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2013.
- 178 pages. (BibTeX)

Sincero, Julio:
Variability Bugs in System Software.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2013.
- 132 pages. (BibTeX)

Elsner, Christoph:
Automating Staged Product Derivation for Heterogeneous Multi-Product-Lines.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2012.
- 172 pages.
Keywords: Software Engineering; Software Reuse; Software Product Line Engineering; Product Derivation; Model-Driven Development (BibTeX)

Stilkerich, Michael:
Memory Protection at Option - Application-Tailored Memory Safety in Safety-Critical Embedded Systems.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2012.
- 191 pages.
Keywords: memory protection, embedded system, Java Virtual Machine, AUTOSAR, OSEK, KESO, CiAO (BibTeX)

Söldner, Guido:
Semantische Adaption von Komponenten.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2012.
- 144 pages. (BibTeX)

Scheler, Fabian:
Atomic Basic Blocks: Eine Abstraktion für die gezielte Manipulation der Echtzeitsystemarchitektur.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2011.
- 171 pages.
Keywords: Echtzeitsystemarchitektur; Atomic Basic Blocks; ABB; Real-Time Systems Compiler; RTSC; zeitgesteuerte Systeme; ereignisgesteuerte Systeme; Real-Time Systems Architecture; Atomic Basic Blocks; Real-Time Systems Compiler; Time-triggered; Event-triggered (BibTeX)

Stellwag, Philippe:
Design Patterns of Parallel Control Systems.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2011.
- 169 pages.
Keywords: pCtrl, Nonblocking Coordination, Synchronization, Real-Time Systems, Control Systems (BibTeX)

Lohmann, Daniel:
Aspect-Awareness in the Development of Configurable System Software.
Erlangen, Friedrich-Alexander Universität Erlangen-Nürnberg, Ph.D. thesis, 2009.
- 260 pages.
Keywords: AOP, Aspect-oriented Programming, SPL, Software Product Lines, OS, Operating Systems, AspectC++, Embedded Systems, CiAO (BibTeX)

Wawersich, Christian Walter Alois:
KESO: Konstruktiver Speicherschutz für Eingebettete Systeme.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2009.
- 179 pages.
Keywords: KESO (BibTeX)

Felser, Meik:
Dynamische Adaption in heterogenen und verteilten eingebetteten Systemen.
Erlangen, Friedrich-Alexander Universität Erlangen-Nürnberg, Ph.D. thesis, 2008.
- 143 pages.
Keywords: Anpassung; Mikrocontroller; dynamisches Binden; Fernwartung (BibTeX)

Gilani, Wasif:
A Family-Based Dynamic Aspect Weaver.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2007 (BibTeX)

Frieß, Wolfgang:
Integration von konfigurierbaren Softwaremodulen in eingebettete Systeme.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2007 (BibTeX)

Kapitza, Rüdiger:
Providing Decentralised Adaptive Services.
Erlangen, FAU Erlangen-Nürnberg, Ph.D. thesis, 2007
(Providing Decentralised Adaptive Services Vol. 40, No. 7).
- 200 pages. (BibTeX)

Kubica, Stefan:
Variantenmanagement modelbasierter Funktionssoftware mit Software-Produktlinien.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2007 (BibTeX)

Weißel, Andreas:
Operating System Services for Task-Specific Power Management.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2006 (BibTeX)

Essafi, Lassaad:
Performance Analysis of Time Dependent Priorities and Application - To Differentiated Services and Call Centers.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2006 (BibTeX)

Barner, Jörg:
A Lightweight Formal Method for the Prediction of Non-Functional System Properties.
Erlangen, Friedrich-Alexander-Universität, Ph.D. thesis, 2005
(Arbeitsberichte des Instituts für Informatik Vol. 38, No. 4).
- 177 pages. ISSN 1611-4205
Keywords: Formale Methode; Modellbildung; Leistungsbewertung; Software-Engineering (BibTeX)

Schnitzer, Bernd:
Sicherheitsbewertung verteilter komponentenbasierter Programme.
Erlangen, Friedrich-Alexander-Universität, Ph.D. thesis, 2005
(Arbeitsberichte des Instituts für Informatik Vol. 38, No. 2).
- 204 pages. ISSN 1611-4205 (BibTeX)

Schnitzer, Bernd:
Sicherheitsbewertung verteilter komponentenbasierter Programmsysteme.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2005 (BibTeX)

Rastofer, Uwe:
Modeling Component-Based Embedded Real-Time Systems.
Erlangen, Friedrich-Alexander-Universität, Ph.D. thesis, 2004
(Arbeitsberichte des Instituts für Informatik Vol. 37, No. 5).
- 204 pages. ISSN 1611-4205
Keywords: Eingebettetes Echtzeitsystem; Komponenten; Metamodellierung (BibTeX)

Dressler, Falko:
Monitoring of Multicast Networks for Time-Synchronous Communication.
Erlangen, FAU, Ph.D. thesis, 2003
(Arbeitsberichte des Instituts für Informatik Vol. 36, No. 4).
- 239 pages. ISSN 1611-4205
Keywords: Quality of Service, (BibTeX)

Golm, Michael:
The Structure of a Type-Safe Operating System.
Erlangen, Friedrich-Alexander-Universität, Ph.D. thesis, 2003
(Arbeitsberichte des Instituts für Informatik Vol. 36, No. 6).
- 172 pages. ISSN 1611-4205 (BibTeX)

Becker, Ulrich:
Verteilung von objektorientierten Anwendungen auf der Basis des Entwurfs-Modells.
Erlangen, Friedrich-Alexander-Universität, Ph.D. thesis, 2003
(Arbeitsberichte des Instituts für Informatik Vol. 36, No. 7).
- 175 pages. ISSN 1611-4205 (BibTeX)

Golm, Michael:
The Structure of a Type-Safe Operating System.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2002 (BibTeX)

Meier, Erich:
Administrative Skalierbarkeit verteilter Systeme.
Erlangen, Universität Erlangen-Nürnberg, Ph.D. thesis, 2001 (BibTeX)

Schröder, Michael:
Automatische Objekt- und Threadverteilung in einer virtuellen Maschine.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2001 (BibTeX)

Geier, Martin :
Fragmentierte Objekte für die Implementierung mobiler Agenten.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2001 (BibTeX)

Steckermeier, Martin :
Virtuelle, private Rechner - Eine Software-Architektur für verteilte Systeme.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2001 (BibTeX)

Greiner, Stefan:
Modellierung und Analyse von Betriebssystemen mittels erweiterter Warteschlangentechniken und Petrinetzen.
Erlangen, Universität Erlangen-Nürnberg, Ph.D. thesis, 2000.
- 130 pages. (BibTeX)

Herold, Helmut:
MOSEL: An universal language for modeling, computer, communication, and manufacturing systems.
Erlangen, Universität Erlangen-Nürnberg, Ph.D. thesis, 2000.
- 218 pages. (BibTeX)

Reitzner, Stephan:
Koordinierung in nebenläufigen, objektorientierten Systemen.
Erlangen, Friedrich-Alexander Universität, Ph.D. thesis, 1999
(Arbeitsberichte des IMMD Vol. 32, No. 06).
- 118 pages. ISSN 0344-3515 (BibTeX)

Riechmann, Thomas:
Sicherheit in verteilten, objektorientierten Systemen.
Erlangen, Friedrich-Alexander Universität, Ph.D. thesis, 1999
(Arbeitsberichte des IMMD Vol. 32, No. 05).
- 146 pages. ISSN 0344-3515 (BibTeX)

Koppe, Christoph:
Systemintegration des User-Level-Scheduling: Betriebssystemdienste zur Unterstützung der parallelen Programmierung.
Erlangen, Friedrich-Alexander Universität, Ph.D. thesis, 1999
(Arbeitsberichte des IMMD Vol. 32, No. 04).
- 137 pages. ISSN 0344-3515 (BibTeX)

Bellosa, Frank:
Three Dimensions of Scheduling.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1999 (BibTeX)

Hahn, Thomas:
Anwendung und Parallelisierung von Verfahren zur Leistungsoptimierung von Rechensystemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1998 (BibTeX)

Kardel, Frank:
Archivierung von hierarchisch organisierten Dateistrukturen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1996 (BibTeX)

Stukenbrock, Wolfgang:
Das Konzept einer Maschinenkontrollschicht für Betriebssysteme.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1996 (BibTeX)

Rüth, Armin:
Einsatzmöglichkeiten von Fuzzy-Strategien in Betriebssystemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1996 (BibTeX)

Jarschel, Werner:
Analytische und simulative Leistungsbewertung des photolitographischen Prozesses mit Petri-Netzen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1995 (BibTeX)

Heite, Reinhard:
Geschützte Objektreferenzen und dynamische Typisierung in verteilten heterogenen Systemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1995 (BibTeX)

Husemann, Dirk:
Multimedia Data Streams in Distributed Object-Oriented Operating Systems.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1995 (BibTeX)

Eirich, Thomas:
Persistenzkonzepte für verteilte Objektsysteme.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1995 (BibTeX)

Turowski, Stefan:
Struktur und Verteilung von Programmpaketen in heterogenen Netzwerken.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1995 (BibTeX)

Hauck, Franz:
Typen, Klassen und Vererbung in verteilten objektorientierten Systemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1994 (BibTeX)

Rotzoll, Babette:
Dynamischer Multiprogramm-Betrieb von MIMD Parallelrechnersystemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1993 (BibTeX)

Dobler, Gabriele:
Einsatz des ISO-Transaktionsdienstes zur Echtzeitkommunikation in verteilten Systemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1993 (BibTeX)

Fäustle, Michael:
Beschreibung der Verteilung in objektorientierten Systemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1992 (BibTeX)

Monge, Raúl:
Kommunikation in verteilten, objektbasierten Systemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1992 (BibTeX)

Kleinöder, Jürgen:
Objekt- und Speicherverwaltung in einer offenen, objektorientierten Betriebssystemarchitektur.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1992 (BibTeX)

de Meer, Hermann:
Transiente Leistungsbewertung und Optimierung rekonfigurierbarer fehlertoleranter Rechensysteme.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1992 (BibTeX)

Jung, Hermann:
Leistungsbewertung UNIX-basierter Betriebssysteme für Multiprozessoren mit globalem Speicher.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1991 (BibTeX)

Zeis, Georg:
Methoden zur Steigerung der Wiederverwendbarkeit von Softwarekomponenten in der Fertigungsautomatisierung.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1991 (BibTeX)

Kramer, Martin:
Software-implementierte Fehlertoleranzmechanismen für objektorientierte, verteilte Systeme.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1991 (BibTeX)

Hofmann, Wilhelm:
Die Koordinierung in Betriebssystemen für Multiprozessoren.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1990 (BibTeX)

Fleischmann, Georg:
Leistungsbewertung paralleler Programme für MIMD-Architekturen: Modellbildung und mathematische Analyse.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1990 (BibTeX)

Schlenk, Peter:
Struktur und Verhalten in verteilten Systemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1990 (BibTeX)

Hergenröder, Gerhard:
ALLOC-Ein wissensbasierter Ansatz zur Lösung des Allokationsproblems von Tasks in verteilten Realzeitsystemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1989 (BibTeX)

Kummer, Robert:
Untersuchung von Sicherungsmaßnahmen für verteilte Systeme unter Verwendung eines geeigneten Betriebssystemmodells.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1989 (BibTeX)

Neumeier, Iris:
Modellierung und Implementierung kommunizierender Systeme mit Hilfe von Regeln.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1988 (BibTeX)

Kaiserswerth, Matthias:
Der Fernaufruf als Betriebssystemdienst.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1987 (BibTeX)

Schaub, Jutta:
Spezifikation graphisch interaktiver Benutzerschnittstellen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1987 (BibTeX)

Bathelt, Peter:
Der Dominoeffekt in der Fehlerbehandlung von Prozeßsystemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1986 (BibTeX)

Schröder-Preikschat, Wolfgang:
Eine Familie UNIX-ähnlicher Betriebssysteme - Anwendung von Prozessen und des Nachrichtenübermittlungskonzeptes beim strukturierten Betriebssystementwurf.
Berlin, Germany, Technische Universität Berlin, Ph.D. thesis, 1986.
- 216 pages. (BibTeX)

Hellmold, Kurt-Ulrich:
Zur Simulation von zeitdiskreten Systemen auf GPSS-FORTRAN Basis.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1985 (BibTeX)

Hoppe, Beate:
Deterministisches Zuordnen vielfach durchlaufener Aufgabensysteme in Multiprozessorsystemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1984 (BibTeX)

Fleischmann, Albert:
Ein Konzept zur Darstellung und Realisierung von verteilten Prozeßautomatisierungssystemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1984 (BibTeX)

Akyildiz, Ian Fuat:
Leistungsanalyse von Multiprozessorsystemen mit Prozeßkommunikation.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1984 (BibTeX)

Winkelmann, Klaus Michael:
Prozeßkoordinierung durch Verwendung von Fortsetzungsbedingungen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1984 (BibTeX)

Weber, Karl:
Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1983 (BibTeX)

Mackert, Lothar:
Modellierung, Spezifikation und korrekte Realisierung von asynchronen Systemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1983 (BibTeX)

Woitok, Rainer:
Die Systemimplementierungssprache ALICE.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1982 (BibTeX)

Wittmann, Andreas:
Ein Mechanismus für die Synchronisation paralleler Prozesse.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1981 (BibTeX)

Linster, Claus-Uwe:
SYMPOS/UNIX - Ein Betriebssystem für homogene Polyprozessorsysteme.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1981 (BibTeX)

Wurm, Franz Xaver:
Auftragssystem für eine Mehrprozessanlage.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1980 (BibTeX)

Wunderatsch, Hartmut:
Deterministisches Zuordnen in heterogenen Prozessorsystemen mit Pseudoboole Methoden.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1979 (BibTeX)

Wendler, Klaus-Dietrich:
Betriebssystemaspekte in hierarchisch modularen Polyprozessorsystemen - Modellierungsansätze und Koordinierungsmechanismen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1978 (BibTeX)

Elzer, Peter:
Strukturierte Beschreibung von Prozeßsystemen.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1978 (BibTeX)

Keramidis, Sawwas:
Ein allgemeines formales Modell für Betriebssysteme und dessen Implementierung.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 1977 (BibTeX)