| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christian Gierds, Arjan J. Mooij, Karsten Wolf |
Reducing Adapter Synthesis to Controller Synthesis.  |
IEEE T. Services Computing  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, Robert Danitz |
Guaranteeing Weak Termination in Service Discovery. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Lohmann, Karsten Wolf |
Compact Representations and Efficient Algorithms for Operating Guidelines. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Harro Wimmel, Karsten Wolf |
Finding a Witness Path for Non-liveness in Free-Choice Nets. |
Petri Nets |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Harro Wimmel, Karsten Wolf |
Applying CEGAR to the Petri Net State Equation. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Lohmann, Karsten Wolf |
Decidability Results for Choreography Realization. |
ICSOC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
BPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Wojciech Penczek, Karsten Wolf |
Preface. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf |
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivia Oanea, Harro Wimmel, Karsten Wolf |
New Algorithms for Deciding the Siphon-Trap Property. |
Petri Nets |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Lohmann, Karsten Wolf |
Artifact-Centric Choreographies. |
ICSOC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivia Oanea, Jan Sürmeli, Karsten Wolf |
Service Discovery Using Communication Fingerprints. |
ICSOC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Lohmann, Karsten Wolf |
How to Implement a Theory of Correctness in the Area of Business Processes and Services. |
BPM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Stahl, Karsten Wolf |
Deciding service composition and substitutability using extended operating guidelines. |
Data Knowl. Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Wolf |
Does My Service Have Partners?. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliana Franceschinis, Karsten Wolf (eds.) |
Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings |
Petri Nets |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivia Oanea, Karsten Wolf |
An efficient necessary condition for compatibility. |
ZEUS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Karsten Wolf |
A theory of service behavior. |
ZEUS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jarungjit Parnjai, Christian Stahl, Karsten Wolf |
A finite representation of all substitutable services and its applications. |
ZEUS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Niels Lohmann, Karsten Wolf |
Realizability is controllability. |
ZEUS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Niels Lohmann, Karsten Wolf |
Petrifying Operating Guidelines for Services. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz |
Verifying Deadlock- and Livelock Freedom in an SOA Scenario. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
business process composition, livelock freedom, service-oriented architecture, state space reduction |
| 1 | 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 |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Lohmann, Karsten Wolf |
Realizability Is Controllability. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf |
Another Approach to Service Instance Migration. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf |
Service Interaction: Patterns, Formalization, and Analysis. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
Open Nets, Service Interaction Patterns, Verification, Service Orientation, Service Choreography |
| 1 | Kathrin Kaschner, Karsten Wolf |
Set Algebra for Service Behavior: Applications and Constructions. |
BPM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf |
Can I find a partner? Undecidability of partner existence for open nets. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Stahl, Karsten Wolf |
An Approach to Tackle Livelock-Freedom in SOA. |
AWPN |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
AWPN |
2008 |
DBLP BibTeX RDF |
|
| 1 | Karsten Wolf |
On Synthesizing Behavior that Is Aware of Semantical Constraints. |
AWPN |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf |
Extending the compatibility notion for abstract WS-BPEL processes. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
abstract profile, petri nets, compliance, WS-BPEL |
| 1 | Christian Stahl, Karsten Wolf |
Covering Places and Transitions in Open Nets. |
BPM |
2008 |
DBLP DOI BibTeX RDF |
process modeling and analysis, SOA, Petri nets, operating guidelines |
| 1 | Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl |
Challenges in a Service-Oriented World. |
ERCIM News |
2007 |
DBLP BibTeX RDF |
|
| 1 | Karsten Wolf |
Generating Petri Net State Spaces. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Lohmann, Peter Massuthe, Karsten Wolf |
Operating Guidelines for Finite-State Services. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Lohmann, Peter Massuthe, Karsten Wolf |
Behavioral Constraints for Services. |
BPM |
2007 |
DBLP DOI BibTeX RDF |
Petri nets, Constraints, Business process modeling and analysis, Process verification and validation, Formal models in business process management, Operating guidelines |
| 1 | Karsten Schmidt 0004 |
Automated generation of a progress measure for the sweep-line method. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Explicit state space verification, Line method, Petri nets, Sweep |
| 1 | Lars Michael Kristensen, Karsten Schmidt 0004, Antti Valmari |
Question-guided stubborn set methods for state properties. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
Stubborn set methods, Petri nets, Partial-order reduction, State space methods, State explosion problem |
| 1 | Stephan Roch, Karsten Schmidt 0004 |
On the Step Explosion Problem. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
step semantics, inhibitory, signal arcs, priorities, read, partial order reduction, State space exploration, reset |
| 1 | Mirjam Minor, Karsten Schmidt 0004 |
Automatic Transformation and Enlargement of Similarity Models for Case-Based Reasoning. |
Modellierung |
2006 |
DBLP BibTeX RDF |
|
| 1 | Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf |
Separability in Conflict-Free Petri Nets. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Massuthe, Karsten Wolf |
An Algorithm for Matching Nondeterministic Services with Operating Guidelines. |
The Role of Business Processes in Service Oriented Architectures |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner |
Analysis Techniques for Service Models. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Reisig, Karsten Schmidt 0004, Christian Stahl |
Kommunizierende Workflow-Services modellieren und analysieren. |
Inform., Forsch. Entwickl. |
2005 |
DBLP DOI BibTeX RDF |
Open workflow nets, Workflow services, Petri nets, Controllability, BPEL |
| 1 | Bernd-Holger Schlingloff, Axel Martens, Karsten Schmidt 0004 |
Modeling and Model Checking Web Services. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Schmidt 0004 |
Controllability of Open Workflow Nets. |
EMISA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter Massuthe, Karsten Schmidt 0004 |
Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Service-oriented architecture, service composition, matching, automata, operating guidelines |
| 1 | Sebastian Hinz, Karsten Schmidt 0004, Christian Stahl |
Transforming BPEL to Petri Nets. |
Business Process Management |
2005 |
DBLP DOI BibTeX RDF |
Petri nets, BPEL, Business process modeling and analysis, Process verification and validation, Formal models in business process management |
| 1 | Farn Wang, Karsten Schmidt 0004, 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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Schmidt 0004 |
Automated Generation of a Progress Measure for the Sweep-Line Method. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Schmidt 0004 |
Distributed Verification with LoLA. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Karsten Schmidt 0004 |
Using Petri Net Invariants in State Space Construction. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Karsten Schmidt 0004 |
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
data-structures, Symmetry, symbolic model-checking, pointers |
| 1 | Karsten Schmidt 0004 |
Distributed verification with LoLA. |
Promise |
2002 |
DBLP BibTeX RDF |
|
| 1 | Karsten Schmidt 0004 |
Narrowing Petri Net State Spaces Using the State Equation. |
Fundam. Inform. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Karsten Schmidt 0004 |
How to Calculate Symmetries of Petri Nets. |
Acta Inf. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Schmidt 0004 |
Stubborn Sets for Model Checking the EF/AG Fragment of CTL. |
Fundam. Inform. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Karsten Schmidt 0004 |
LoLA: A Low Level Analyser. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Schmidt 0004 |
Integrating Low Level Symmetries into Reachability Analysis. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
symmetries, reachability analysis, automorphisms |
| 1 | Karsten Schmidt 0004 |
Model-Checking with Coverability Graphs. |
Formal Methods in System Design |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Schmidt 0004 |
LoLA wird Pfadfinder. |
AWPN |
1999 |
DBLP BibTeX RDF |
|
| 1 | Karsten Schmidt 0004 |
Stubborn Sets for Standard Properties. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
(Theory) Analysis of nets, Computer tools for nets |
| 1 | Karsten Schmidt 0004 |
Siphons, Traps and High-Level Nets with Infinite Color Domains. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
THEORY: Analysis and synthesis, Higher-level net models, structure and behaviour of nets |
| 1 | Karsten Schmidt 0004 |
Verification of Siphons and Traps for Algebraic Petri Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
THEORY: Analysis and synthesis, Higher level net models, structure and behaviour of nets |
| 1 | Karsten Schmidt 0004 |
Parameterized Reachability Trees for Algebraic Petri Nets. |
Application and Theory of Petri Nets |
1995 |
DBLP DOI BibTeX RDF |
Analysis of higher-level net models |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")