2021

Ronny Tredup: Zur Komplexität der Synthese von Petri-Netzen

Torsten Liebke: Improving Explicit Model Checking for Petri Nets

2016

Kathrin Kaschner: Behavioral Testing of Services

2010

Daniela Weinberg: Deciding Service Substitution – Termination guaranteed

Niels Lohmann: Correctness of Services and their Composition