Multiagent Systems with Workflows. - José M. Vidal; Paul A. Buhler; Christian Stahl (IEEE Internet Comput., 2004)

Hazard Detection in a GALS Wrapper: A Case Study. - Christian Stahl; Wolfgang Reisig; Milos Krstic (ACSD, 2005)

Request-Driven GALS Technique for Wireless Communication System. - Milos Krstic; Eckhard Grass; Christian Stahl (ASYNC, 2005)

Transforming BPEL to Petri Nets. - Sebastian Hinz; Karsten Schmidt 004; Christian Stahl (Business Process Management, 2005)

Enhanced GALS Techniques for Datapath Applications. - Eckhard Grass; Frank Winkler 001; Milos Krstic; Alexandra Julius; Christian Stahl; Maxim Piz (PATMOS, 2005)

Kommunizierende Workflow-Services modellieren und analysieren. - Wolfgang Reisig; Karsten Schmidt 004; Christian Stahl (Inform. Forsch. Entwickl., 2005)

Analyzing Interacting BPEL Processes. - Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg (Business Process Management, 2006)

A SOA-Based Architecture Framework. - Wil M. P. van der Aalst; Michael Beisiegel; Kees M. van Hee; Dieter König; Christian Stahl (The Role of Business Processes in Service Oriented Architectures, 2006)

Analysis Techniques for Service Models. - Wolfgang Reisig; Dirk Fahland; Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg; Karsten Wolf; Kathrin Kaschner (ISoLA, 2006)

Services as a Paradigm of Computation. - Wolfgang Reisig; Jan Bretschneider; Dirk Fahland; Niels Lohmann; Peter Massuthe; Christian Stahl (Formal Methods and Hybrid Real-Time Systems, 2007)

From Public Views to Private Views - Correctness-by-Design for Services. - Wil M. P. van der Aalst; Niels Lohmann; Peter Massuthe; Christian Stahl; Karsten Wolf (WS-FM, 2007)

Challenges in a Service-Oriented World. - Wolfgang Reisig; Karsten Wolf; Jan Bretschneider; Kathrin Kaschner; Niels Lohmann; Peter Massuthe; Christian Stahl (ERCIM News, 2007)

An SOA-based architecture framework. - Wil M. P. van der Aalst; Michael Beisiegel; Kees M. van Hee; Dieter König; Christian Stahl (Int. J. Bus. Process. Integr. Manag., 2007)

An Approach to Tackle Livelock-Freedom in SOA. - Christian Stahl; Karsten Wolf (AWPN, 2008)

Covering Places and Transitions in Open Nets. - Christian Stahl; Karsten Wolf (BPM, 2008)

Extending the compatibility notion for abstract WS-BPEL processes. - Dieter König; Niels Lohmann; Simon Moser; Christian Stahl; Karsten Wolf (WWW, 2008)

Analyzing interacting WS-BPEL processes using flexible model generation. - Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg (Data Knowl. Eng., 2008)

Verifying Deadlock- and Livelock Freedom in an SOA Scenario. - Karsten Wolf; Christian Stahl; Janine Ott; Robert Danitz (ACSD, 2009)

Another Approach to Service Instance Migration. - Nannette Liske; Niels Lohmann; Christian Stahl; Karsten Wolf (ICSOC/ServiceWave, 2009)

Service Interaction: Patterns, Formalization, and Analysis. - Wil M. P. van der Aalst; Arjan J. Mooij; Christian Stahl; Karsten Wolf (SFM, 2009)

A finite representation of all substitutable services and its applications. - Jarungjit Parnjai; Christian Stahl; Karsten Wolf (ZEUS, 2009)

Deciding service composition and substitutability using extended operating guidelines. - Christian Stahl; Karsten Wolf (Data Knowl. Eng., 2009)

Comparing and evaluating Petri net semantics for BPEL. - Niels Lohmann; Eric Verbeek 001; Chun Ouyang 001; Christian Stahl (Int. J. Bus. Process. Integr. Manag., 2009)

A Framework for Linking and Pricing No-Cure-No-Pay Services. - Kees M. van Hee; H. M. W. Verbeek; Christian Stahl; Natalia Sidorova (Trans. Petri Nets Other Model. Concurr., 2009)

Deciding Substitutability of Services with Operating Guidelines. - Christian Stahl; Peter Massuthe; Jan Bretschneider (Trans. Petri Nets Other Model. Concurr., 2009)

Service substitution: a behavioral approach based on Petri nets. - Christian Stahl (2009)

Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. - Natalia Sidorova; Christian Stahl; Nikola Trcka (CAiSE, 2010)

Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. - Arjan J. Mooij; Jarungjit Parnjai; Christian Stahl; Marc Voorhoeve (WS-FM, 2010)

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. - Wil M. P. van der Aalst; Niels Lohmann; Peter Massuthe; Christian Stahl; Karsten Wolf (Comput. J., 2010)

Relating fair testing and accordance for service replaceability. - Arjan J. Mooij; Christian Stahl; Marc Voorhoeve (J. Log. Algebraic Methods Program., 2010)

Modeling Business Processes - A Petri Net-Oriented Approach. - Wil M. P. van der Aalst; Christian Stahl (MIT Press, 2011)

A Trace-Based View on Operating Guidelines. - Christian Stahl; Walter Vogler (FoSSaCS, 2011)

Guaranteeing Weak Termination in Service Discovery. - Karsten Wolf; Christian Stahl; Daniela Weinberg; Janine Ott; Robert Danitz (Fundam. Informaticae, 2011)

Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. - Natalia Sidorova; Christian Stahl; Nikola Trcka (Inf. Syst., 2011)

A Trace-Based Semantics for Responsiveness. - Walter Vogler; Christian Stahl; Richard Müller 001 (ACSD, 2012)

Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification. - Michael Westergaard; Dirk Fahland; Christian Stahl (PNSE, 2012)

Enabling virtual assembly training in and beyond the automotive industry. - André Stork; Neyir Sevilmis; Daniel Weber 001; Dominic Gorecky; Christian Stahl; Matthias Loskyll; Frank Michel 001 (VSMM, 2012)

Conformance Checking of Services Using the Best Matching Private View. - Richard Müller 001; Wil M. P. van der Aalst; Christian Stahl (WS-FM, 2012)

A trace-based service semantics guaranteeing deadlock freedom. - Christian Stahl; Walter Vogler (Acta Informatica, 2012)

Declarative Modeling-An Academic Dream or the Future for BPM? - Hajo A. Reijers; Tijs Slaats; Christian Stahl (BPM, 2013)

Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions. - Michael Westergaard; Christian Stahl (BPM (Demos), 2013)

Trace- and Failure-Based Semantics for Bounded Responsiveness. - Walter Vogler; Christian Stahl; Richard Müller 001 (ESOCC Workshops, 2013)

Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair. - Elham Ramezani; Natalia Sidorova; Christian Stahl (FSEN, 2013)

Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations. - Richard Müller 001; Christian Stahl; Wil M. P. van der Aalst; Michael Westergaard (ICSOC, 2013)

Strategies for Modeling Complex Processes Using Colored Petri Nets. - Wil M. P. van der Aalst; Christian Stahl; Michael Westergaard (Trans. Petri Nets Other Model. Concurr., 2013)

Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching. - Michael Westergaard; Dirk Fahland; Christian Stahl (Trans. Petri Nets Other Model. Concurr., 2013)

Soundness for Resource-Constrained Workflow Nets Is Decidable. - Natalia Sidorova; Christian Stahl (IEEE Trans. Syst. Man Cybern. Syst., 2013)

Behavioral Service Substitution. - Christian Stahl; Wil M. P. van der Aalst (Web Services Foundations, 2014)

Trace- and failure-based semantics for responsiveness. - Walter Vogler; Christian Stahl; Richard Müller 001 (Acta Informatica, 2014)

Undecidability of accordance for open systems with unbounded message queues. - Richard Müller 001; Christian Stahl; Walter Vogler (Inf. Process. Lett., 2014)

Flexible integration of cloud-based engineering services using semantic technologies. - Christian Stahl; Efstratios Bellos; Christian Altenhofen; Jon M. Hjelmervik (ICIT, 2015)

APCAD - Analysis program for the continuous-angle DSAM. - Christian Stahl; Jörg Leske; Marc Lettmann; Norbert Pietralla (Comput. Phys. Commun., 2017)

Deciding conformance for bounded responsiveness. - Richard Müller 001; Christian Stahl; Walter Vogler (Sci. Comput. Program., 2017)