Karsten Wolf

According to our database1, Karsten Wolf authored at least 84 papers between 1995 and 2018.

Collaborative distances :

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Interleaving Based Model Checking of Concurrency and Causality.
Fundam. Inform., 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.
T. Petri Nets and Other Models of Concurrency, 2016

2015
The Petri net twist in explicit model checking.
Software and System Modeling, 2015

2014
Explizites Model Checking: Welche Vorteile bieten Petrinetze?
Informatik 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. Services Computing, 2012

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

Applying CEGAR to the Petri Net State Equation
Logical Methods in Computer Science, 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. Inform., 2011

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

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

Applying CEGAR to the Petri Net State Equation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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. Inform., 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

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 and Other Models of Concurrency, 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 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.
IJBPIM, 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.
STTT, 2006

Question-guided stubborn set methods for state properties.
Formal Methods in System Design, 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

Modeling and Model Checking Web Services.
Electr. Notes Theor. Comput. Sci., 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

Automated Generation of a Progress Measure for the Sweep-Line Method.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2003
Distributed Verification with LoLA.
Fundam. Inform., 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

Distributed verification with LoLA.
Proceedings of the Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002

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

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

How to Calculate Symmetries of Petri Nets.
Acta Inf., 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.
ICATPN, 2000

1999
Model-Checking with Coverability Graphs.
Formal Methods in System Design, 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
Parameterized Reachability Trees for Algebraic Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1995, 1995


  Loading...