|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 30 occurrences of 18 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christian Stahl, Walter Vogler |
A trace-based service semantics guaranteeing deadlock freedom.  |
Acta Inf.  |
2012 |
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 | Natalia Sidorova, Christian Stahl, Nikola Trcka |
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. |
Inf. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Stahl, Walter Vogler |
A Trace-Based View on Operating Guidelines. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan J. Mooij, Christian Stahl, Marc Voorhoeve |
Relating fair testing and accordance for service replaceability. |
J. Log. Algebr. Program. |
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 | Natalia Sidorova, Christian Stahl, Nikola Trcka |
Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. |
CAiSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve |
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Stahl |
Service substitution: a behavioral approach based on Petri nets. |
|
2009 |
RDF |
|
| 1 | Christian Stahl, Karsten Wolf |
Deciding service composition and substitutability using extended operating guidelines. |
Data Knowl. Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova |
A Framework for Linking and Pricing No-Cure-No-Pay Services. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Stahl, Peter Massuthe, Jan Bretschneider |
Deciding Substitutability of Services with Operating Guidelines. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
Open nets, Service substitutability, Operating guidelines |
| 1 | Jarungjit Parnjai, Christian Stahl, Karsten Wolf |
A finite representation of all substitutable services and its applications. |
ZEUS |
2009 |
DBLP 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 | 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 | Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg |
Analyzing interacting WS-BPEL processes using flexible model generation. |
Data Knowl. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Stahl, Karsten Wolf |
An Approach to Tackle Livelock-Freedom in SOA. |
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 | 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 | Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl |
Services as a Paradigm of Computation. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
open workflow nets, SOA, services, models of computation |
| 1 | Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, Christian Stahl |
A SOA-Based Architecture Framework. |
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 | Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg |
Analyzing Interacting BPEL Processes. |
Business Process Management |
2006 |
DBLP DOI BibTeX RDF |
Petri nets, Business process modeling and analysis, Process verification and validation, Formal models in business process management |
| 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 | Eckhard Grass, Frank Winkler, Milos Krstic, Alexandra Julius, Christian Stahl, Maxim Piz |
Enhanced GALS Techniques for Datapath Applications. |
PATMOS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Stahl, Wolfgang Reisig, Milos Krstic |
Hazard Detection in a GALS Wrapper: A Case Study. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Milos Krstic, Eckhard Grass, Christian Stahl |
Request-Driven GALS Technique for Wireless Communication System. |
ASYNC |
2005 |
DBLP DOI BibTeX RDF |
|
| 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 | José M. Vidal, Paul A. Buhler, Christian Stahl |
Multiagent Systems with Workflows. |
IEEE Internet Computing |
2004 |
DBLP DOI BibTeX RDF |
workflow automation, Web services, Petri nets, BPEL4WS |
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")