Research Group Operating Systems, Distributed Systems - Dissertation Theses

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