Research Group Operating Systems, Distributed Systems - Diploma Theses

Johannes Adams:
Codegenerierung aus UML-Statecharts für eingebettete Systeme

Helge Löding:
Behandlung komplexer Datentypen in der automatisierten Testdatengenerierung

Francis Joseph Yossi:
Generierung von Testdaten für Statecharts

Xavier Noumbissi Noundou:
Statistical test case generation for reactive systems

Christian Nawroth:
Implementierung eines Multi-CPU Schedulers für das HL3 Low Level Framework

Serge Achille Fopoussi Nono:
Methoden der Intervallanalyse für die automatische Testfallgenerierung

Franck Ghislain Ngueuleu Ngouche:
Entwurf und Realisierung einer Demonstratoranbindung für die verteilte Simulation von HybridUML-modell am Beispiel, Funkbasierten Fahrbetrieb

Christof Efkemann:
Development and evaluation of a hard real-time scheduling modification for Linux 2.6

...

...

Norbert Wagner:
Analyse der Linux-Treiberarchitektur und Implementierung eines Linux-Treibers für einen IEEE1394 Videokonverter

Marko Schröder:
Testprozeßoptimierung von kommerziellen Datenbankanwendungen

...

Mark Hapke:
Treiberarchitektur für eine Echtzeiterweiterung eines Linux-Multiprozessorsystems

Klaas-Henning Zweck:
Kernelbasierte Echtzeiterweiterung eines Linux-Multiprozessorsystems

...

Harald Wagener:
Oberon lernt JAVA
- Coffe addicts in faerieland -

Torsten Stange:
Wiederverwendung von Software - Entwurfsmuster für sicherheitsrelevante Systeme

Joerg Gehrken:
Automatische Life- und Deadlockanalyse von CSP-Spezifikation basierend auf Kommuniktionsgraphen

Sönke Jarré:
Produktmetriken für Software-Anforderung Eine Fallstudie zur Verwendung des ARM-Werkzeugs

Michael Kersten:
Die symbolische Ausführung von CSP-Spezifikationen

Olaf Bissendorf und Karoly Kiss:
Ergebnisbasiertes Testen von Windows-Anwendung

Donald Molnar-Sipan:
Konzepte für die schrittweise Migration von Microsoft Windows NT 4.0 Server zum Linux-Server

Stefan Bisanz und Ingo Fiß:
Grafischer Entwurf von CSP-Spezifikationen für den Test eingebetter Echtzeitsysteme

Andreas Rugo:
Verifikation des Doppelrechnersystems: Fallstudie nichtdeterministischer sequentieller Programme

Markus Dahlweid und Uwe Schulze:
Symbolic Execution of CSP Specifications CIaO-CSP Interpreter applying the Operational Semantics