Universität Bremen  
  Universität Bremen FB3 TZI BISS  
  AG BS > Betriebssysteme, Verteilte Systeme > Deutsch
English
 

Research Group Operating Systems, Distributed Systems - Diploma Theses

 
Diploma Theses   Dissertation Theses   Habilitation Theses

Diploma Theses


2007    

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

 
2006    

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

 
2005    

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

...

2004    

...

 
2003    

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

Marko Schröder:
Testprozeßoptimierung von kommerziellen Datenbankanwendungen

...

 
2002    

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

Klaas-Henning Zweck:
Kernelbasierte Echtzeiterweiterung eines Linux-Multiprozessorsystems

...

 
2001    

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

 
2000

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

 
1999

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

 
1998

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

 
   
Author: jp
 
  AG BS 
Last updated: November 2, 2022   Impressum