2015

Christopher Drews: Evaluation Approaches for the Migration of BPM Systems on the example of TIBCO iProcess and TIBCO Active Matrix

2013

Thomas Podelleck: Über das Erkennungsproblem von Oppositionsgraphen

Johannes Holtz: Konzeption und Implementierung einer Software zur mobilen Vortragserstellung

2012

Sebastian Groth: Unternehmensmodellierung zur Verbesserung von Beschaffungsprozessen am Beispiel Baustellenmanagement bei der SEAR GmbH

Jana Kiesendahl: Konsolidierung von inhomogenen und komplexen Prozessstrukturen durch einheitliches Projektmanagement

Gordian Klein: Zu effizient lösbaren Spezialfällen des NP-vollständigen Problems Maximum Induced Matching

2009

Jan Sürmeli: Strukturelle Analyse von Servicenetzen

Cornelius Schöne: Konzeption eines Output Management Systems zur Administration dokumentenbasierter Outputprozesse am Beispiel der Deutschen Lufthansa AG

Richard Müller: Formal Characterisation of Partners of an Open Net

Claudia Wermter: Erfassung, Modellierung, Analyse und Optimierung von Geschäftsprozessen der Abteilungen Physiotherapie und Sporttherapie in der Kurklinik Fachklinik Sonnenschein Boltenhagen GmbH

2008

Christian Gierds: Strukturelle Reduktion von Bedienungsanleitungen

Patrick Köhnen: Synthese offener Workflownetze aus Serviceautomaten

Katharina Görlach: Ein Verfahren zur abstrakten Interpretation von XPath-Ausdrücken in WS-BPEL-Prozessen

Thomas Pillat: Gegenüberstellung struktureller Reduktionstechniken für Petrinetze

2007

Alexandra Julius: Abstrakte Datenflussmodelle für GALS-Schaltungen zum Nachweis nicht-funktionaler Eigenschaften

Michael Westergeard: Looking Good, Behaving: Well Behavioural Verification and Visualisation of Formal Models of Concurrent Systems

2006

Kathrin Kaschner: BDD-basiertes Matching von Services

2005

Alexander Brade: Übersetzung graphischer Verhaltensbeschreibungen von Services in Abstract State Machines

Sebastian Hinz: Implementierung einer Petrinetz-Semantik für BPEL

Elke Salecker, Nora Toussaint: Gegenbeispielgesteuerte Abstraktionsverfeinerung in High-Level-Petrinetzen

1998

Stephan Roch: Definition und Berechnung sturer Schrittmengen in Signal-Ereignis-Netzen