Stephan Breutel

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

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) (2007)
Chun Ouyang, Marlon Dumas, Stephan Breutel, Arthur H. M. ter Hofstede
Translating Standard Process Models to BPEL. CAiSE (2006)
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)
Stephan Breutel, Frédéric Maire, Ross Hayward
Extracting Interface Assertions from Neural Networks in Polyhedral Format. ESANN (2003)