| 2008 |
|---|
| 11 | EE | 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) |
| 2007 |
|---|
| 10 | EE | 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 |
|---|
| 9 | EE | Chun Ouyang,
Marlon Dumas,
Stephan Breutel,
Arthur H. M. ter Hofstede:
Translating Standard Process Models to BPEL.
CAiSE 2006: 417-432 |
| 8 | EE | 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 |
| 7 | EE | 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 |
| 2005 |
|---|
| 6 | EE | 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 |
|---|
| 5 | EE | Chun Ouyang,
Jonathan Billington:
Formal Analysis of the Internet Open Trading Protocol.
FORTE Workshops 2004: 1-15 |
| 4 | EE | Chun Ouyang,
Jonathan Billington:
An improved formal specification of the Internet Open Trading Pprotocol.
SAC 2004: 779-783 |
| 2003 |
|---|
| 3 | EE | Chun Ouyang,
Jonathan Billington:
On Verifying the Internet Open Trading Protocol.
EC-Web 2003: 292-302 |
| 2002 |
|---|
| 2 | EE | Chun Ouyang,
Lars Michael Kristensen,
Jonathan Billington:
A Formal and Executable Specification of the Internet Open Trading Protocol.
EC-Web 2002: 377-387 |
| 1 | EE | Chun Ouyang,
Lars Michael Kristensen,
Jonathan Billington:
A Formal Service Specification for the Internet Open Trading Protocol.
ICATPN 2002: 352-373 |
