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

Betriebssysteme, Verteilte Systeme - Dissertationen

 
Diplomarbeiten   Dissertationen   Habilitationen

Dissertationen


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

 
   
Autor: jp
 
  AG Betriebssysteme, Verteilte Systeme 
Zuletzt geändert am: 11. November 2015   Impressum