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

Research Group Operating Systems, Distributed Systems - Dissertation Theses

 
Diploma Theses   Dissertation Theses   Habilitation Theses

Dissertation Theses


2015    

Dirk Radder:
Hard Real-Time Linux for Off-The-Shelf Multicore Architectures

 
2014    

Helge Löding:
Model-based scenario testing and model checking with applications in the railway domain

 
2014    

Blagoy Genov:
The Convex Hull Problem in Practice. Improving the Running Time of the Double Description Method

 
2014    

Christof Efkemann:
A Framework for Model-based Testing of Integrated Modular Avionics

 
2013    

Tatiana Mangels:
Integrated Module Testing and Module Verification

 
2012    

Johannes Feuser:
Open Source Software for Train Control Applications and its Architectural Implications

 
2009    

Kirsten Mewes:
Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation

 
2007    

Aliki Ott:
System Testing in the Avionics Domain

 
2005    

Stefan Bisanz:
Executable HybridUML. A Transformation Definition.

 
2004    

Markus Dahlweid, Uwe Schulze:
High Level Transition Systems of CSP Specifications and their Application in Automated Testing

Detlef Kendelbacher:
Architekturkonzept und Designaspekte einer signaltechnisch nichtsicheren Kommunikationsplattform für sicherheitsrelevante Bahnanwendungen

 
2001    

Oliver Meyer:
Structural Decomposition of Timed CSP and its Application in Real-Time Testing

Mark Richters:
A Precise Approche to Validating UML Models and OCL Constraints

 
2000

Erich Mikk:
Sematik und Verifikation von Statecharts

 
1999

Peter Amthor:
Structural Decomposition of Hybrid Systems Test Automation for Hybrid Reactive Systems

 
1998

Michael Schrönen:
Methodology for the Development of Microprocessor-Based Safety-Critical Systems

 
1997

Rait Harnett:
Logically timed Chu Process Semantics for Statecharts

 
   
Author: jp
 
  AG BS 
Last updated: November 11, 2015   Impressum