Karsten Wolf

Karsten Schmidt

Universität Rostock

	2009
50		Roberto Bruni, Karsten Wolf: Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers Springer 2009
49		Giuliana Franceschinis, Karsten Wolf: Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings Springer 2009
48		Kathrin Kaschner, Karsten Wolf: Set Algebra for Service Behavior: Applications and Constructions. BPM 2009: 193-210
47		Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf: Instantaneous Soundness Checking of Industrial Business Process Models. BPM 2009: 278-293
46		Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf: Service Interaction: Patterns, Formalization, and Analysis. SFM 2009: 42-88
45		Karsten Wolf: A theory of service behavior. ZEUS 2009: 1-7
44		Jarungjit Parnjai, Christian Stahl, Karsten Wolf: A finite representation of all substitutable services and its applications. ZEUS 2009: 29-34
43		Niels Lohmann, Karsten Wolf: Realizability is controllability. ZEUS 2009: 61-67
42		Olivia Oanea, Karsten Wolf: An efficient necessary condition for compatibility. ZEUS 2009: 81-87
41		Christian Stahl, Karsten Wolf: Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng. 68(9): 819-833 (2009)
40		Karsten Wolf: Does My Service Have Partners?. T. Petri Nets and Other Models of Concurrency 2: 152-171 (2009)
	2008
39		Niels Lohmann, Karsten Wolf: 15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen und Werkzeuge für Petrinetze, AWPN 2008, Rostock, Germany, September 26-27, 2008. Proceedings CEUR-WS.org 2008
38		Karsten Wolf: On Synthesizing Behavior that Is Aware of Semantical Constraints. AWPN 2008: 49-54
37		Christian Stahl, Karsten Wolf: An Approach to Tackle Livelock-Freedom in SOA. AWPN 2008: 69-74
36		Christian Stahl, Karsten Wolf: Covering Places and Transitions in Open Nets. BPM 2008: 116-131
35		Max Brunner, Martin Jung, Detlef Kips, Karsten Schmidt: Fallstudie zur Modellierung von Software-Entwicklungsprozessen auf Basis von SPEM 2.0. Software Engineering 2008: 67-74
34		Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf: Extending the compatibility notion for abstract WS-BPEL processes. WWW 2008: 785-794
33		Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf: Can I find a partner? Undecidability of partner existence for open nets. Inf. Process. Lett. 108(6): 374-378 (2008)
	2007
32		Niels Lohmann, Peter Massuthe, Karsten Wolf: Behavioral Constraints for Services. BPM 2007: 271-287
31		Karsten Wolf: Generating Petri Net State Spaces. ICATPN 2007: 29-42
30		Niels Lohmann, Peter Massuthe, Karsten Wolf: Operating Guidelines for Finite-State Services. ICATPN 2007: 321-341
29		Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf: From Public Views to Private Views - Correctness-by-Design for Services. WS-FM 2007: 139-153
	2006
28		Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf: Separability in Conflict-Free Petri Nets. Ershov Memorial Conference 2006: 1-18
27		Stephan Roch, Karsten Schmidt: On the Step Explosion Problem. ICATPN 2006: 342-361
26		Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner: Analysis Techniques for Service Models. ISoLA 2006: 11-17
25		Mirjam Minor, Karsten Schmidt: Automatic Transformation and Enlargement of Similarity Models for Case-Based Reasoning. Modellierung 2006: 293-296
24		Peter Massuthe, Karsten Wolf: An Algorithm for Matching Nondeterministic Services with Operating Guidelines. The Role of Business Processes in Service Oriented Architectures 2006
23		Karsten Schmidt: Automated generation of a progress measure for the sweep-line method. STTT 8(3): 195-203 (2006)
	2005
22		Sebastian Hinz, Karsten Schmidt, Christian Stahl: Transforming BPEL to Petri Nets. Business Process Management 2005: 220-235
21		Karsten Schmidt: Controllability of Open Workflow Nets. EMISA 2005: 236-249
20		Peter Massuthe, Karsten Schmidt: Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. QSIC 2005: 452-457
19		Bernd-Holger Schlingloff, Axel Martens, Karsten Schmidt: Modeling and Model Checking Web Services. Electr. Notes Theor. Comput. Sci. 126: 3-26 (2005)
18		Wolfgang Reisig, Karsten Schmidt, Christian Stahl: Kommunizierende Workflow-Services modellieren und analysieren. Inform., Forsch. Entwickl. 20(1-2): 90-101 (2005)
	2004
17		Karsten Schmidt: Automated Generation of a Progress Measure for the Sweep-Line Method. TACAS 2004: 192-204
16		Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang: BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. IEEE Trans. Software Eng. 30(6): 403-417 (2004)
	2003
15		Karsten Schmidt: Using Petri Net Invariants in State Space Construction. TACAS 2003: 473-488
14		Karsten Schmidt: Distributed Verification with LoLA. Fundam. Inform. 54(2-3): 253-262 (2003)
	2002
13		Farn Wang, Karsten Schmidt: Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. FORTE 2002: 50-64
12		Karsten Schmidt: Distributed verification with LoLA. Promise 2002: 94-103
	2001
11		Karsten Schmidt: Narrowing Petri Net State Spaces Using the State Equation. Fundam. Inform. 47(3-4): 325-335 (2001)
	2000
10		Karsten Schmidt: LoLA: A Low Level Analyser. ICATPN 2000: 465-474
9		Karsten Schmidt: Integrating Low Level Symmetries into Reachability Analysis. TACAS 2000: 315-330
8		Karsten Schmidt: How to Calculate Symmetries of Petri Nets. Acta Inf. 36(7): 545-590 (2000)
7		Karsten Schmidt: Stubborn Sets for Model Checking the EF/AG Fragment of CTL. Fundam. Inform. 43(1-4): 331-341 (2000)
	1999
6		Karsten Schmidt: LoLA wird Pfadfinder. AWPN 1999
5		Karsten Schmidt: Stubborn Sets for Standard Properties. ICATPN 1999: 46-65
4		Karsten Schmidt: Model-Checking with Coverability Graphs. Formal Methods in System Design 15(3): 239-254 (1999)
	1997
3		Karsten Schmidt: Siphons, Traps and High-Level Nets with Infinite Color Domains. ICATPN 1997: 271-289
2		Karsten Schmidt: Verification of Siphons and Traps for Algebraic Petri Nets. ICATPN 1997: 427-446
	1995
1		Karsten Schmidt: Parameterized Reachability Trees for Algebraic Petri Nets. Application and Theory of Petri Nets 1995: 392-411

Coauthor Index

1	Wil M. P. van der Aalst	[29] [46]
2	Eike Best	[28]
3	Roberto Bruni	[50]
4	Max Brunner	[35]
5	Javier Esparza	[28]
6	Dirk Fahland	[26] [47]
7	Cédric Favre	[47]
8	Giuliana Franceschinis	[49]
9	Sebastian Hinz	[22]
10	Geng-Dian Huang	[16]
11	Barbara Jobstmann	[47]
12	Martin Jung	[35]
13	Kathrin Kaschner	[26] [48]
14	Detlef Kips	[35]
15	Jana Koehler (Jana Köhler)	[47]
16	Dieter König	[34]
17	Niels Lohmann	[26] [29] [30] [32] [34] [39] [43] [47]
18	Axel Martens	[19]
19	Peter Massuthe	[20] [24] [26] [29] [30] [32] [33]
20	Mirjam Minor	[25]
21	Arjan J. Mooij	[46]
22	Simon Moser	[34]
23	Olivia Oanea	[42]
24	Jarungjit Parnjai	[44]
25	Wolfgang Reisig	[18] [26]
26	Stephan Roch	[27]
27	Bernd-Holger Schlingloff	[19]
28	Alexander Serebrenik	[33]
29	Natalia Sidorova	[33]
30	Christian Stahl	[18] [22] [26] [29] [34] [36] [37] [41] [44] [46]
31	Hagen Völzer	[47]
32	Bow-Yaw Wang	[16]
33	Farn Wang	[13] [16]
34	Daniela Weinberg	[26]
35	Harro Wimmel	[28]
36	Fang Yu	[16]

Colors in the list of coauthors