default search action
Christian Stahl
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
- [j20]Christian Stahl, Jörg Leske, Marc Lettmann
, Norbert Pietralla:
APCAD - Analysis program for the continuous-angle DSAM. Comput. Phys. Commun. 214: 174-198 (2017) - [j19]Richard Müller
Deciding conformance for bounded responsiveness. Sci. Comput. Program. 138: 1-25 (2017) - 2015
- [c28]Christian Stahl, Efstratios Bellos, Christian Altenhofen, Jon M. Hjelmervik
Flexible integration of cloud-based engineering services using semantic technologies. ICIT 2015: 1520-1525 - 2014
- [j18]Walter Vogler, Christian Stahl, Richard Müller:
Trace- and failure-based semantics for responsiveness. Acta Informatica 51(8): 499-552 (2014) - [j17]Richard Müller
Undecidability of accordance for open systems with unbounded message queues. Inf. Process. Lett. 114(12): 663-669 (2014) - [p1]Christian Stahl, Wil M. P. van der Aalst
Behavioral Service Substitution. Web Services Foundations 2014: 215-244 - 2013
- [j16]Wil M. P. van der Aalst
Strategies for Modeling Complex Processes Using Colored Petri Nets. Trans. Petri Nets Other Model. Concurr. 7: 6-55 (2013) - [j15]Michael Westergaard, Dirk Fahland
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching. Trans. Petri Nets Other Model. Concurr. 8: 180-202 (2013) - [j14]Natalia Sidorova
Soundness for Resource-Constrained Workflow Nets Is Decidable. IEEE Trans. Syst. Man Cybern. Syst. 43(3): 724-729 (2013) - [c27]Hajo A. Reijers, Tijs Slaats, Christian Stahl:
Declarative Modeling-An Academic Dream or the Future for BPM? BPM 2013: 307-322 - [c26]Michael Westergaard, Christian Stahl:
Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions. BPM (Demos) 2013 - [c25]Walter Vogler, Christian Stahl, Richard Müller:
Trace- and Failure-Based Semantics for Bounded Responsiveness. ESOCC Workshops 2013: 129-143 - [c24]Elham Ramezani, Natalia Sidorova
Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair. FSEN 2013: 150-167 - [c23]Richard Müller, Christian Stahl, Wil M. P. van der Aalst
Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations. ICSOC 2013: 358-373 - 2012
- [j13]Christian Stahl, Walter Vogler:
A trace-based service semantics guaranteeing deadlock freedom. Acta Informatica 49(2): 69-103 (2012) - [c22]Walter Vogler, Christian Stahl, Richard Müller:
A Trace-Based Semantics for Responsiveness. ACSD 2012: 42-51 - [c21]Michael Westergaard, Dirk Fahland, Christian Stahl:
Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification. PNSE 2012: 32-46 - [c20]André Stork, Neyir Sevilmis, Daniel Weber
Enabling virtual assembly training in and beyond the automotive industry. VSMM 2012: 347-352 - [c19]Richard Müller, Wil M. P. van der Aalst
Conformance Checking of Services Using the Best Matching Private View. WS-FM 2012: 49-68 - 2011
- [b2]Wil M. P. van der Aalst, Christian Stahl:
Modeling Business Processes - A Petri Net-Oriented Approach. Cooperative Information Systems series, MIT Press 2011, ISBN 978-0-262-01538-7, pp. I-XII, 1-386 - [j12]Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, Robert Danitz:
Guaranteeing Weak Termination in Service Discovery. Fundam. Informaticae 108(1-2): 151-180 (2011) - [j11]Natalia Sidorova
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. Inf. Syst. 36(7): 1026-1043 (2011) - [c18]Christian Stahl, Walter Vogler:
A Trace-Based View on Operating Guidelines. FoSSaCS 2011: 411-425 - 2010
- [j10]Wil M. P. van der Aalst
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J. 53(1): 90-106 (2010) - [j9]Arjan J. Mooij, Christian Stahl, Marc Voorhoeve:
Relating fair testing and accordance for service replaceability. J. Log. Algebraic Methods Program. 79(3-5): 233-244 (2010) - [c17]Natalia Sidorova
Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. CAiSE 2010: 530-544 - [c16]Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve:
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. WS-FM 2010: 116-130
2000 – 2009
- 2009
- [b1]Christian Stahl:
Service substitution: a behavioral approach based on Petri nets. Humboldt University of Berlin, 2009, ISBN 978-90-386-2065-7, pp. 1-289 - [j8]Christian Stahl, Karsten Wolf:
Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng. 68(9): 819-833 (2009) - [j7]Niels Lohmann
Comparing and evaluating Petri net semantics for BPEL. Int. J. Bus. Process. Integr. Manag. 4(1): 60-73 (2009) - [j6]Christian Stahl, Peter Massuthe, Jan Bretschneider:
Deciding Substitutability of Services with Operating Guidelines. Trans. Petri Nets Other Model. Concurr. 2: 172-191 (2009) - [j5]Kees M. van Hee, H. M. W. Verbeek
A Framework for Linking and Pricing No-Cure-No-Pay Services. Trans. Petri Nets Other Model. Concurr. 2: 192-207 (2009) - [c15]Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz:
Verifying Deadlock- and Livelock Freedom in an SOA Scenario. ACSD 2009: 168-177 - [c14]Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf:
Another Approach to Service Instance Migration. ICSOC/ServiceWave 2009: 607-621 - [c13]Wil M. P. van der Aalst
Service Interaction: Patterns, Formalization, and Analysis. SFM 2009: 42-88 - [c12]Jarungjit Parnjai, Christian Stahl, Karsten Wolf:
A finite representation of all substitutable services and its applications. ZEUS 2009: 29-34 - 2008
- [j4]Niels Lohmann
Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng. 64(1): 38-54 (2008) - [c11]Christian Stahl, Karsten Wolf:
An Approach to Tackle Livelock-Freedom in SOA. AWPN 2008: 69-74 - [c10]Christian Stahl, Karsten Wolf:
Covering Places and Transitions in Open Nets. BPM 2008: 116-131 - [c9]Dieter König, Niels Lohmann
Extending the compatibility notion for abstract WS-BPEL processes. WWW 2008: 785-794 - 2007
- [j3]Wil M. P. van der Aalst
An SOA-based architecture framework. Int. J. Bus. Process. Integr. Manag. 2(2): 91-101 (2007) - [c8]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: 521-538 - [c7]Wil M. P. van der Aalst
From Public Views to Private Views - Correctness-by-Design for Services. WS-FM 2007: 139-153 - [i2]Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann
Challenges in a Service-Oriented World. ERCIM News 2007(70) (2007) - 2006
- [c6]Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg:
Analyzing Interacting BPEL Processes. Business Process Management 2006: 17-32 - [c5]Wolfgang Reisig, Dirk Fahland
Analysis Techniques for Service Models. ISoLA 2006: 11-17 - [i1]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 - 2005
- [j2]Wolfgang Reisig, Karsten Schmidt, Christian Stahl:
Kommunizierende Workflow-Services modellieren und analysieren. Inform. Forsch. Entwickl. 20(1-2): 90-101 (2005) - [c4]Christian Stahl, Wolfgang Reisig, Milos Krstic
Hazard Detection in a GALS Wrapper: A Case Study. ACSD 2005: 234-243 - [c3]Milos Krstic, Eckhard Grass, Christian Stahl:
Request-Driven GALS Technique for Wireless Communication System. ASYNC 2005: 76-85 - [c2]Sebastian Hinz, Karsten Schmidt, Christian Stahl:
Transforming BPEL to Petri Nets. Business Process Management 2005: 220-235 - [c1]Eckhard Grass, Frank Winkler, Milos Krstic
Enhanced GALS Techniques for Datapath Applications. PATMOS 2005: 581-590 - 2004
- [j1]José M. Vidal, Paul A. Buhler, Christian Stahl:
Multiagent Systems with Workflows. IEEE Internet Comput. 8(1): 76-82 (2004)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: