Christian Stahl

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 3

Top Venues

Trans. Petri Nets Other Model. Concurr.

Acta Informatica

PNSE

VSMM

Humboldt University of Berlin (PHD)

Education History

Humboldt University of Berlin

PHD

Publications

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

Christian Stahl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Stahl