Extracting Interface Assertions from Neural Networks in Polyhedral Format. - Stephan Breutel; Frédéric Maire; Ross Hayward (ESANN, 2003)

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

Translating Standard Process Models to BPEL. - Chun Ouyang 001; Marlon Dumas; Stephan Breutel; Arthur H. M. ter Hofstede (CAiSE, 2006)

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