Karsten Wolf
Karsten Wolf
Professor für Informatik, Universität Rostock
Verified email at informatik.uni-rostock.de - Homepage
TitleCited byYear
Transforming BPEL to Petri nets
S Hinz, K Schmidt, C Stahl
International conference on business process management, 220-235, 2005
4102005
Lola a low level analyser
K Schmidt
International Conference on Application and Theory of Petri Nets, 465-474, 2000
2342000
An operating guideline approach to the SOA
P Massuthe, W Reisig, K Schmidt
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät …, 2005
2202005
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
1622010
Instantaneous soundness checking of industrial business process models
D Fahland, C Favre, B Jobstmann, J Koehler, N Lohmann, H Völzer, ...
International Conference on Business Process Management, 278-293, 2009
1582009
Operating guidelines for finite-state services
N Lohmann, P Massuthe, K Wolf
International Conference on Application and Theory of Petri Nets, 321-341, 2007
1532007
Analysis on demand: Instantaneous soundness checking of industrial business process models
D Fahland, C Favre, J Koehler, N Lohmann, H Völzer, K Wolf
Data & Knowledge Engineering 70 (5), 448-466, 2011
1512011
Service interaction: Patterns, formalization, and analysis
WMP van der Aalst, AJ Mooij, C Stahl, K Wolf
International School on Formal Methods for the Design of Computer …, 2009
1292009
Modeling and model checking web services
H Schlingloff, A Martens, K Schmidt
Electronic Notes in Theoretical Computer Science 126, 3-26, 2005
1082005
Does my service have partners?
K Wolf
Transactions on Petri Nets and Other Models of Concurrency II, 152-171, 2009
1062009
Generating Petri net state spaces
K Wolf
International Conference on Application and Theory of Petri Nets, 29-42, 2007
962007
From public views to private views–correctness-by-design for services
WMP Van Der Aalst, N Lohmann, P Massuthe, C Stahl, K Wolf
International Workshop on Web Services and Formal Methods, 139-153, 2007
912007
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
Controllability of Open Workflow Nets.
K Schmidt
EMISA 75, 236-249, 2005
772005
Reducing adapter synthesis to controller synthesis
C Gierds, AJ Mooij, K Wolf
IEEE Transactions on Services Computing 5 (1), 72-85, 2010
752010
How to calculate symmetries of Petri nets
K Schmidt
Acta Informatica 36 (7), 545-590, 2000
702000
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
602008
Stubborn sets for standard properties
K Schmidt
International Conference on Application and Theory of Petri nets, 46-65, 1999
541999
Operating guidelines-an automata-theoretic foundation for the service-oriented architecture
P Massuthe, K Schmidt
Quality Software, 2005.(QSIC 2005). Fifth International Conference on, 452-457, 2005
532005
Realizability is controllability
N Lohmann, K Wolf
International Workshop on Web Services and Formal Methods, 110-127, 2009
482009
The system can't perform the operation now. Try again later.
Articles 1–20