Ehemaliger Mitarbeiter (06/2003 - 11/2008)

	Christian Stahl wissenschaftlicher Mitarbeiter am Lehrstuhl Theorie der Programmierung und PhD Student in der Architecture of Information Systems Group, Technische Universiteit Eindhoven
Adresse	Humboldt-Universität zu Berlin Institut für Informatik Unter den Linden 6 10099 Berlin
Sitz	Humboldt-Universität zu Berlin Institut für Informatik Haus IV, 4. Etage, Raum 415 Rudower Chaussee 25 12489 Berlin
Sprechstunde	nach Vereinbarung (E-Mail bevorzugt)
Telefon	+49 30 2093-3074
Fax	+49 30 2093-3067
E-Mail	stahl@informatik.hu-berlin.de

Lebenslauf

Forschungsschwerpunkte

• Projekt Austauschbarkeit von Services
• Model Checking

Betreuung von Studien- und Diplomarbeiten

abgeschlossene Arbeiten

• Alexandra Julius, Studienarbeit (12/2005)
• Jan Bretschneider, Studienarbeit (02/2006)
• Peter Laufer, Studienarbeit (05/2006)
• Katharina Görlach, Studienarbeit (05/2007)
• Daniel Janusz, Studienarbeit (04/2008)
• Rico Bergmann, Studienarbeit (07/2008)

• Stephan Weißleder, Diplomarbeit (11/2004)
• Sebastian Hinz, Diplomarbeit (03/2005)
• Alexandra Julius, Diplomarbeit (05/2007)
• Katharina Görlach, Diplomarbeit (03/2008)
• Thomas Pillat, Diplomarbeit (03/2008)

Gutachtertätigkeit

Workshops:

• AWPN 2004, 2005
• CPN 2005
• MIOS-CIAO 2006
• WS-FM 2007

Konferenzen:

• ASYNC 2006
• BPM 2006, 2007, 2008
• CONCUR 2007
• ECOWS 2008
• FORTE 2006, 2007
• ICATPN 2006, 2007, 2009
• ICSOC 2007
• ISTA 2009

Journals:

• Concurrency and Computation: Practice and Experience 2008, 2009
• Fundamenta Informaticae 2006
• Information System Frontiers 2008
• Information Systems 2006
• Journal on Software and Systems Modeling 2004
• IEEE Transactions on Industrial Informatics 2008, 2009
• International Journal of Cooperative Information Systems 2007, 2008
• The International Journal of Time-Critical Computing Systems 2005, 2006
• ToPNoC 2008

Programmkomitee:

• WS-FM 2008

Publikationen von Christian Stahl

2010

• Arjan J. Mooij, Christian Stahl, and Marc Voorhoeve. Relating Fair Testing and Accordance for Service Replaceability. Journal of Logic and Algebraic Programming, 2010. Note: To appear.

• Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. The Computer Journal, 53(1): 90-106, 2010.

2009

• Christian Stahl. Service Substitution - A Behavioral Approach Based on Petri Nets. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II; Eindhoven University of Technology, December 2009. Note: ISBN 978-90-386-2065-7.

• Niels Lohmann, Eric Verbeek, Chun Ouyang, and Christian Stahl. Comparing and Evaluating Petri Net Semantics for BPEL. International Journal of Business Process Integration and Management (IJBPIM), 4(1): 60-73, 2009.

• Christian Stahl and Karsten Wolf. Deciding Service Composition and Substitutability Using Extended Operating Guidelines. Data Knowl. Eng., 68(9): 819-833, 2009.

• Nannette Liske, Niels Lohmann, Christian Stahl, and Karsten Wolf. Another Approach to Service Instance Migration. In Luciano Baresi, Chi-Hung Chi, and Jun Suzuki, editors, Service-Oriented Computing - ICSOC 2009, 7th International Conference, Stockholm, Sweden, November 24-27, 2009. Proceedings, Lecture Notes in Computer Science, pages 607-621, November 2009. Springer-Verlag.

• Jarungjit Parnji, Christian Stahl, and Karsten Wolf. A finite representation of all substitutable services and its applications. In Oliver Kopp and Niels Lohmann, editors, Services and their Composition, 1st Central-European Workshop on, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009, volume 438 of CEUR Workshop Proceedings, pages 8-14, March 2009. CEUR-WS.org.

• Karsten Wolf, Christian Stahl, Janine Ott, and Robert Danitz. Verifying Livelock Freedom in an SOA Scenario. In Stephen Edwards and Walter Vogler, editors, Proceedings of the Ninth International Conference on Application of Concurrency to System Design (ACSD'09), Augsburg, Germany, pages 168-177, July 2009. IEEE Computer Society.

• Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, and Karsten Wolf. Service Interaction: Patterns, Formalization, and Analysis. In Marco Bernardo, Luca Padovani, and Gianluigi Zavattaro, editors, Formal Methods for Web Services (SFM 2009), volume 5569, pages 42--88, April 2009. Springer-Verlag.

2008

• Christian Stahl, Peter Massuthe, and Jan Bretschneider. Deciding Substitutability of Services with Operating Guidelines. Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems, 2(5460): 172-191, March 2009.

• Kees van Hee, Eric Verbeek, Christian Stahl, and Natalia Sidorova. A Framework for Linking and Pricing No-Cure-No-Pay Services. Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems, 2: 192-207, March 2009.

• Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing Interacting WS-BPEL Processes Using Flexible Model Generation. Data Knowl. Eng., 64(1): 38-54, January 2008.

• Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, and Karsten Wolf. Extending the Compatibility Notion for Abstract WS-BPEL Processes. In Wei-Ying Ma, Andrew Tomkins, and Xiaodong Zhang, editors, Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21--25, 2008, pages 785-794, April 2008. ACM.

• Chistian Stahl and Karsten Wolf. An Approach to Tackle Livelock-Freedom in SOA. In Niels Lohmann and Karsten Wolf, editors, Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008, volume 380 of CEUR Workshop Proceedings, pages 69-74, September 2008. CEUR-WS.org.

• Christian Stahl and Karsten Wolf. Covering Places and Transitions in Open Nets. In Marlon Dumas and Manfred Reichert, editors, Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 1-4, 2008, Proceedings, volume 5240 of Lecture Notes in Computer Science, pages 116-131, September 2008. Springer-Verlag.

• Christian Stahl, Peter Massuthe, and Jan Bretschneider. Deciding Substitutability of Services with Operating Guidelines. Informatik-Berichte 222, Humboldt-Universität zu Berlin, April 2008.

• Kees M. van Hee, H.M.W. Verbeek, Christian Stahl, and Natalia Sidorova. A Framework for Linking and Pricing No-Cure-No-Pay Services. Computer Science Report 08/19, Technische Universiteit Eindhoven, Eindhoven, The Netherlands, June 2008.

2007

• Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, and Christian Stahl. An SOA-based architecture framework. International Journal of Business Process Integration and Management (IJBPIM), 2(2): 91-101, 2007.

• Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, and Christian Stahl. Challenges in a Service-Oriented World. ERCIM News, 70: 28-29, July 2007.

• Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf. From Public Views to Private Views -- Correctness-by-Design for Services. In Marlon Dumas and Reiko Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007, Proceedings, volume 4937 of Lecture Notes in Computer Science, pages 139-153, 2008. Springer-Verlag.

• Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, and Christian Stahl. Services as a Paradigm of Computation. In Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors, Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, volume 4700 of Lecture Notes in Computer Science, pages 521-538, September 2007. Springer-Verlag.

• Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, and Christian Stahl. A SOA-Based Architecture Framework. Computer Science Report 07/02, Technische Universiteit Eindhoven, The Netherlands, January 2007.

• Wil M. P. van der Aalst, Peter Massuthe, Arjan J. Mooij, Christian Stahl, and Karsten Wolf. Erratum -- Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Informatik-Berichte 213, Humboldt-Universität zu Berlin, June 2007.

• Wil M. P. van der Aalst, Peter Massuthe, Christian Stahl, and Karsten Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Informatik-Berichte 213, Humboldt-Universität zu Berlin, June 2007. Note: There is an erratum.

• Kees M. van Hee, Natalia Sidorova, Christian Stahl, and H. M. W. Verbeek. A Price of Service in a Compositional SOA Framework. Computer Science Report 07/16, Technische Universiteit Eindhoven, The Netherlands, July 2007.

• Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, and Karsten Wolf. Extending the Compatibility Notion for Abstract WS-BPEL Processes. Preprint CS-02-07, Universität Rostock, Rostock, Germany, November 2007.

• Niels Lohmann, H. M. W. Verbeek, Chun Ouyang, Christian Stahl, and Wil M. P. van der Aalst. Comparing and Evaluating Petri Net Semantics for BPEL. Computer Science Report 07/23, Technische Universiteit Eindhoven, The Netherlands, August 2007.

2006

• Milos Krstic, Eckhard Grass, Christian Stahl, and Maxim Piz. System Integration by Request-driven GALS Design. IEE Proc. Computers & Digital Techniques, 153(5): 362--372, September 2006.

• Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, and Christian Stahl. A SOA-Based Architecture Framework. In Frank Leymann, Wolfgang Reisig, Satish R. Thatte, and Wil M. P. van der Aalst, editors, The Role of Business Processes in Service Oriented Architectures, number 06291 of Dagstuhl Seminar Proceedings, November 2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany.

• Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing Interacting BPEL Processes. In Schahram Dustdar, José Luiz Fiadeiro, and Amit Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, volume 4102 of Lecture Notes in Computer Science, pages 17-32, September 2006. Springer-Verlag.

• Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, and Kathrin Kaschner. Analysis Techniques for Service Models. In Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006 (ISoLA 2006), 15-19 November 2006, Paphos, Cyprus, pages 11-17, November 2006. IEEE Computer Society.

2005

• Wolfgang Reisig, Karsten Schmidt, and Christian Stahl. Kommunizierende Workflow-Services modellieren und analysieren. Informatik - Forschung und Entwicklung, pp 90-101, October 2005.

• Eckhard Grass, Frank Winkler, Milos Krstic, Alexandra Julius, Christian Stahl, and Maxim Piz. Enhanced GALS Techniques for Datapath Applications. In Vassilis Paliouras, Johan Vounckx, and Diederik Verkest, editors, Integrated Circuit and System Design: 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 20-23, 2005, volume 3728 of Lecture Notes in Computer Science, pages 581-590, August 2005. Springer-Verlag.

• Sebastian Hinz, Karsten Schmidt, and Christian Stahl. Transforming BPEL to Petri Nets. In Wil M. P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Proceedings of the Third International Conference on Business Process Management (BPM 2005), volume 3649 of Lecture Notes in Computer Science, Nancy, France, pages 220-235, September 2005. Springer-Verlag.

• Milos Krstic, Eckhard Grass, and Christian Stahl. Request-Driven GALS Technique for Wireless Communication System. In Proceedings of the 11th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2005), New York, NY, USA, pages 76-85, March 2005. IEEE Computer Society.

• Christian Stahl, Wolfgang Reisig, and Milos Krstic. Hazard Detection in a GALS Wrapper: A Case Study. In Jörg Desel and Y. Watanabe, editors, Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD'05), St. Malo, France, pages 234-243, June 2005. IEEE Computer Society.

• Wolfgang Reisig, Karsten Schmidt, and Christian Stahl. Verteilte Geschäftsprozesse modellieren und analysieren. Informatik-Berichte 182, Humboldt-Universität zu Berlin, February 2005.

• Karsten Schmidt and Christian Stahl. 12. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN 2005), Proceedings. Informatik-Berichte 192, Humboldt-Universität zu Berlin, September 2005.

• Christian Stahl. A Petri Net Semantics for BPEL. Informatik-Berichte 188, Humboldt-Universität zu Berlin, July 2005.

• Christian Stahl, Wolfgang Reisig, and Milos Krstic. Hazard Detection in a GALS Wrapper: a Case study. Informatik-Berichte 184, Humboldt-Universität zu Berlin, February 2005.

2004

• Jose M. Vidal, Paul Buhler, and Christian Stahl. Multiagent Systems with Workflows. IEEE Internet Computing, 8(1): 76-82, February 2004.

• Karsten Schmidt and Christian Stahl. A Petri net semantic for BPEL4WS - validation and application. In Ekkart Kindler, editor, Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN'04), pages 1-6, October 2004. Universität Paderborn.

• Axel Martens, Christian Stahl, Daniela Weinberg, Dirk Fahland, and Thomas Heidinger. Business Process Execution Language for Web services - Semantik, Analyse und Visualisierung. Informatik-Berichte 169, Humboldt-Universität zu Berlin, July 2004.

• Christian Stahl. Transformation von BPEL4WS in Petrinetze. Diplomarbeit, Humboldt-Universität zu Berlin, April 2004.

2003

• Dirk Hain and Christian Stahl. Komposition von Web Services. Studienarbeit, Humboldt-Universität zu Berlin, April 2003.