עקוב אחר
Karsten Wolf
Karsten Wolf
Professor für Informatik, Universität Rostock
כתובת אימייל מאומתת בדומיין uni-rostock.de - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Transforming BPEL to Petri nets‏
S Hinz, K Schmidt, C Stahl‏
Business Process Management: 3rd International Conference, BPM 2005, Nancy …, 2005‏
4602005
Lola a low level analyser‏
K Schmidt‏
Application and Theory of Petri Nets 2000: 21st International Conference …, 2000‏
3062000
An operating guideline approach to the SOA‏
P Massuthe, W Reisig, K Schmidt‏
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät …, 2005‏
2412005
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‏
1952009
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‏
1942011
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‏
1942010
Operating guidelines for finite-state services‏
N Lohmann, P Massuthe, K Wolf‏
International Conference on Application and Theory of Petri Nets, 321-341, 2007‏
1632007
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‏
1512009
Modeling and model checking web services‏
H Schlingloff, A Martens, K Schmidt‏
Electronic Notes in Theoretical Computer Science 126, 3-26, 2005‏
1182005
Does my service have partners?‏
K Wolf‏
Transactions on Petri Nets and Other Models of Concurrency II: Special Issue …, 2009‏
1142009
Generating Petri net state spaces‏
K Wolf‏
International Conference on Application and Theory of Petri Nets, 29-42, 2007‏
1132007
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‏
1072008
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‏
1032004
How to calculate symmetries of Petri nets‏
K Schmidt‏
Acta Informatica 36, 545-590, 2000‏
982000
Controllability of open workflow nets‏
K Schmidt‏
Enterprise Modelling and Information Systems Architectures, 2005‏
882005
Reducing adapter synthesis to controller synthesis‏
C Gierds, AJ Mooij, K Wolf‏
IEEE Transactions on Services Computing 5 (1), 72-85, 2010‏
832010
Stubborn sets for standard properties‏
K Schmidt‏
Application and Theory of Petri Nets 1999: 20th International Conference …, 1999‏
731999
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‏
702008
Realizability is controllability‏
N Lohmann, K Wolf‏
International Workshop on Web Services and Formal Methods, 110-127, 2009‏
682009
Petri net model checking with LoLA 2‏
K Wolf‏
Application and Theory of Petri Nets and Concurrency: 39th International …, 2018‏
662018
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20