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“