Karsten Wolf

According to our database, Karsten Wolf authored at least 97 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Verifying Temporal Logic Properties in the Modular State Space.

Lukas Zech, Karsten Wolf

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

How to Verify Aggregating Global Properties.

Karsten Wolf

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

Modular State Spaces - A New Perspective.

Julian Gaede, Sophie Wallner, Karsten Wolf

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2022

Portfolio Management in Explicit Model Checking.

Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2022

Using Approximation for the Verification of Token-Scaling Models.

Torsten Liebke, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2022

Skeleton Abstraction for Universal Temporal Properties.

Sophie Wallner, Karsten Wolf

Fundam. Informaticae, 2022

2021

Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach.

Torsten Liebke, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2021

2020

Verification of Token-Scaling Models using an Under-Approximation.

Torsten Liebke, Karsten Wolf

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

2019

How Petri Net Theory Serves Petri Net Model Checking: A Survey.

Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2019

Synthesis for Various Petri Net Classes with Union/Find.

Karsten Wolf

Fundam. Informaticae, 2019

Presentation of the 9th Edition of the Model Checking Contest.

Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Solving E (φUψ) using the CEGAR Approach.

Torsten Liebke, Karsten Wolf

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

Taking Some Burden Off an Explicit CTL Model Checker.

Torsten Liebke, Karsten Wolf

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018

MCC'2017 - The Seventh Model Checking Contest.

Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2018

Interleaving Based Model Checking of Concurrency and Causality.

Karsten Wolf

Fundam. Informaticae, 2018

A Simple Abstract Interpretation for Petri Net Queries.

Karsten Wolf

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

Petri Net Model Checking with LoLA 2.

Karsten Wolf

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

Petri Net Synthesis with Union/Find.

Karsten Wolf

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs.

Ronny Tredup, Christian Rosenke, Karsten Wolf

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Model Checking Concurrency and Causality.

Karsten Wolf

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Running LoLA 2.0 in a Model Checking Competition.

Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2016

2015

The Petri net twist in explicit model checking.

Karsten Wolf

Softw. Syst. Model., 2015

2014

Explizites Model Checking: Welche Vorteile bieten Petrinetze?

Karsten Wolf

Inform. Spektrum, 2014

Developing simulation models - from conceptual to executable model and back - an artifact-based workflow approach.

Stefan Rybacki, Fiete Haack, Karsten Wolf, Adelinde M. Uhrmacher

Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014

LoLA as Abstract Planning Engine of PlanICS.

Artur Niewiadomski, Karsten Wolf

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

From Artifacts to Activities.

Niels Lohmann, Karsten Wolf

Proceedings of the Web Services Foundations, 2014

2013

Editorial.

Mathias Weske, Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf

Inf. Syst., 2013

Model Checking Contest @ Petri Nets, Report on the 2013 edition.

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

CoRR, 2013

2012

Reducing Adapter Synthesis to Controller Synthesis.

Christian Gierds, Arjan J. Mooij, Karsten Wolf

IEEE Trans. Serv. Comput., 2012

Raw Report on the Model Checking Contest at Petri Nets 2012

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

CoRR, 2012

Applying CEGAR to the Petri Net State Equation

Harro Wimmel, Karsten Wolf

Log. Methods Comput. Sci., 2012

Stubborn Sets for Simple Linear Time Properties.

Andreas Lehmann, Niels Lohmann, Karsten Wolf

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

Guaranteeing Weak Termination in Service Discovery.

Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, Robert Danitz

Fundam. Informaticae, 2011

Compact Representations and Efficient Algorithms for Operating Guidelines.

Niels Lohmann, Karsten Wolf

Fundam. Informaticae, 2011

Analysis on demand: Instantaneous soundness checking of industrial business process models.

Dirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf

Data Knowl. Eng., 2011

Decidability Results for Choreography Realization.

Niels Lohmann, Karsten Wolf

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Finding a Witness Path for Non-liveness in Free-Choice Nets.

Harro Wimmel, Karsten Wolf

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010

Preface.

Giuliana Franceschinis, Wojciech Penczek, Karsten Wolf

Fundam. Informaticae, 2010

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf

Comput. J., 2010

Service Discovery Using Communication Fingerprints.

Olivia Oanea, Jan Sürmeli, Karsten Wolf

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Artifact-Centric Choreographies.

Niels Lohmann, Karsten Wolf

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

How to Implement a Theory of Correctness in the Area of Business Processes and Services.

Niels Lohmann, Karsten Wolf

Proceedings of the Business Process Management - 8th International Conference, 2010

Decidability Issues for Decentralized Controllability of Open Nets.

Karsten Wolf

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

Reachability Analysis via Net Structure.

Harro Wimmel, Karsten Wolf

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

New Algorithms for Deciding the Siphon-Trap Property.

Olivia Oanea, Harro Wimmel, Karsten Wolf

Proceedings of the Applications and Theory of Petri Nets, 2010

2009

Does My Service Have Partners?.

Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2009

Deciding service composition and substitutability using extended operating guidelines.

Christian Stahl, Karsten Wolf

Data Knowl. Eng., 2009

A theory of service behavior.

Karsten Wolf

Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

A finite representation of all substitutable services and its applications.

Jarungjit Parnjai, Christian Stahl, Karsten Wolf

Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

An efficient necessary condition for compatibility.

Olivia Oanea, Karsten Wolf

Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

Realizability Is Controllability.

Niels Lohmann, Karsten Wolf

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Service Interaction: Patterns, Formalization, and Analysis.

Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf

Proceedings of the Formal Methods for Web Services, 2009

Another Approach to Service Instance Migration.

Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Set Algebra for Service Behavior: Applications and Constructions.

Kathrin Kaschner, Karsten Wolf

Proceedings of the Business Process Management, 7th International Conference, 2009

Instantaneous Soundness Checking of Industrial Business Process Models.

Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf

Proceedings of the Business Process Management, 7th International Conference, 2009

Verifying Deadlock- and Livelock Freedom in an SOA Scenario.

Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

Petrifying Operating Guidelines for Services.

Niels Lohmann, Karsten Wolf

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Can I find a partner? Undecidability of partner existence for open nets.

Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf

Inf. Process. Lett., 2008

Extending the compatibility notion for abstract WS-BPEL processes.

Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf

Proceedings of the 17th International Conference on World Wide Web, 2008

Covering Places and Transitions in Open Nets.

Christian Stahl, Karsten Wolf

Proceedings of the Business Process Management, 6th International Conference, 2008

On Synthesizing Behavior that Is Aware of Semantical Constraints.

Karsten Wolf

Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

An Approach to Tackle Livelock-Freedom in SOA.

Christian Stahl, Karsten Wolf

Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

2007

An algorithm for matching non-deterministic services with operating guidelines.

Peter Massuthe, Karsten Wolf

Int. J. Bus. Process. Integr. Manag., 2007

Challenges in a Service-Oriented World.

Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl

ERCIM News, 2007

From Public Views to Private Views - Correctness-by-Design for Services.

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Behavioral Constraints for Services.

Niels Lohmann, Peter Massuthe, Karsten Wolf

Proceedings of the Business Process Management, 5th International Conference, 2007

Generating Petri Net State Spaces.

Karsten Wolf

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

Operating Guidelines for Finite-State Services.

Niels Lohmann, Peter Massuthe, Karsten Wolf

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Automated generation of a progress measure for the sweep-line method.

Karsten Schmidt

Int. J. Softw. Tools Technol. Transf., 2006

Question-guided stubborn set methods for state properties.

Lars Michael Kristensen, Karsten Schmidt, Antti Valmari

Formal Methods Syst. Des., 2006

Automatic Transformation and Enlargement of Similarity Models for Case-Based Reasoning.

Mirjam Minor, Karsten Schmidt

Proceedings of the Modellierung 2006, 2006

Analysis Techniques for Service Models.

Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner

Proceedings of the Leveraging Applications of Formal Methods, 2006

Separability in Conflict-Free Petri Nets.

Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf

Proceedings of the Perspectives of Systems Informatics, 2006

An Algorithm for Matching Nondeterministic Services with Operating Guidelines.

Peter Massuthe, Karsten Wolf

Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

On the Step Explosion Problem.

Stephan Roch, Karsten Schmidt

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Kommunizierende Workflow-Services modellieren und analysieren.

Wolfgang Reisig, Karsten Schmidt, Christian Stahl

Inform. Forsch. Entwickl., 2005

Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture.

Peter Massuthe, Karsten Schmidt

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Controllability of Open Workflow Nets.

Karsten Schmidt

Proceedings of the Enterprise Modelling and Information Systems Architectures, 2005

Transforming BPEL to Petri Nets.

Sebastian Hinz, Karsten Schmidt, Christian Stahl

Proceedings of the Business Process Management, 3rd International Conference, 2005

2004

BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.

Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang

IEEE Trans. Software Eng., 2004

Modeling and Model Checking Web Services.

Bernd-Holger Schlingloff, Axel Martens, Karsten Schmidt

Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

2003

Distributed Verification with LoLA.

Karsten Schmidt

Fundam. Informaticae, 2003

Using Petri Net Invariants in State Space Construction.

Karsten Schmidt

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.

Farn Wang, Karsten Schmidt

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

Narrowing Petri Net State Spaces Using the State Equation.

Karsten Schmidt

Fundam. Informaticae, 2001

2000

Stubborn Sets for Model Checking the EF/AG Fragment of CTL.

Karsten Schmidt

Fundam. Informaticae, 2000

How to Calculate Symmetries of Petri Nets.

Karsten Schmidt

Acta Informatica, 2000

Integrating Low Level Symmetries into Reachability Analysis.

Karsten Schmidt

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

LoLA: A Low Level Analyser.

Karsten Schmidt

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

Model-Checking with Coverability Graphs.

Karsten Schmidt

Formal Methods Syst. Des., 1999

LoLA wird Pfadfinder.

Karsten Schmidt

Proceedings of the 6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11., 1999

Stubborn Sets for Standard Properties.

Karsten Schmidt

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1997

Verification of Siphons and Traps for Algebraic Petri Nets.

Karsten Schmidt

Proceedings of the Application and Theory of Petri Nets 1997, 1997

Siphons, Traps and High-Level Nets with Infinite Color Domains.

Karsten Schmidt

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

Symbolische Analysemethoden für algebraische Petrinetze.

Karsten Schmidt

PhD thesis, 1996

1995

On the Computation of Place Invariants for Algebraic Petri Nets.

Karsten Schmidt

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

Parameterized Reachability Trees for Algebraic Petri Nets.

Karsten Schmidt

Proceedings of the Application and Theory of Petri Nets 1995, 1995