Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Chun Ouyang
2010 – today
- 2012
[j7]Suriadi Suriadi, Chun Ouyang, Ernest Foo: Privacy Compliance Verification in Cryptographic Protocols. T. Petri Nets and Other Models of Concurrency 6: 251-276 (2012)- [c16]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
- [c15]Amin Jalali, Petia Wohed, Chun Ouyang: Aspect Oriented Business Process Modelling with Precedence. BPMN 2012: 23-37
- [c14]Amin Jalali, Petia Wohed, Chun Ouyang: Operational Semantics of Aspects in Business Process Management. OTM Workshops 2012: 649-653
- [c13]Wasana Bandara, Chun Ouyang: Analysing And Improving A Recruitment Process: A Teaching Case For Developing Business Process Improvement Capabilities. PACIS 2012: 150
- 2011
- [j6]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)
- [c12]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
- 2010
- [p2]Chun Ouyang, Marlon Dumas, Petia Wohed: The Business Process Execution Language. Modern Business Process Automation 2010: 385-400
- [p1]
2000 – 2009
- 2009
- [j5]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)
- [c11]Suriadi Suriadi, Chun Ouyang, Jason Smith, Ernest Foo: Modeling and Verification of Privacy Enhancing Protocols. ICFEM 2009: 127-146
- 2008
- [j4]Remco M. Dijkman, Marlon Dumas, Chun Ouyang: Semantics and analysis of business process models in BPMN. Information & Software Technology 50(12): 1281-1294 (2008)
- [j3]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)
- [j2]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)
- [c10]Kenneth Wang, Marlon Dumas, Chun Ouyang, Julien Vayssière: The Service Adaptation Machine. ECOWS 2008: 145-154
- 2007
- [j1]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)
- 2006
- [c9]Chun Ouyang, Marlon Dumas, Stephan Breutel, Arthur H. M. ter Hofstede: Translating Standard Process Models to BPEL. CAiSE 2006: 417-432
- [c8]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
- [c7]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
- 2005
- [c6]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
- 2004
- [c5]Chun Ouyang, Jonathan Billington: Formal Analysis of the Internet Open Trading Protocol. FORTE Workshops 2004: 1-15
- [c4]Chun Ouyang, Jonathan Billington: An improved formal specification of the Internet Open Trading Pprotocol. SAC 2004: 779-783
- 2003
- [c3]Chun Ouyang, Jonathan Billington: On Verifying the Internet Open Trading Protocol. EC-Web 2003: 292-302
- 2002
- [c2]Chun Ouyang, Lars Michael Kristensen, Jonathan Billington: A Formal Service Specification for the Internet Open Trading Protocol. ICATPN 2002: 352-373
- [c1]Chun Ouyang, Lars Michael Kristensen, Jonathan Billington: A Formal and Executable Specification of the Internet Open Trading Protocol. EC-Web 2002: 377-387
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-09 00:19 CET by the dblp team