default search action
Karsten Wolf
Karsten Schmidt 0004
Person information
- affiliation: University of Rostock, Institute of Computer Science, Germany
- affiliation: Humboldt University of Berlin, Department of Computer Science, Germany
Other persons with the same name
- Karsten Schmidt — disambiguation page
- Karsten Schmidt 0001 — Friedrich Miescher Institute for Biomedical Research, Basel, Switzerland
- Karsten Schmidt 0002 — University of Kaiserslautern, Germany
- Karsten Schmidt 0003 — AUDI AG, Ingolstadt, Germany
- Karsten Schmidt 0005
— Frankfurt University of Applied Sciences, Germany
- Karsten Schmidt 0006
- Karsten Schmidt 0007 — University Hospital Essen, University Duisburg-Essen, Essen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c65]Karsten Wolf:
How to Verify Aggregating Global Properties. PNSE@Petri Nets 2024: 96-103 - [c64]Julian Gaede, Sophie Wallner, Karsten Wolf:
Modular State Spaces - A New Perspective. Petri Nets 2024: 312-332 - [c63]Lukas Zech
Verifying Temporal Logic Properties in the Modular State Space. Petri Nets 2024: 333-354 - 2022
- [j32]Sophie Wallner, Karsten Wolf:
Skeleton Abstraction for Universal Temporal Properties. Fundam. Informaticae 187(2-4): 245-272 (2022) - [j31]Torsten Liebke, Karsten Wolf:
Using Approximation for the Verification of Token-Scaling Models. Trans. Petri Nets Other Model. Concurr. 16: 73-90 (2022) - [j30]Karsten Wolf:
Portfolio Management in Explicit Model Checking. Trans. Petri Nets Other Model. Concurr. 16: 91-111 (2022) - 2021
- [j29]Torsten Liebke, Karsten Wolf:
Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach. Trans. Petri Nets Other Model. Concurr. 15: 150-164 (2021) - [c62]Sophie Wallner, Karsten Wolf:
Skeleton Abstraction for Universal Temporal Properties. Petri Nets 2021: 186-207 - [i5]Sophie Wallner, Karsten Wolf:
Skeleton Abstraction for Universal Temporal Properties. CoRR abs/2112.08884 (2021) - 2020
- [c61]Torsten Liebke, Karsten Wolf:
Verification of Token-Scaling Models using an Under-Approximation. PNSE@Petri Nets 2020: 1-9 - [c60]Karsten Wolf:
Portfolio Management in Explicit Model Checking. PNSE@Petri Nets 2020: 10-28
2010 – 2019
- 2019
- [j28]Karsten Wolf:
Synthesis for Various Petri Net Classes with Union/Find. Fundam. Informaticae 169(1-2): 57-84 (2019) - [j27]Karsten Wolf:
How Petri Net Theory Serves Petri Net Model Checking: A Survey. Trans. Petri Nets Other Model. Concurr. 14: 36-63 (2019) - [c59]Torsten Liebke, Karsten Wolf:
Solving E (φUψ) using the CEGAR Approach. PNSE@Petri Nets/ACSD 2019: 47-56 - [c58]Torsten Liebke, Karsten Wolf:
Taking Some Burden Off an Explicit CTL Model Checker. Petri Nets 2019: 321-341 - [c57]Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) 2019: 50-68 - 2018
- [j26]Karsten Wolf:
Interleaving Based Model Checking of Concurrency and Causality. Fundam. Informaticae 161(4): 423-445 (2018) - [j25]Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13: 181-209 (2018) - [c56]Ronny Tredup, Christian Rosenke, Karsten Wolf:
Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs. Petri Nets 2018: 40-59 - [c55]Karsten Wolf:
Petri Net Synthesis with Union/Find. Petri Nets 2018: 60-81 - [c54]Karsten Wolf:
A Simple Abstract Interpretation for Petri Net Queries. PNSE@Petri Nets/ACSD 2018: 163-170 - [c53]Karsten Wolf:
Petri Net Model Checking with LoLA 2. Petri Nets 2018: 351-362 - 2017
- [c52]Karsten Wolf:
Model Checking Concurrency and Causality. Petri Nets 2017: 159-178 - 2016
- [j24]Karsten Wolf:
Running LoLA 2.0 in a Model Checking Competition. Trans. Petri Nets Other Model. Concurr. 11: 274-285 (2016) - 2015
- [j23]Karsten Wolf:
The Petri net twist in explicit model checking. Softw. Syst. Model. 14(2): 711-717 (2015) - 2014
- [j22]Karsten Wolf:
Explizites Model Checking: Welche Vorteile bieten Petrinetze? Inform. Spektrum 37(3): 220-228 (2014) - [c51]Artur Niewiadomski, Karsten Wolf:
LoLA as Abstract Planning Engine of PlanICS. PNSE @ Petri Nets 2014: 349-350 - [c50]Stefan Rybacki, Fiete Haack, Karsten Wolf, Adelinde M. Uhrmacher:
Developing simulation models - from conceptual to executable model and back - an artifact-based workflow approach. SimuTools 2014: 21-30 - [p1]Niels Lohmann, Karsten Wolf:
From Artifacts to Activities. Web Services Foundations 2014: 109-135 - 2013
- [j21]Mathias Weske, Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf:
Editorial. Inf. Syst. 38(4): 545-546 (2013) - [e5]Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf:
Transactions on Petri Nets and Other Models of Concurrency VII. Lecture Notes in Computer Science 7480, Springer 2013, ISBN 978-3-642-38142-3 [contents] - [i4]Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf:
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR abs/1309.2485 (2013) - 2012
- [j20]Harro Wimmel, Karsten Wolf:
Applying CEGAR to the Petri Net State Equation. Log. Methods Comput. Sci. 8(3) (2012) - [j19]Christian Gierds, Arjan J. Mooij, Karsten Wolf:
Reducing Adapter Synthesis to Controller Synthesis. IEEE Trans. Serv. Comput. 5(1): 72-85 (2012) - [c49]Andreas Lehmann, Niels Lohmann, Karsten Wolf:
Stubborn Sets for Simple Linear Time Properties. Petri Nets 2012: 228-247 - [i3]Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian 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
- [j18]Dirk Fahland
Analysis on demand: Instantaneous soundness checking of industrial business process models. Data Knowl. Eng. 70(5): 448-466 (2011) - [j17]Niels Lohmann
Compact Representations and Efficient Algorithms for Operating Guidelines. Fundam. Informaticae 108(1-2): 43-62 (2011) - [j16]Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, Robert Danitz:
Guaranteeing Weak Termination in Service Discovery. Fundam. Informaticae 108(1-2): 151-180 (2011) - [c48]Harro Wimmel, Karsten Wolf:
Finding a Witness Path for Non-liveness in Free-Choice Nets. Petri Nets 2011: 189-207 - [c47]Niels Lohmann, Karsten Wolf:
Decidability Results for Choreography Realization. ICSOC 2011: 92-107 - [c46]Harro Wimmel, Karsten Wolf:
Applying CEGAR to the Petri Net State Equation. TACAS 2011: 224-238 - [e4]Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf:
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 [contents] - 2010
- [j15]Wil M. P. van der Aalst
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J. 53(1): 90-106 (2010) - [j14]Giuliana Franceschinis, Wojciech Penczek
Preface. Fundam. Informaticae 105(3) (2010) - [c45]Olivia Oanea, Harro Wimmel, Karsten Wolf:
New Algorithms for Deciding the Siphon-Trap Property. Petri Nets 2010: 267-286 - [c44]Harro Wimmel, Karsten Wolf:
Reachability Analysis via Net Structure. AWPN 2010: 118-123 - [c43]Karsten Wolf:
Decidability Issues for Decentralized Controllability of Open Nets. AWPN 2010: 124-129 - [c42]Niels Lohmann, Karsten Wolf:
How to Implement a Theory of Correctness in the Area of Business Processes and Services. BPM 2010: 61-77 - [c41]Niels Lohmann, Karsten Wolf:
Artifact-Centric Choreographies. ICSOC 2010: 32-46 - [c40]Olivia Oanea, Jan Sürmeli
Service Discovery Using Communication Fingerprints. ICSOC 2010: 612-618
2000 – 2009
- 2009
- [j13]Christian Stahl, Karsten Wolf:
Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng. 68(9): 819-833 (2009) - [j12]Karsten Wolf:
Does My Service Have Partners?. Trans. Petri Nets Other Model. Concurr. 2: 152-171 (2009) - [c39]Niels Lohmann
Petrifying Operating Guidelines for Services. ACSD 2009: 80-88 - [c38]Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz:
Verifying Deadlock- and Livelock Freedom in an SOA Scenario. ACSD 2009: 168-177 - [c37]Kathrin Kaschner, Karsten Wolf:
Set Algebra for Service Behavior: Applications and Constructions. BPM 2009: 193-210 - [c36]Dirk Fahland
Instantaneous Soundness Checking of Industrial Business Process Models. BPM 2009: 278-293 - [c35]Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf:
Another Approach to Service Instance Migration. ICSOC/ServiceWave 2009: 607-621 - [c34]Wil M. P. van der Aalst
Service Interaction: Patterns, Formalization, and Analysis. SFM 2009: 42-88 - [c33]Niels Lohmann, Karsten Wolf:
Realizability Is Controllability. WS-FM 2009: 110-127 - [c32]Karsten Wolf:
A theory of service behavior. ZEUS 2009: 1-7 - [c31]Jarungjit Parnjai, Christian Stahl, Karsten Wolf:
A finite representation of all substitutable services and its applications. ZEUS 2009: 29-34 - [c30]Niels Lohmann, Karsten Wolf:
Realizability is controllability. ZEUS 2009: 61-67 - [c29]Olivia Oanea, Karsten Wolf:
An efficient necessary condition for compatibility. ZEUS 2009: 81-87 - [e3]Giuliana Franceschinis, Karsten Wolf:
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 [contents] - [e2]Roberto Bruni, Karsten Wolf:
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 [contents] - 2008
- [j11]Peter Massuthe, Alexander Serebrenik
Can I find a partner? Undecidability of partner existence for open nets. Inf. Process. Lett. 108(6): 374-378 (2008) - [c28]Karsten Wolf:
On Synthesizing Behavior that Is Aware of Semantical Constraints. AWPN 2008: 49-54 - [c27]Christian Stahl, Karsten Wolf:
An Approach to Tackle Livelock-Freedom in SOA. AWPN 2008: 69-74 - [c26]Christian Stahl, Karsten Wolf:
Covering Places and Transitions in Open Nets. BPM 2008: 116-131 - [c25]Dieter König, Niels Lohmann
Extending the compatibility notion for abstract WS-BPEL processes. WWW 2008: 785-794 - [e1]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 Workshop Proceedings 380, CEUR-WS.org 2008 [contents] - 2007
- [j10]Peter Massuthe, Karsten Wolf:
An algorithm for matching non-deterministic services with operating guidelines. Int. J. Bus. Process. Integr. Manag. 2(2): 81-90 (2007) - [c24]Karsten Wolf:
Generating Petri Net State Spaces. ICATPN 2007: 29-42 - [c23]Niels Lohmann, Peter Massuthe, Karsten Wolf:
Operating Guidelines for Finite-State Services. ICATPN 2007: 321-341 - [c22]Niels Lohmann, Peter Massuthe, Karsten Wolf:
Behavioral Constraints for Services. BPM 2007: 271-287 - [c21]Wil M. P. van der Aalst
From Public Views to Private Views - Correctness-by-Design for Services. WS-FM 2007: 139-153 - [i2]Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann
Challenges in a Service-Oriented World. ERCIM News 2007(70) (2007) - 2006
- [j9]Lars Michael Kristensen, Karsten Schmidt, Antti Valmari:
Question-guided stubborn set methods for state properties. Formal Methods Syst. Des. 29(3): 215-251 (2006) - [j8]Karsten Schmidt:
Automated generation of a progress measure for the sweep-line method. Int. J. Softw. Tools Technol. Transf. 8(3): 195-203 (2006) - [c20]Stephan Roch, Karsten Schmidt:
On the Step Explosion Problem. ICATPN 2006: 342-361 - [c19]Eike Best, Javier Esparza
Separability in Conflict-Free Petri Nets. Ershov Memorial Conference 2006: 1-18 - [c18]Wolfgang Reisig, Dirk Fahland
Analysis Techniques for Service Models. ISoLA 2006: 11-17 - [c17]Mirjam Minor, Karsten Schmidt:
Automatic Transformation and Enlargement of Similarity Models for Case-Based Reasoning. Modellierung 2006: 293-296 - [i1]Peter Massuthe, Karsten Wolf:
An Algorithm for Matching Nondeterministic Services with Operating Guidelines. The Role of Business Processes in Service Oriented Architectures 2006 - 2005
- [j7]Wolfgang Reisig, Karsten Schmidt, Christian Stahl:
Kommunizierende Workflow-Services modellieren und analysieren. Inform. Forsch. Entwickl. 20(1-2): 90-101 (2005) - [c16]Sebastian Hinz, Karsten Schmidt, Christian Stahl:
Transforming BPEL to Petri Nets. Business Process Management 2005: 220-235 - [c15]Karsten Schmidt:
Controllability of Open Workflow Nets. EMISA 2005: 236-249 - [c14]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) - [c13]Karsten Schmidt:
Automated Generation of a Progress Measure for the Sweep-Line Method. TACAS 2004: 192-204 - [c12]Bernd-Holger Schlingloff
Modeling and Model Checking Web Services. LCMAS 2004: 3-26 - 2003
- [j5]Karsten Schmidt:
Distributed Verification with LoLA. Fundam. Informaticae 54(2-3): 253-262 (2003) - [c11]Karsten Schmidt:
Using Petri Net Invariants in State Space Construction. TACAS 2003: 473-488 - 2002
- [c10]Karsten Schmidt:
Distributed verification with LoLA. Promise 2002: 94-103 - [c9]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. Informaticae 47(3-4): 325-335 (2001) - 2000
- [j3]Karsten Schmidt:
How to Calculate Symmetries of Petri Nets. Acta Informatica 36(7): 545-590 (2000) - [j2]Karsten Schmidt:
Stubborn Sets for Model Checking the EF/AG Fragment of CTL. Fundam. Informaticae 43(1-4): 331-341 (2000) - [c8]Karsten Schmidt:
LoLA: A Low Level Analyser. ICATPN 2000: 465-474 - [c7]Karsten Schmidt:
Integrating Low Level Symmetries into Reachability Analysis. TACAS 2000: 315-330
1990 – 1999
- 1999
- [j1]Karsten Schmidt:
Model-Checking with Coverability Graphs. Formal Methods Syst. Des. 15(3): 239-254 (1999) - [c6]Karsten Schmidt:
Stubborn Sets for Standard Properties. ICATPN 1999: 46-65 - [c5]Karsten Schmidt:
LoLA wird Pfadfinder. AWPN 1999 - 1997
- [c4]Karsten Schmidt:
Siphons, Traps and High-Level Nets with Infinite Color Domains. ICATPN 1997: 271-289 - [c3]Karsten Schmidt:
Verification of Siphons and Traps for Algebraic Petri Nets. ICATPN 1997: 427-446 - 1996
- [b1]Karsten Schmidt:
Symbolische Analysemethoden für algebraische Petrinetze. Humboldt University of Berlin, Unter den Linden, Germany, Edition Versal 4, Bertz 1996, ISBN 3-929470-54-3, pp. 1-246 - 1995
- [c2]Karsten Schmidt:
Parameterized Reachability Trees for Algebraic Petri Nets. Application and Theory of Petri Nets 1995: 392-411 - [c1]Karsten Schmidt:
On the Computation of Place Invariants for Algebraic Petri Nets. STRICT 1995: 310-325
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: