2007 |
4 | 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 |
3 | EE | Chun Ouyang,
Marlon Dumas,
Stephan Breutel,
Arthur H. M. ter Hofstede:
Translating Standard Process Models to BPEL.
CAiSE 2006: 417-432 |
2005 |
2 | 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 |
2003 |
1 | EE | Stephan Breutel,
Frédéric Maire,
Ross Hayward:
Extracting Interface Assertions from Neural Networks in Polyhedral Format.
ESANN 2003: 463-468 |