Christian Stahl

53 papers A* 1A 6B 1C 1Journal 21Unranked 20

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	APCAD - Analysis program for the continuous-angle DSAM. Comput. Phys. Commun. Christian Stahl, Jörg Leske, Marc Lettmann, Norbert Pietralla
2017	J	`jnl`	Deciding conformance for bounded responsiveness. Sci. Comput. Program. Richard Müller, Christian Stahl, Walter Vogler
2015	—	`conf`	Flexible integration of cloud-based engineering services using semantic technologies. ICIT Christian Stahl, Efstratios Bellos, Christian Altenhofen, Jon M. Hjelmervik
2014	—	`ch.`	Behavioral Service Substitution. Web Services Foundations Christian Stahl, Wil M. P. van der Aalst
2014	J	`jnl`	Trace- and failure-based semantics for responsiveness. Acta Informatica Walter Vogler, Christian Stahl, Richard Müller
2014	J	`jnl`	Undecidability of accordance for open systems with unbounded message queues. Inf. Process. Lett. Richard Müller, Christian Stahl, Walter Vogler
2013	A	`conf`	Declarative Modeling-An Academic Dream or the Future for BPM? BPM Hajo A. Reijers, Tijs Slaats, Christian Stahl
2013	J	`jnl`	Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching. Trans. Petri Nets Other Model. Concurr. Michael Westergaard, Dirk Fahland, Christian Stahl
2013	—	`conf`	Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair. FSEN Elham Ramezani, Natalia Sidorova, Christian Stahl
2013	—	`conf`	Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions. BPM (Demos) Michael Westergaard, Christian Stahl
2013	A	`conf`	Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations. ICSOC Richard Müller, Christian Stahl, Wil M. P. van der Aalst, Michael Westergaard
2013	J	`jnl`	Soundness for Resource-Constrained Workflow Nets Is Decidable. IEEE Trans. Syst. Man Cybern. Syst. Natalia Sidorova, Christian Stahl
2013	J	`jnl`	Strategies for Modeling Complex Processes Using Colored Petri Nets. Trans. Petri Nets Other Model. Concurr. Wil M. P. van der Aalst, Christian Stahl, Michael Westergaard
2013	—	`conf`	Trace- and Failure-Based Semantics for Bounded Responsiveness. ESOCC Workshops Walter Vogler, Christian Stahl, Richard Müller
2012	—	`conf`	A Trace-Based Semantics for Responsiveness. ACSD Walter Vogler, Christian Stahl, Richard Müller
2012	J	`jnl`	A trace-based service semantics guaranteeing deadlock freedom. Acta Informatica Christian Stahl, Walter Vogler
2012	—	`conf`	Conformance Checking of Services Using the Best Matching Private View. WS-FM Richard Müller, Wil M. P. van der Aalst, Christian Stahl
2012	—	`conf`	Enabling virtual assembly training in and beyond the automotive industry. VSMM André Stork, Neyir Sevilmis, Daniel Weber, Dominic Gorecky, Christian Stahl, Matthias Loskyll, Frank Michel
2012	—	`conf`	Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification. PNSE Michael Westergaard, Dirk Fahland, Christian Stahl
2011	B	`conf`	A Trace-Based View on Operating Guidelines. FoSSaCS Christian Stahl, Walter Vogler
2011	J	`jnl`	Guaranteeing Weak Termination in Service Discovery. Fundam. Informaticae Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, Robert Danitz
2011	—	`book`	Modeling Business Processes - A Petri Net-Oriented Approach. Wil M. P. van der Aalst, Christian Stahl
2011	J	`jnl`	Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. Inf. Syst. Natalia Sidorova, Christian Stahl, Nikola Trcka
2010	—	`conf`	Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. WS-FM Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve
2010	J	`jnl`	Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J. Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf
2010	J	`jnl`	Relating fair testing and accordance for service replaceability. J. Log. Algebraic Methods Program. Arjan J. Mooij, Christian Stahl, Marc Voorhoeve
2010	A	`conf`	Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. CAiSE Natalia Sidorova, Christian Stahl, Nikola Trcka
2009	J	`jnl`	A Framework for Linking and Pricing No-Cure-No-Pay Services. Trans. Petri Nets Other Model. Concurr. Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova
2009	—	`conf`	A finite representation of all substitutable services and its applications. ZEUS Jarungjit Parnjai, Christian Stahl, Karsten Wolf
2009	—	`conf`	Another Approach to Service Instance Migration. ICSOC/ServiceWave Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf
2009	J	`jnl`	Comparing and evaluating Petri net semantics for BPEL. Int. J. Bus. Process. Integr. Manag. Niels Lohmann, Eric Verbeek, Chun Ouyang, Christian Stahl
2009	J	`jnl`	Deciding Substitutability of Services with Operating Guidelines. Trans. Petri Nets Other Model. Concurr. Christian Stahl, Peter Massuthe, Jan Bretschneider
2009	J	`jnl`	Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng. Christian Stahl, Karsten Wolf
2009	—	`conf`	Service Interaction: Patterns, Formalization, and Analysis. SFM Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf
2009	—	`—`	Service substitution: a behavioral approach based on Petri nets. Christian Stahl
2009	—	`conf`	Verifying Deadlock- and Livelock Freedom in an SOA Scenario. ACSD Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz
2008	—	`conf`	An Approach to Tackle Livelock-Freedom in SOA. AWPN Christian Stahl, Karsten Wolf
2008	J	`jnl`	Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng. Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
2008	A	`conf`	Covering Places and Transitions in Open Nets. BPM Christian Stahl, Karsten Wolf
2008	A*	`conf`	Extending the compatibility notion for abstract WS-BPEL processes. WWW Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf
2007	J	`jnl`	An SOA-based architecture framework. Int. J. Bus. Process. Integr. Manag. Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, Christian Stahl
2007	J	`jnl`	Challenges in a Service-Oriented World. ERCIM News Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl
2007	—	`conf`	From Public Views to Private Views - Correctness-by-Design for Services. WS-FM Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf
2007	—	`conf`	Services as a Paradigm of Computation. Formal Methods and Hybrid Real-Time Systems Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl
2006	—	`conf`	A SOA-Based Architecture Framework. The Role of Business Processes in Service Oriented Architectures Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, Christian Stahl
2006	C	`conf`	Analysis Techniques for Service Models. ISoLA Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner
2006	A	`conf`	Analyzing Interacting BPEL Processes. Business Process Management Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
2005	—	`conf`	Enhanced GALS Techniques for Datapath Applications. PATMOS Eckhard Grass, Frank Winkler, Milos Krstic, Alexandra Julius, Christian Stahl, Maxim Piz
2005	—	`conf`	Hazard Detection in a GALS Wrapper: A Case Study. ACSD Christian Stahl, Wolfgang Reisig, Milos Krstic
2005	J	`jnl`	Kommunizierende Workflow-Services modellieren und analysieren. Inform. Forsch. Entwickl. Wolfgang Reisig, Karsten Schmidt, Christian Stahl
2005	—	`conf`	Request-Driven GALS Technique for Wireless Communication System. ASYNC Milos Krstic, Eckhard Grass, Christian Stahl
2005	A	`conf`	Transforming BPEL to Petri Nets. Business Process Management Sebastian Hinz, Karsten Schmidt, Christian Stahl
2004	J	`jnl`	Multiagent Systems with Workflows. IEEE Internet Comput. José M. Vidal, Paul A. Buhler, Christian Stahl