Christian Stahl
Title
Cited by
Cited by
Year
Transforming BPEL to Petri nets
S Hinz, K Schmidt, C Stahl
Business Process Management, 220-235, 2005
4202005
Modeling business processes: a petri net-oriented approach
W van der Aalst, C Stahl
MIT press, 2011
2252011
Analyzing interacting BPEL processes
N Lohmann, P Massuthe, C Stahl, D Weinberg
Business Process Management, 17-32, 2006
1802006
Multiparty contracts: Agreeing and implementing interorganizational processes
WMP van der Aalst, N Lohmann, P Massuthe, C Stahl, K Wolf
The Computer Journal 53 (1), 90-106, 2010
1672010
Analyzing interacting WS-BPEL processes using flexible model generation
N Lohmann, P Massuthe, C Stahl, D Weinberg
Data & Knowledge Engineering 64 (1), 38-54, 2008
1612008
Service interaction: Patterns, formalization, and analysis
W van der Aalst, A Mooij, C Stahl, K Wolf
Formal Methods for Web Services, 42-88, 2009
1372009
A Petri net semantics for BPEL
C Stahl
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät …, 2005
1242005
Multiagent systems with workflows
JM Vidal, PA Buhler, C Stahl
IEEE Internet Computing 8 (1), 76, 2004
1182004
From public views to private views–correctness-by-design for services
WMP Van Der Aalst, N Lohmann, P Massuthe, C Stahl, K Wolf
Web Services and Formal Methods, 139-153, 2008
912008
A petri net semantic for BPEL4WS-validation and application
K Schmidt, C Stahl
Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets, 1-6, 2004
892004
Declarative Modeling–An Academic Dream or the Future for BPM?
HA Reijers, T Slaats, C Stahl
Business Process Management, 307-322, 2013
872013
Soundness verification for conceptual workflow nets with data: early detection of errors with the most precision possible
N Sidorova, C Stahl, N Trčka
Information Systems 36 (7), 1026-1043, 2011
712011
Comparing and evaluating Petri net semantics for BPEL
N Lohmann, E Verbeek, C Ouyang, C Stahl
International Journal of Business Process Integration and Management 4 (1 …, 2009
672009
Deciding substitutability of services with operating guidelines
C Stahl, P Massuthe, J Bretschneider
Transactions on Petri Nets and Other Models of Concurrency II, 172-191, 2009
672009
Comparing and evaluating Petri net semantics for BPEL
N Lohmann, HMW Verbeek, C Ouyang, C Stahl, WMP van der Aalst
Computer Science Report 7, 23, 2007
672007
Extending the compatibility notion for abstract WS-BPEL processes
D König, N Lohmann, S Moser, C Stahl, K Wolf
Proceedings of the 17th international conference on World Wide Web, 785-794, 2008
642008
Strategies for Modeling Complex Processes Using Colored Petri Nets
WMP van der Aalst, C Stahl, M Westergaard
Transactions on Petri Nets and Other Models of Concurrency VII, 6-55, 2013
622013
An SOA-based architecture framework
WMP Van Der Aalst, M Beisiegel, KM Van Hee, D Konig
International Journal of Business Process Integration and Management 2 (2 …, 2007
602007
Transformation von BPEL4WS in Petrinetze
C Stahl
Master’s thesis, Humboldt University, Berlin, Germany, 2004
572004
Workflow soundness revisited: checking correctness in the presence of data while staying conceptual
N Sidorova, C Stahl, N Trčka
Advanced Information Systems Engineering, 530-544, 2010
492010
The system can't perform the operation now. Try again later.
Articles 1–20