Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Karsten Wolf
Karsten Schmidt 0004
Author information
- Universität Rostock
Other persons with the same name
- Karsten Schmidt — Friedrich Miescher Institute for Biomedical Research, Basel
- Karsten Schmidt 0002 — University of Kaiserslautern
2010 – today
- 2013
[j22]Mathias Weske, Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf: Editorial. Inf. Syst. 38(4): 545-546 (2013)- 2012
- [j21]Harro Wimmel, Karsten Wolf: Applying CEGAR to the Petri Net State Equation. Logical Methods in Computer Science 8(3) (2012)
- [j20]Christian Gierds, Arjan J. Mooij, Karsten Wolf: Reducing Adapter Synthesis to Controller Synthesis. IEEE T. Services Computing 5(1): 72-85 (2012)
- [c46]Andreas Lehmann, Niels Lohmann, Karsten Wolf: Stubborn Sets for Simple Linear Time Properties. Petri Nets 2012: 228-247
- [i1]Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, N. Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, C. Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf: Raw Report on the Model Checking Contest at Petri Nets 2012. CoRR abs/1209.2382 (2012)
- 2011
- [j19]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)
- [j18]Niels Lohmann, Karsten Wolf: Compact Representations and Efficient Algorithms for Operating Guidelines. Fundam. Inform. 108(1-2): 43-62 (2011)
- [j17]Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, Robert Danitz: Guaranteeing Weak Termination in Service Discovery. Fundam. Inform. 108(1-2): 151-180 (2011)
- [c45]Harro Wimmel, Karsten Wolf: Finding a Witness Path for Non-liveness in Free-Choice Nets. Petri Nets 2011: 189-207
- [c44]
- [c43]
- [e4]Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf (Eds.): Business Process Management - 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings. Lecture Notes in Computer Science 6896, Springer 2011, ISBN 978-3-642-23058-5
- 2010
- [j16]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)
- [j15]
- [c42]Olivia Oanea, Harro Wimmel, Karsten Wolf: New Algorithms for Deciding the Siphon-Trap Property. Petri Nets 2010: 267-286
- [c41]Niels Lohmann, Karsten Wolf: How to Implement a Theory of Correctness in the Area of Business Processes and Services. BPM 2010: 61-77
- [c40]
- [c39]Olivia Oanea, Jan Sürmeli, Karsten Wolf: Service Discovery Using Communication Fingerprints. ICSOC 2010: 612-618
2000 – 2009
- 2009
- [j14]Christian Stahl, Karsten Wolf: Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng. 68(9): 819-833 (2009)
- [j13]Karsten Wolf: Does My Service Have Partners?. T. Petri Nets and Other Models of Concurrency 2: 152-171 (2009)
- [c38]
- [c37]Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz: Verifying Deadlock- and Livelock Freedom in an SOA Scenario. ACSD 2009: 168-177
- [c36]Kathrin Kaschner, Karsten Wolf: Set Algebra for Service Behavior: Applications and Constructions. BPM 2009: 193-210
- [c35]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
- [c34]Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf: Another Approach to Service Instance Migration. ICSOC/ServiceWave 2009: 607-621
- [c33]Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf: Service Interaction: Patterns, Formalization, and Analysis. SFM 2009: 42-88
- [c32]
- [c31]
- [c30]Jarungjit Parnjai, Christian Stahl, Karsten Wolf: A finite representation of all substitutable services and its applications. ZEUS 2009: 29-34
- [c29]
- [c28]
- [e3]Giuliana Franceschinis, Karsten Wolf (Eds.): Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Lecture Notes in Computer Science 5606, Springer 2009, ISBN 978-3-642-02423-8
- [e2]Roberto Bruni, Karsten Wolf (Eds.): Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5387, Springer 2009, ISBN 978-3-642-01363-8
- 2008
- [j12]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)
- [c27]
- [c26]
- [c25]
- [c24]Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf: Extending the compatibility notion for abstract WS-BPEL processes. WWW 2008: 785-794
- [e1]Niels Lohmann, Karsten Wolf (Eds.): 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 Workshop Proceedings 380, CEUR-WS.org 2008
- 2007
- [j11]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)
- [c23]
- [c22]Niels Lohmann, Peter Massuthe, Karsten Wolf: Operating Guidelines for Finite-State Services. ICATPN 2007: 321-341
- [c21]
- [c20]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
- [j10]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)
- [j9]Karsten Schmidt: Automated generation of a progress measure for the sweep-line method. STTT 8(3): 195-203 (2006)
- [c19]
- [c18]Peter Massuthe, Karsten Wolf: An Algorithm for Matching Nondeterministic Services with Operating Guidelines. The Role of Business Processes in Service Oriented Architectures 2006
- [c17]Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf: Separability in Conflict-Free Petri Nets. Ershov Memorial Conference 2006: 1-18
- [c16]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
- [c15]Mirjam Minor, Karsten Schmidt: Automatic Transformation and Enlargement of Similarity Models for Case-Based Reasoning. Modellierung 2006: 293-296
- 2005
- [j8]Bernd-Holger Schlingloff, Axel Martens, Karsten Schmidt: Modeling and Model Checking Web Services. Electr. Notes Theor. Comput. Sci. 126: 3-26 (2005)
- [j7]Wolfgang Reisig, Karsten Schmidt, Christian Stahl: Kommunizierende Workflow-Services modellieren und analysieren. Inform., Forsch. Entwickl. 20(1-2): 90-101 (2005)
- [c14]Sebastian Hinz, Karsten Schmidt, Christian Stahl: Transforming BPEL to Petri Nets. Business Process Management 2005: 220-235
- [c13]
- [c12]Peter Massuthe, Karsten Schmidt: Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. QSIC 2005: 452-457
- 2004
- [j6]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)
- [c11]Karsten Schmidt: Automated Generation of a Progress Measure for the Sweep-Line Method. TACAS 2004: 192-204
- 2003
- [j5]
- [c10]
- 2002
- [c9]
- [c8]Farn Wang, Karsten Schmidt: Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. FORTE 2002: 50-64
- 2001
- [j4]Karsten Schmidt: Narrowing Petri Net State Spaces Using the State Equation. Fundam. Inform. 47(3-4): 325-335 (2001)
- 2000
- [j3]
- [j2]Karsten Schmidt: Stubborn Sets for Model Checking the EF/AG Fragment of CTL. Fundam. Inform. 43(1-4): 331-341 (2000)
- [c7]
- [c6]
1990 – 1999
- 1999
- [j1]Karsten Schmidt: Model-Checking with Coverability Graphs. Formal Methods in System Design 15(3): 239-254 (1999)
- [c5]
- [c4]
- 1997
- [c3]Karsten Schmidt: Siphons, Traps and High-Level Nets with Infinite Color Domains. ICATPN 1997: 271-289
- [c2]
- 1995
- [c1]Karsten Schmidt: Parameterized Reachability Trees for Algebraic Petri Nets. Application and Theory of Petri Nets 1995: 392-411
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-03-19 13:16 CET by the dblp team