Follow
Karsten Wolf
Karsten Wolf
Professor für Informatik, Universität Rostock
Verified email at uni-rostock.de - Homepage
Title
Cited by
Cited by
Year
Transforming BPEL to Petri nets
S Hinz, K Schmidt, C Stahl
Business Process Management: 3rd International Conference, BPM 2005, Nancy …, 2005
4552005
Lola a low level analyser
K Schmidt
Application and Theory of Petri Nets 2000: 21st International Conference …, 2000
2872000
An operating guideline approach to the SOA
P Massuthe, W Reisig, K Schmidt
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät …, 2005
2282005
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
1822010
Instantaneous soundness checking of industrial business process models
D Fahland, C Favre, B Jobstmann, J Koehler, N Lohmann, H Völzer, ...
Business Process Management: 7th International Conference, BPM 2009, Ulm …, 2009
1822009
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
1712011
Operating guidelines for finite-state services
N Lohmann, P Massuthe, K Wolf
Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International …, 2007
1612007
Service interaction: Patterns, formalization, and analysis
WMP van der Aalst, AJ Mooij, C Stahl, K Wolf
Formal Methods for Web Services: 9th International School on Formal Methods …, 2009
1472009
Modeling and model checking web services
H Schlingloff, A Martens, K Schmidt
Electronic Notes in Theoretical Computer Science 126, 3-26, 2005
1132005
Does my service have partners?
K Wolf
Transactions on Petri Nets and Other Models of Concurrency II: Special Issue …, 2009
1082009
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: 4th International Workshop, WS-FM 2007 …, 2008
1082008
Generating Petri net state spaces
K Wolf
Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International …, 2007
1012007
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 …, 2004
1012004
How to calculate symmetries of Petri nets
K Schmidt
Acta Informatica 36, 545-590, 2000
892000
Reducing adapter synthesis to controller synthesis
C Gierds, AJ Mooij, K Wolf
IEEE Transactions on Services Computing 5 (1), 72-85, 2010
852010
Controllability of open workflow nets
K Schmidt
Enterprise Modelling and Information Systems Architectures, 2005
852005
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
712008
Stubborn sets for standard properties
K Schmidt
Application and Theory of Petri Nets 1999: 20th International Conference …, 1999
691999
Realizability is controllability
N Lohmann, K Wolf
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009 …, 2010
582010
Artifact-centric choreographies
N Lohmann, K Wolf
Service-Oriented Computing: 8th International Conference, ICSOC 2010, San …, 2010
572010
The system can't perform the operation now. Try again later.
Articles 1–20