Karsten Wolf

Karsten Schmidt

Universität Rostock

	2011
68		Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf: Business Process Management - 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings Springer 2011
67		Niels Lohmann, Karsten Wolf: Decidability Results for Choreography Realization. ICSOC 2011: 92-107
66		Harro Wimmel, Karsten Wolf: Finding a Witness Path for Non-liveness in Free-Choice Nets. Petri Nets 2011: 189-207
65		Harro Wimmel, Karsten Wolf: Applying CEGAR to the Petri Net State Equation. TACAS 2011: 224-238
64		Dirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf: Analysis on demand: Instantaneous soundness checking of industrial business process models. Data Knowl. Eng. 70(5): 448-466 (2011)
63		Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, Robert Danitz: Guaranteeing Weak Termination in Service Discovery. Fundam. Inform. 108(1-2): 151-180 (2011)
62		Niels Lohmann, Karsten Wolf: Compact Representations and Efficient Algorithms for Operating Guidelines. Fundam. Inform. 108(1-2): 43-62 (2011)
	2010
61		Niels Lohmann, Karsten Wolf: How to Implement a Theory of Correctness in the Area of Business Processes and Services. BPM 2010: 61-77
60		Niels Lohmann, Karsten Wolf: Artifact-Centric Choreographies. ICSOC 2010: 32-46
59		Olivia Oanea, Jan Sürmeli, Karsten Wolf: Service Discovery Using Communication Fingerprints. ICSOC 2010: 612-618
58		Olivia Oanea, Harro Wimmel, Karsten Wolf: New Algorithms for Deciding the Siphon-Trap Property. Petri Nets 2010: 267-286
57		Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf: Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J. 53(1): 90-106 (2010)
56		Giuliana Franceschinis, Wojciech Penczek, Karsten Wolf: Preface. Fundam. Inform. 105(3): (2010)
	2009
55		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
54		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
53		Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz: Verifying Deadlock- and Livelock Freedom in an SOA Scenario. ACSD 2009: 168-177
52		Niels Lohmann, Karsten Wolf: Petrifying Operating Guidelines for Services. ACSD 2009: 80-88
51		Kathrin Kaschner, Karsten Wolf: Set Algebra for Service Behavior: Applications and Constructions. BPM 2009: 193-210
50		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
49		Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf: Another Approach to Service Instance Migration. ICSOC/ServiceWave 2009: 607-621
48		Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf: Service Interaction: Patterns, Formalization, and Analysis. SFM 2009: 42-88
47		Niels Lohmann, Karsten Wolf: Realizability Is Controllability. WS-FM 2009: 110-127
46		Karsten Wolf: A theory of service behavior. ZEUS 2009: 1-7
45		Jarungjit Parnjai, Christian Stahl, Karsten Wolf: A finite representation of all substitutable services and its applications. ZEUS 2009: 29-34
44		Niels Lohmann, Karsten Wolf: Realizability is controllability. ZEUS 2009: 61-67
43		Olivia Oanea, Karsten Wolf: An efficient necessary condition for compatibility. ZEUS 2009: 81-87
42		Christian Stahl, Karsten Wolf: Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng. 68(9): 819-833 (2009)
41		Karsten Wolf: Does My Service Have Partners?. T. Petri Nets and Other Models of Concurrency 2: 152-171 (2009)
	2008
40		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
39		Karsten Wolf: On Synthesizing Behavior that Is Aware of Semantical Constraints. AWPN 2008: 49-54
38		Christian Stahl, Karsten Wolf: An Approach to Tackle Livelock-Freedom in SOA. AWPN 2008: 69-74
37		Christian Stahl, Karsten Wolf: Covering Places and Transitions in Open Nets. BPM 2008: 116-131
36		Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf: Extending the compatibility notion for abstract WS-BPEL processes. WWW 2008: 785-794
35		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
34		Niels Lohmann, Peter Massuthe, Karsten Wolf: Behavioral Constraints for Services. BPM 2007: 271-287
33		Karsten Wolf: Generating Petri Net State Spaces. ICATPN 2007: 29-42
32		Niels Lohmann, Peter Massuthe, Karsten Wolf: Operating Guidelines for Finite-State Services. ICATPN 2007: 321-341
31		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
30		Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl: Challenges in a Service-Oriented World. ERCIM News 2007(70): (2007)
	2006
29		Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf: Separability in Conflict-Free Petri Nets. Ershov Memorial Conference 2006: 1-18
28		Stephan Roch, Karsten Schmidt: On the Step Explosion Problem. ICATPN 2006: 342-361
27		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
26		Mirjam Minor, Karsten Schmidt: Automatic Transformation and Enlargement of Similarity Models for Case-Based Reasoning. Modellierung 2006: 293-296
25		Peter Massuthe, Karsten Wolf: An Algorithm for Matching Nondeterministic Services with Operating Guidelines. The Role of Business Processes in Service Oriented Architectures 2006
24		Lars Michael Kristensen, Karsten Schmidt, Antti Valmari: Question-guided stubborn set methods for state properties. Formal Methods in System Design 29(3): 215-251 (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	[31] [48] [57]
2	Eike Best	[29]
3	Jan Bretschneider	[30]
4	Roberto Bruni	[55]
5	Robert Danitz	[53] [63]
6	Javier Esparza	[29]
7	Dirk Fahland	[27] [50] [64]
8	Cédric Favre	[50] [64]
9	Giuliana Franceschinis	[54] [56]
10	Sebastian Hinz	[22]
11	Geng-Dian Huang	[16]
12	Barbara Jobstmann	[50]
13	Kathrin Kaschner	[27] [30] [51]
14	Jana Koehler (Jana Köhler)	[50] [64]
15	Dieter König	[36]
16	Lars Michael Kristensen	[24]
17	Nannette Liske	[49]
18	Niels Lohmann	[27] [30] [31] [32] [34] [36] [40] [44] [47] [49] [50] [52] [57] [60] [61] [62] [64] [67]
19	Axel Martens	[19]
20	Peter Massuthe	[20] [25] [27] [30] [31] [32] [34] [35] [57]
21	Mirjam Minor	[26]
22	Arjan J. Mooij	[48]
23	Simon Moser	[36]
24	Olivia Oanea	[43] [58] [59]
25	Janine Ott	[53] [63]
26	Jarungjit Parnjai	[45]
27	Wojciech Penczek	[56]
28	Wolfgang Reisig	[18] [27] [30]
29	Stefanie Rinderle-Ma (Stefanie Rinderle)	[68]
30	Stephan Roch	[28]
31	Bernd-Holger Schlingloff (Holger Schlingloff)	[19]
32	Alexander Serebrenik	[35]
33	Natalia Sidorova	[35]
34	Christian Stahl	[18] [22] [27] [30] [31] [36] [37] [38] [42] [45] [48] [49] [53] [57] [63]
35	Jan Sürmeli	[59]
36	Farouk Toumani	[68]
37	Antti Valmari	[24]
38	Hagen Völzer	[50] [64]
39	Bow-Yaw Wang	[16]
40	Farn Wang	[13] [16]
41	Daniela Weinberg	[27] [63]
42	Harro Wimmel	[29] [58] [65] [66]
43	Fang Yu	[16]

Colors in the list of coauthors

Last update Fri Feb 17 00:12:51 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page