Christian Stahl

According to our database1, Christian Stahl
  • authored at least 52 papers between 2004 and 2017.
  • has a "Dijkstra number"2 of three.



In proceedings 
PhD thesis 




Deciding conformance for bounded responsiveness.
Sci. Comput. Program., 2017

APCAD - Analysis program for the continuous-angle DSAM.
Computer Physics Communications, 2017

Undecidability of accordance for open systems with unbounded message queues.
Inf. Process. Lett., 2014

Trace- and failure-based semantics for responsiveness.
Acta Inf., 2014

Behavioral Service Substitution.
Proceedings of the Web Services Foundations, 2014

Soundness for Resource-Constrained Workflow Nets Is Decidable.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching.
Trans. Petri Nets and Other Models of Concurrency, 2013

Strategies for Modeling Complex Processes Using Colored Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2013

Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair.
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

Trace- and Failure-Based Semantics for Bounded Responsiveness.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions.
Proceedings of the BPM Demo sessions 2013, Beijing, China, August 26-30, 2013, 2013

Declarative Modeling-An Academic Dream or the Future for BPM?
Proceedings of the Business Process Management - 11th International Conference, 2013

A trace-based service semantics guaranteeing deadlock freedom.
Acta Inf., 2012

Conformance Checking of Services Using the Best Matching Private View.
Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

Enabling virtual assembly training in and beyond the automotive industry.
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.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

A Trace-Based Semantics for Responsiveness.
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible.
Inf. Syst., 2011

Guaranteeing Weak Termination in Service Discovery.
Fundam. Inform., 2011

A Trace-Based View on Operating Guidelines.
Proceedings of the Foundations of Software Science and Computational Structures, 2011

Modeling Business Processes - A Petri Net-Oriented Approach.
Cooperative Information Systems series, MIT Press, ISBN: 978-0-262-01538-7, 2011

Relating fair testing and accordance for service replaceability.
J. Log. Algebr. Program., 2010

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.
Comput. J., 2010

Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers.
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.
Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Service substitution: a behavioral approach based on Petri nets.
PhD thesis, 2009

Deciding Substitutability of Services with Operating Guidelines.
Trans. Petri Nets and Other Models of Concurrency, 2009

A Framework for Linking and Pricing No-Cure-No-Pay Services.
Trans. Petri Nets and Other Models of Concurrency, 2009

Comparing and evaluating Petri net semantics for BPEL.
IJBPIM, 2009

Deciding service composition and substitutability using extended operating guidelines.
Data Knowl. Eng., 2009

A finite representation of all substitutable services and its applications.
Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

Service Interaction: Patterns, Formalization, and Analysis.
Proceedings of the Formal Methods for Web Services, 2009

Another Approach to Service Instance Migration.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Verifying Deadlock- and Livelock Freedom in an SOA Scenario.
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

Analyzing interacting WS-BPEL processes using flexible model generation.
Data Knowl. Eng., 2008

Extending the compatibility notion for abstract WS-BPEL processes.
Proceedings of the 17th International Conference on World Wide Web, 2008

Covering Places and Transitions in Open Nets.
Proceedings of the Business Process Management, 6th International Conference, 2008

An Approach to Tackle Livelock-Freedom in SOA.
Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

An SOA-based architecture framework.
IJBPIM, 2007

Challenges in a Service-Oriented World.
ERCIM News, 2007

From Public Views to Private Views - Correctness-by-Design for Services.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Services as a Paradigm of Computation.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

Analysis Techniques for Service Models.
Proceedings of the Leveraging Applications of Formal Methods, 2006

A SOA-Based Architecture Framework.
Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

Analyzing Interacting BPEL Processes.
Proceedings of the Business Process Management, 4th International Conference, 2006

Kommunizierende Workflow-Services modellieren und analysieren.
Inform., Forsch. Entwickl., 2005

Enhanced GALS Techniques for Datapath Applications.
Proceedings of the Integrated Circuit and System Design, 2005

Transforming BPEL to Petri Nets.
Proceedings of the Business Process Management, 3rd International Conference, 2005

Request-Driven GALS Technique for Wireless Communication System.
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.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

Multiagent Systems with Workflows.
IEEE Internet Computing, 2004