Dissertationen

2010

Ahmed Mahmoud Hany Aly Awad

A Compliance Management Framework for Business Process Models

 

Jarungjit Parnjai

Behavioral Service Substition: Analysis and Synthesis

 

Daniela Weinberg

Deciding Service Substitution – Termination guaranteed

 

Artem Polyvyanyy

Structuring Process Models

 

Niels Lohmann

Correctness of Services and their Composition

 

Sergey Smirnov

Business Process Model Abstraction

 

2003

Thomas Mailund

Sweeping the State Space: A Sweep-Line State Space Exploration Method

 

2001

Sibylle Peuker

Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen