Chun Ouyang

Suriadi Suriadi, Chun Ouyang, Ernest Foo: Privacy Compliance Verification in Cryptographic Protocols. T. Petri Nets and Other Models of Concurrency 6: 251-276 (2012)

Suriadi Suriadi, Chun Ouyang, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Root Cause Analysis with Enriched Process Logs. Business Process Management Workshops 2012: 174-186

Amin Jalali, Petia Wohed, Chun Ouyang: Aspect Oriented Business Process Modelling with Precedence. BPMN 2012: 23-37

Amin Jalali, Petia Wohed, Chun Ouyang: Operational Semantics of Aspects in Business Process Management. OTM Workshops 2012: 649-653

Wasana Bandara, Chun Ouyang: Analysing And Improving A Recruitment Process: A Teaching Case For Developing Business Process Improvement Capabilities. PACIS 2012: 150

Moe Thandar Wynn, Chun Ouyang, Arthur H. M. ter Hofstede, Colin J. Fidge: Data and process requirements for product recall coordination. Computers in Industry 62(7): 776-786 (2011)

Chun Ouyang, Moe Thandar Wynn, Jan-Christian Kuhr, Michael Adams, Thomas Becker, Arthur H. M. ter Hofstede, Colin J. Fidge: Workflow support for scheduling in surgical care processes. ECIS 2011

Chun Ouyang, Marlon Dumas, Petia Wohed: The Business Process Execution Language. Modern Business Process Automation 2010: 385-400

Chun Ouyang: YAWL4Film. Modern Business Process Automation 2010: 567-587

Chun Ouyang, Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Jan Mendling: From business process models to process-oriented software systems. ACM Trans. Softw. Eng. Methodol. 19(1) (2009)

Suriadi Suriadi, Chun Ouyang, Jason Smith, Ernest Foo: Modeling and Verification of Privacy Enhancing Protocols. ICFEM 2009: 127-146

Remco M. Dijkman, Marlon Dumas, Chun Ouyang: Semantics and analysis of business process models in BPMN. Information & Software Technology 50(12): 1281-1294 (2008)

Chun Ouyang, Marcello La Rosa, Arthur H. M. ter Hofstede, Marlon Dumas, Katherine Shortland: Toward Web-Scale Workflows for Film Production. IEEE Internet Computing 12(5): 53-61 (2008)

Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, Eric Verbeek: Conformance checking of service behavior. ACM Trans. Internet Techn. 8(3) (2008)

Kenneth Wang, Marlon Dumas, Chun Ouyang, Julien Vayssière: The Service Adaptation Machine. ECOWS 2008: 145-154

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede: Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2-3): 162-198 (2007)

Chun Ouyang, Marlon Dumas, Stephan Breutel, Arthur H. M. ter Hofstede: Translating Standard Process Models to BPEL. CAiSE 2006: 417-432

Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, H. M. W. Verbeek: Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. The Role of Business Processes in Service Oriented Architectures 2006

Chun Ouyang, Marlon Dumas, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst: From BPMN Process Models to BPEL Web Services. ICWS 2006: 285-292

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede: WofBPEL: A Tool for Automated Analysis of BPEL Processes. ICSOC 2005: 484-489

Chun Ouyang, Jonathan Billington: Formal Analysis of the Internet Open Trading Protocol. FORTE Workshops 2004: 1-15

Chun Ouyang, Jonathan Billington: An improved formal specification of the Internet Open Trading Pprotocol. SAC 2004: 779-783

Chun Ouyang, Jonathan Billington: On Verifying the Internet Open Trading Protocol. EC-Web 2003: 292-302

Chun Ouyang, Lars Michael Kristensen, Jonathan Billington: A Formal Service Specification for the Internet Open Trading Protocol. ICATPN 2002: 352-373

Chun Ouyang, Lars Michael Kristensen, Jonathan Billington: A Formal and Executable Specification of the Internet Open Trading Protocol. EC-Web 2002: 377-387