Karsten Wolf

Orcid: 0009-0003-9877-6973

Affiliations:
  • University of Rostock, Institute of Computer Science, Germany
  • Humboldt University of Berlin, Department of Computer Science, Germany


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Verifying Temporal Logic Properties in the Modular State Space.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

How to Verify Aggregating Global Properties.
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.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2022
Portfolio Management in Explicit Model Checking.
Trans. Petri Nets Other Model. Concurr., 2022

Using Approximation for the Verification of Token-Scaling Models.
Trans. Petri Nets Other Model. Concurr., 2022

Skeleton Abstraction for Universal Temporal Properties.
Fundam. Informaticae, 2022

2021
Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach.
Trans. Petri Nets Other Model. Concurr., 2021

2020
Verification of Token-Scaling Models using an Under-Approximation.
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.
Trans. Petri Nets Other Model. Concurr., 2019

Synthesis for Various Petri Net Classes with Union/Find.
Fundam. Informaticae, 2019


Solving E (φUψ) using the CEGAR Approach.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

Taking Some Burden Off an Explicit CTL Model Checker.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018
MCC'2017 - The Seventh Model Checking Contest.
Trans. Petri Nets Other Model. Concurr., 2018

Interleaving Based Model Checking of Concurrency and Causality.
Fundam. Informaticae, 2018

A Simple Abstract Interpretation for Petri Net Queries.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

Petri Net Model Checking with LoLA 2.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

Petri Net Synthesis with Union/Find.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017
Model Checking Concurrency and Causality.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016
Running LoLA 2.0 in a Model Checking Competition.
Trans. Petri Nets Other Model. Concurr., 2016

2015
The Petri net twist in explicit model checking.
Softw. Syst. Model., 2015

2014
Explizites Model Checking: Welche Vorteile bieten Petrinetze?
Inform. Spektrum, 2014

Developing simulation models - from conceptual to executable model and back - an artifact-based workflow approach.
Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014

LoLA as Abstract Planning Engine of PlanICS.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

From Artifacts to Activities.
Proceedings of the Web Services Foundations, 2014

2013
Editorial.
Inf. Syst., 2013

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

2012
Reducing Adapter Synthesis to Controller Synthesis.
IEEE Trans. Serv. Comput., 2012

Raw Report on the Model Checking Contest at Petri Nets 2012
CoRR, 2012

Applying CEGAR to the Petri Net State Equation
Log. Methods Comput. Sci., 2012

Stubborn Sets for Simple Linear Time Properties.
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011
Guaranteeing Weak Termination in Service Discovery.
Fundam. Informaticae, 2011

Compact Representations and Efficient Algorithms for Operating Guidelines.
Fundam. Informaticae, 2011

Analysis on demand: Instantaneous soundness checking of industrial business process models.
Data Knowl. Eng., 2011

Decidability Results for Choreography Realization.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Finding a Witness Path for Non-liveness in Free-Choice Nets.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010
Preface.
Fundam. Informaticae, 2010

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.
Comput. J., 2010

Service Discovery Using Communication Fingerprints.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Artifact-Centric Choreographies.
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.
Proceedings of the Business Process Management - 8th International Conference, 2010

Decidability Issues for Decentralized Controllability of Open Nets.
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

Reachability Analysis via Net Structure.
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

New Algorithms for Deciding the Siphon-Trap Property.
Proceedings of the Applications and Theory of Petri Nets, 2010

2009
Does My Service Have Partners?.
Trans. Petri Nets Other Model. Concurr., 2009

Deciding service composition and substitutability using extended operating guidelines.
Data Knowl. Eng., 2009

A theory of service behavior.
Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

A finite representation of all substitutable services and its applications.
Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

An efficient necessary condition for compatibility.
Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

Realizability Is Controllability.
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Service Interaction: Patterns, Formalization, and Analysis.
Proceedings of the Formal Methods for Web Services, 2009

Another Approach to Service Instance Migration.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Set Algebra for Service Behavior: Applications and Constructions.
Proceedings of the Business Process Management, 7th International Conference, 2009

Instantaneous Soundness Checking of Industrial Business Process Models.
Proceedings of the Business Process Management, 7th International Conference, 2009

Verifying Deadlock- and Livelock Freedom in an SOA Scenario.
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

Petrifying Operating Guidelines for Services.
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.
Inf. Process. Lett., 2008

Extending the compatibility notion for abstract WS-BPEL processes.
Proceedings of the 17th International Conference on World Wide Web, 2008

Covering Places and Transitions in Open Nets.
Proceedings of the Business Process Management, 6th International Conference, 2008

On Synthesizing Behavior that Is Aware of Semantical Constraints.
Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

An Approach to Tackle Livelock-Freedom in SOA.
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.
Int. J. Bus. Process. Integr. Manag., 2007

Challenges in a Service-Oriented World.
ERCIM News, 2007

From Public Views to Private Views - Correctness-by-Design for Services.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Behavioral Constraints for Services.
Proceedings of the Business Process Management, 5th International Conference, 2007

Generating Petri Net State Spaces.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

Operating Guidelines for Finite-State Services.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Automated generation of a progress measure for the sweep-line method.
Int. J. Softw. Tools Technol. Transf., 2006

Question-guided stubborn set methods for state properties.
Formal Methods Syst. Des., 2006

Automatic Transformation and Enlargement of Similarity Models for Case-Based Reasoning.
Proceedings of the Modellierung 2006, 2006

Analysis Techniques for Service Models.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Separability in Conflict-Free Petri Nets.
Proceedings of the Perspectives of Systems Informatics, 2006

An Algorithm for Matching Nondeterministic Services with Operating Guidelines.
Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

On the Step Explosion Problem.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005
Kommunizierende Workflow-Services modellieren und analysieren.
Inform. Forsch. Entwickl., 2005

Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Controllability of Open Workflow Nets.
Proceedings of the Enterprise Modelling and Information Systems Architectures, 2005

Transforming BPEL to Petri Nets.
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.
IEEE Trans. Software Eng., 2004

Modeling and Model Checking Web Services.
Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

2003
Distributed Verification with LoLA.
Fundam. Informaticae, 2003

Using Petri Net Invariants in State Space Construction.
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.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001
Narrowing Petri Net State Spaces Using the State Equation.
Fundam. Informaticae, 2001

2000
Stubborn Sets for Model Checking the EF/AG Fragment of CTL.
Fundam. Informaticae, 2000

How to Calculate Symmetries of Petri Nets.
Acta Informatica, 2000

Integrating Low Level Symmetries into Reachability Analysis.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

LoLA: A Low Level Analyser.
Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999
Model-Checking with Coverability Graphs.
Formal Methods Syst. Des., 1999

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

Stubborn Sets for Standard Properties.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1997
Verification of Siphons and Traps for Algebraic Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1997, 1997

Siphons, Traps and High-Level Nets with Infinite Color Domains.
Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996
Symbolische Analysemethoden für algebraische Petrinetze.
PhD thesis, 1996

1995
On the Computation of Place Invariants for Algebraic Petri Nets.
Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

Parameterized Reachability Trees for Algebraic Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1995, 1995


  Loading...