Christian Gierds

In der Zeit von 01/2008 bis 01/2014 wissenschaftlicher Mitarbeiter am Lehrstuhl Theorie der Programmierung

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 417

Rudower Chaussee 25
12489 Berlin
Sprechstunde nach Vereinbarung (E-Mail bevorzugt)
Telefon +49 30 2093-3095
Fax +49 30 2093-3067


WS 2013/14

SS 2013

WS 2012/13

SS 2012

WS 2011/12

SS 2011

WS 2010/11

SS 2010

WS 2009/10

SS 2009



  • Aurèle Destailleur: „Verteilung von Service-Adaptern“ (Studienarbeit)
  • Svetlana Kulagina: „A Survey on Automated Generation of Adapters for Web Services“ (Studienarbeit)
  • Janine Ott: „Entwicklung einer grafischen Benutzeroberfläche für Tools4BPEL“ (Studienarbeit)



  • Fahland, Dirk, Gierds, Christian
    Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets
    In CAiSE, 2013
  • Gierds, Christian, Fahland, Dirk
    Discovering Pattern-Based Mediator Services from Communication Logs
    In WESOA, 2013
  • 2012

  • Fahland, Dirk, Gierds, Christian
    Using Petri Nets for Modeling Enterprise Integration Patterns, 2012
  • Gierds, Christian, Mooij, Arjan J., Wolf, Karsten
    Reducing Adapter Synthesis to Controller Synthesis
    volume 5 of IEEE T. Services Computing 5 (1), 2012
  • 2010

  • Gierds, Christian, Sürmeli, Jan
    Estimating costs of a service
    In Proceedings of the 2nd Central-European Workshop on Services and their Composition, ZEUS 2010, Berlin, Germany, February 25--26, 2010, volume 563 of CEUR Workshop Proceedings,, 2010
    When designing a publicly available Web service, a service designer has to take care of costs and revenue caused by this services. In the very beginning possible partners might only be vaguely known, or the service behavior contains arbitrary repetitions. Then the estimation of costs for running this service is difficult and decisions based on them can hardly be made. We propose a static analysis of the service's behavior. We over-approximate possible runs and therefore costs of the service. Our approach provides a basis for reasoning about nonfunctional properties as shown for costs.
  • Gierds, Christian, Lohmann, Niels
    A Graphical User Interface for Service Adaptation
    In Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2010, Cottbus, Germany, October 07-08, 2010, volume 643 of CEUR Workshop Proceedings,, oct 2010
  • 2008

  • Gierds, Christian
    Strukturelle Reduktion von Bedienungsanleitungen
    Diplomarbeit, jan 2008
  • Gierds, Christian, Mooij, Arjan J., Wolf, Karsten
    Specifying and generating behavioral service adapter based on transformation rules
    Preprint, Universität Rostock, Rostock, Germany, aug 2008
    Behavioral adapters are a way to establish proper interaction between services that have been developed independently. We present a novel approach for specifying such adapters, based on domain-specific transformation rules that reflect the elementary operations that adapters can perform. We show how complex adapters that adhere to these rules can be generated using existing controller generation algorithms. We discuss some example applications, including real-world business processes.
  • Gierds, Christian
    Finding Cost-Efficient Adapters
    In 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,, sep 2008
  • 2007

  • Gierds, Christian

    Studienarbeit, oct 2007