Presentations

Invited Presentations

• Verification with LoLA
  full-day tutorial; satellite event of the PETRI NETS 2011/ACSD 2011 conferences
  June 20, 2011 in Newcastle upon Tyne, UK
• Correcting Deadlocking Service Choreographies
  invited lecture at the School of Electrical and Computer Engineering at the College of Engineering of the University of Teheran
  March 7, 2011 in Teheran, Iran
• State Space Reduction Techniques to Verify Business Processes
  invited lecture at the Business Process Management course at the Hasso-Plattner-Institute
  January 11, 2010 in Potsdam, Germany
• Tools4BPEL Tutorial
  part of the Advanced Tutorial on Petri Net Modelling of Business Processes; satellite event of the PETRI NETS 2006/ACSD 2006 conferences
  June 27, 2006 in Turku, Finland

Conference Presentations

• Decidability Results for Choreography Realization
  Ninth International Conference on Service-Oriented Computing (ICSOC 2011)
  December 6, 2011 in Paphos, Cyprus
• Compliance by Design for Artifact-Centric Business Processes
  Ninth International Conference on Business Process Management (BPM 2011)
  September 1, 2011 in Clermont-Ferrand, France
• Artifact-Centric Choreographies
  Eighth International Conference on Service-Oriented Computing (ICSOC 2010)
  December 8, 2010 in San Francisco, CA, USA
• How to implement a theory of correctness in the area of business processes and services
  Eighth International Conference on Business Process Management (BPM 2010)
  September 16, 2010 in Hoboken, NJ, USA
• Wendy: A tool to synthesize partners for services
  31st International Conference on Petri Nets and Other Models of Concurrency (PETRI NETS 2010)
  June 21, 2010 in Braga, Portugal
• Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
  Sixth International Conference on Business Process Management (BPM 2008)
  September 2, 2008 in Milan, Italy
• Extending the Compatibility Notion for Abstract WS-BPEL Processes
  17th International Conference on the World Wide Web (WWW 2008)
  April 24, 2008 in Beijing, China
• Übersetzung von Petrinetzen in BPEL-Prozesse
  Modellierung 2008
  March 13, 2008 in Berlin, Germany
• Behavioral Constraints for Services
  Fifth International Conference on Business Process Management (BPM 2007)
  September 27, 2007 in Brisbane, Australia
• Analyzing Interacting BPEL Processes
  Fourth International Conference on Business Process Management (BPM 2006)
  September 5, 2006 in Vienna, Austria

Workshop Presentations

• Artifact-centric modeling using BPMN
  6th International Workshop on Engineering Service-Oriented Applications (WESOA'11)
  December 5, 2011 in Paphos, Cyprus
• Internal Behavior Reduction for Partner Synthesis
  Third Central-European Workshop on Services and their Composition (ZEUS 2011)
  February 22, 2011 in Karlsruhe, Germany
• The Petri Net API — A collection of Petri net-related functions
  17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010)
  October 7, 2010 in Cottbus, Germany
• Communication Models for Services
  Second Central-European Workshop on Services and their Composition (ZEUS 2010)
  February 25, 2010 in Berlin, Germany
• From Public Views to Private Views — Correctness-by-Design for Services
  4th International Workshop on Web Services and Formal Methods (WS-FM 2007)
  September 28, 2009 in Brisbane, Australia
• A Feature-Complete Petri Net Semantics for WS-BPEL 2.0
  4th International Workshop on Web Services and Formal Methods (WS-FM 2007)
  September 28, 2009 in Brisbane, Australia
• Analyzing BPEL4Chor: Verification and Participant Synthesis
  4th International Workshop on Web Services and Formal Methods (WS-FM 2007)
  September 28, 2009 in Brisbane, Australia
• Diagnosing and Repairing Data Anomalies in Process Models
  5th International Workshop on Business Process Design (BPD 2009); part of BPM 2009
  September 7, 2009 in Ulm, Germany
• Realizability is Controllability
  6th International Workshop on Web Services and Formal Methods (WS-FM 2009)
  September 4, 2009 in Bologna, Italy
• Realisierbarkeit ist Bedienbarkeit
  First Central-European Workshop on Services and their Composition (ZEUS 2009)
  April 3, 2009 in Stuttgart, Germany
• Decentralized Controllability
  Berlin-Eindhoven Service Technology Colloquium 2009 (B.E.S.T. 2009)
  March 23, 2009 in Eindhoven, The Netherlands
• Test Suite Generation for Services
  Fourth International Workshop on Engineering Service-Oriented Applications: Analysis and Design (WESOA 2008); part of ICSOC 2008
  December 1, 2008 in Sydney, Australia
• Teilen und Herrschen von Bedienungsanleitungen
  15th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2008)
  September 27, 2008 in Rostock, Germany
• Why does my service have no partners?
  5th International Workshop on Web Services and Formal Methods (WS-FM 2008)
  September 5, 2008 in Milan, Italy
• Fixing Choreographies Using a Simulation-based Graph Edit Distance
  3rd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2008)
  June 12, 2008 in London, Great Britain
• Diagnosis of Open Workflow Nets
  Berlin-Eindhoven Service Technology Colloquium 2007 (B.E.S.T. 2007)
  August 16, 2007 in Eindhoven, The Netherlands
• A Feature-Complete Petri Net Semantics for WS-BPEL 2.0
  Formal Approaches to Business Processes and Web Services (FABPWS'07); part of ATPN 2007
  June 26, 2007 in Siedlce, Poland
• Analyzing Web Service Behavior
  Programming Paradigms for the Web: Web Programming & Web Services (Dagstuhl-Seminar 07051)
  January 28, 2007 in Dagstuhl, Germany
• Analyzing Interacting BPEL Processes — An Overview of the Chair's Work
  Berlin-Eindhoven Service Technology Colloquium 2006 (B.E.S.T. 2006)
  August 30, 2006 in Eindhoven, The Netherlands
• A Local Cut-off Criterion for Unfoldings of Safe Petri Nets
  Doctoral Consortium ACSD & Petri Nets 2006; part of ATPN 2006
  June 27, 2006 in Turku, Finland
• Modellierung eines verteilten Algorithmus
  Luhme X
  October 14, 2004 in Groß Köris, Germany

Tool Demonstrations

• service-technology.org — A tool family for correct business processes and services
  Eighth International Conference on Business Process Management (BPM 2010)
  September 16, 2010 in Hoboken, NJ, USA
• Wendy: A tool to synthesize partners for services
  31st International Conference on Petri Nets and Other Models of Concurrency (PETRI NETS 2010)
  June 20, 2010 in Braga, Portugal
• Tools4BPEL4Chor
  3rd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2008)
  June 13, 2008 in London, Great Britain
• Demonstration of BPEL2oWFN and Fiona
  Berlin-Eindhoven Service Technology Colloquium 2006 (B.E.S.T. 2006)
  September 1, 2006 in Eindhoven, The Netherlands
• Analyzing Interacting BPEL Processes — A Tool Demo
  The Role of Business Processes in Service Oriented Architectures (Dagstuhl-Seminar 06291)
  July 21, 2006 in Dagstuhl, Germany
• Tools4BPEL Tool Demonstration
  Advanced Tutorial on Petri Net Modelling of Business Processes; satellite event of the PETRI NETS 2006/ACSD 2006 conferences
  June 27, 2006 in Turku, Finland

Miscellaneous

• Correctness of services and their composition
  Overview talk given at the PhD defense ceremony at the Technische Universiteit Eindhoven
  September 27, 2010 in Eindhoven, The Netherlands
• Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA-Interleavingsemantik
  Talk given at the diploma defense ceremony at Humboldt-Universität zu Berlin
  September 23, 2005 in Berlin, Germany
• Implementation of an Interleaving Semantics for TLDA
  Overview talk for the Studienarbeit thesis at Humboldt-Universität zu Berlin
  May 7, 2005 in Berlin, Germany