Research Group Operating Systems, Distributed Systems - Dissertation Theses

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

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

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

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

Tatiana Mangels:
Integrated Module Testing and Module Verification

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

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

Aliki Ott:
System Testing in the Avionics Domain

Stefan Bisanz:
Executable HybridUML. A Transformation Definition.

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

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

Erich Mikk:
Sematik und Verifikation von Statecharts

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

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

Rait Harnett:
Logically timed Chu Process Semantics for Statecharts