Christian Gierds

Research associate at the Theory of Programming group

Christian Gierds Mail Address Humboldt-Universität zu Berlin
Institut für Informatik
Unter den Linden 6
10099 Berlin
Germany
Office Address Humboldt-Universität zu Berlin
Institut für Informatik
House IV, 4th Floor, Room 414

Rudower Chaussee 25
12489 Berlin
Germany
Office hours please contact (e-mail preferred)
Phone +49 30 2093-3071
Fax +49 30 2093-5484
E-mail gierds@informatik.hu-berlin.de

Curriculum Vitae

Teaching

winter 2013/14

summer 2013

winter 2012/13

summer 2012

winter 2011/12

summer 2011

winter 2010/11

summer 2010

winter 2009/10

summer 2009

Main Research Topics

Publications

    2013

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

  • Fahland, Dirk, Gierds, Christian
    Using Petri Nets for Modeling Enterprise Integration Patterns
    bpmcenter.org, 2012
    close
  • Gierds, Christian, Mooij, Arjan J., Wolf, Karsten
    Reducing Adapter Synthesis to Controller Synthesis
    volume 5 of IEEE T. Services Computing 5 (1), 2012
    close
  • 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, CEUR-WS.org, 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.
    close
    close
  • 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, CEUR-WS.org, oct 2010
    close
  • 2008

  • Gierds, Christian
    Strukturelle Reduktion von Bedienungsanleitungen
    Diplomarbeit, jan 2008
    close
    close
  • 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.
    close
    close
  • 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, CEUR-WS.org, sep 2008
    close
  • 2007

  • Gierds, Christian

    Studienarbeit, oct 2007
    close
    close