Scientific Service

Organization of Workshops

• 12th Workshop on Algorithms and Tools for Petri nets (AWPN 2005)

Programme Committee Membership

• 34th International Conference on Application and Theory on Petri Nets (Petri Nets 2013)
• 9th International Workshop on Web Services and Formal Methods (WSFM 2012)
• 10th International Conference on Business Process Management (BPM 2012)
• 4th Central European Workshop on Services and their Composition (ZEUS 2012)
• 9th International Conference on Business Process Management (BPM 2011)
• 3d Central European Workshop on Services and their Composition (ZEUS 2011)
• 2nd Central European Workshop on Services and their Composition (ZEUS 2010)
• 5th International Workshop on Web Services and Formal Methods (WSFM 2008)

Supervision of Theses

• Michel van Welie, Master project (Evaluation Committee) (03/2012)
• Dennis Haverkamp, Master project (Evaluation Committee) (08/2011)
• Wouter Haffmans, Master project (Evaluation Committee) (06/2011)
• Emiel van Benthum, Master project (Evaluation Committee) (10/2010)
• Rico Bergmann, Bachelor project (07/2008)
• Daniel Janusz, Bachelor project (04/2008)
• Thomas Pillat, Master project (03/2008)
• Katharina Görlach, Master project (03/2008)
• Katharina Görlach, Bachelor project (05/2007)
• Alexandra Julius, Master project (05/2007)
• Peter Laufer, Bachelor project (05/2006)
• Jan Bretschneider, Bachelor project (02/2006)
• Alexandra Julius, Bachelor project (12/2005)
• Sebastian Hinz, Master project (03/2005)
• Stephan Weißleder, Master project (11/2004)

Teaching

• Lecture Business Information Systems (BIS) 2012
• Instructions Business Information Systems (BIS) 2011/12
• Instructions Business Information Systems (BIS) 2011
• Instructions Business Information Systems (BIS) 2010/11
• Seminar on Static Program Analysis (together with Peter Massuthe), Humboldt Universität zu Berlin, 2005/06