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