Christian Stahl

According to our database, Christian Stahl authored at least 53 papers between 2004 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

Deciding conformance for bounded responsiveness.

Richard Müller, Christian Stahl, Walter Vogler

Sci. Comput. Program., 2017

APCAD - Analysis program for the continuous-angle DSAM.

Christian Stahl, Jörg Leske, Marc Lettmann, Norbert Pietralla

Comput. Phys. Commun., 2017

2015

Flexible integration of cloud-based engineering services using semantic technologies.

Christian Stahl, Efstratios Bellos, Christian Altenhofen, Jon M. Hjelmervik

Proceedings of the IEEE International Conference on Industrial Technology, 2015

2014

Undecidability of accordance for open systems with unbounded message queues.

Richard Müller, Christian Stahl, Walter Vogler

Inf. Process. Lett., 2014

Trace- and failure-based semantics for responsiveness.

Walter Vogler, Christian Stahl, Richard Müller

Acta Informatica, 2014

Behavioral Service Substitution.

Christian Stahl, Wil M. P. van der Aalst

Proceedings of the Web Services Foundations, 2014

2013

Soundness for Resource-Constrained Workflow Nets Is Decidable.

Natalia Sidorova, Christian Stahl

IEEE Trans. Syst. Man Cybern. Syst., 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

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

Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations.

Richard Müller, Christian Stahl, Wil M. P. van der Aalst, Michael Westergaard

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair.

Elham Ramezani, Natalia Sidorova, Christian Stahl

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

Trace- and Failure-Based Semantics for Bounded Responsiveness.

Walter Vogler, Christian Stahl, Richard Müller

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions.

Michael Westergaard, Christian Stahl

Proceedings of the BPM Demo sessions 2013, Beijing, China, August 26-30, 2013, 2013

Declarative Modeling-An Academic Dream or the Future for BPM?

Hajo A. Reijers, Tijs Slaats, Christian Stahl

Proceedings of the Business Process Management - 11th International Conference, 2013

2012

A trace-based service semantics guaranteeing deadlock freedom.

Christian Stahl, Walter Vogler

Acta Informatica, 2012

Conformance Checking of Services Using the Best Matching Private View.

Richard Müller, Wil M. P. van der Aalst, Christian Stahl

Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

Enabling virtual assembly training in and beyond the automotive industry.

André Stork, Neyir Sevilmis, Daniel Weber, Dominic Gorecky, Christian Stahl, Matthias Loskyll, Frank Michel

Proceedings of the 18th International Conference on Virtual Systems and Multimedia, 2012

Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification.

Michael Westergaard, Dirk Fahland, Christian Stahl

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

A Trace-Based Semantics for Responsiveness.

Walter Vogler, Christian Stahl, Richard Müller

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

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

Guaranteeing Weak Termination in Service Discovery.

Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, Robert Danitz

Fundam. Informaticae, 2011

A Trace-Based View on Operating Guidelines.

Christian Stahl, Walter Vogler

Proceedings of the Foundations of Software Science and Computational Structures, 2011

Modeling Business Processes - A Petri Net-Oriented Approach.

Wil M. P. van der Aalst, Christian Stahl

Cooperative Information Systems series, MIT Press, ISBN: 978-0-262-01538-7, 2011

2010

Relating fair testing and accordance for service replaceability.

Arjan J. Mooij, Christian Stahl, Marc Voorhoeve

J. Log. Algebraic Methods Program., 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

Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers.

Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual.

Natalia Sidorova, Christian Stahl, Nikola Trcka

Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

2009

Service substitution: a behavioral approach based on Petri nets.

Christian Stahl

PhD thesis, 2009

Deciding Substitutability of Services with Operating Guidelines.

Christian Stahl, Peter Massuthe, Jan Bretschneider

Trans. Petri Nets Other Model. Concurr., 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

Comparing and evaluating Petri net semantics for BPEL.

Niels Lohmann, Eric Verbeek, Chun Ouyang, Christian Stahl

Int. J. Bus. Process. Integr. Manag., 2009

Deciding service composition and substitutability using extended operating guidelines.

Christian Stahl, Karsten Wolf

Data Knowl. Eng., 2009

A finite representation of all substitutable services and its applications.

Jarungjit Parnjai, Christian Stahl, Karsten Wolf

Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

Service Interaction: Patterns, Formalization, and Analysis.

Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf

Proceedings of the Formal Methods for Web Services, 2009

Another Approach to Service Instance Migration.

Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Verifying Deadlock- and Livelock Freedom in an SOA Scenario.

Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Analyzing interacting WS-BPEL processes using flexible model generation.

Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg

Data Knowl. Eng., 2008

Extending the compatibility notion for abstract WS-BPEL processes.

Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf

Proceedings of the 17th International Conference on World Wide Web, 2008

Covering Places and Transitions in Open Nets.

Christian Stahl, Karsten Wolf

Proceedings of the Business Process Management, 6th International Conference, 2008

An Approach to Tackle Livelock-Freedom in SOA.

Christian Stahl, Karsten Wolf

Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

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

Challenges in a Service-Oriented World.

Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl

ERCIM News, 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

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Services as a Paradigm of Computation.

Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

Analysis Techniques for Service Models.

Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner

Proceedings of the Leveraging Applications of Formal Methods, 2006

A SOA-Based Architecture Framework.

Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, Christian Stahl

Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

Analyzing Interacting BPEL Processes.

Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg

Proceedings of the Business Process Management, 4th International Conference, 2006

2005

Kommunizierende Workflow-Services modellieren und analysieren.

Wolfgang Reisig, Karsten Schmidt, Christian Stahl

Inform. Forsch. Entwickl., 2005

Enhanced GALS Techniques for Datapath Applications.

Eckhard Grass, Frank Winkler, Milos Krstic, Alexandra Julius, Christian Stahl, Maxim Piz

Proceedings of the Integrated Circuit and System Design, 2005

Transforming BPEL to Petri Nets.

Sebastian Hinz, Karsten Schmidt, Christian Stahl

Proceedings of the Business Process Management, 3rd International Conference, 2005

Request-Driven GALS Technique for Wireless Communication System.

Milos Krstic, Eckhard Grass, Christian Stahl

Proceedings of the 11th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2005), 2005

Hazard Detection in a GALS Wrapper: A Case Study.

Christian Stahl, Wolfgang Reisig, Milos Krstic

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Multiagent Systems with Workflows.

José M. Vidal, Paul A. Buhler, Christian Stahl

IEEE Internet Comput., 2004