Deutsch
EnglishChristian Gierds
Research associate at the Theory of Programming group
 | 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 | |
| gierds@informatik.hu-berlin.de |
Curriculum Vitae
Teaching
winter 2013/14
- Software project Design of a Graphical Editor for Pattern-Based Modeling
summer 2013
- Tutorials for Algorithms and Data Structures
winter 2012/13
- Tutorials for Basics of Programming
summer 2012
- Hands-on for lecture Methods and Models for System Design
winter 2011/12
- Tutorials for Basics of Programming
summer 2011
- Tutorials for Algorithms and Data Structures
winter 2010/11
- Tutorials for Basics of Programming
summer 2010
winter 2009/10
- Tutorial for Basics of programming
- Seminar Service composition in SOA
summer 2009
Main Research Topics
Publications
-
Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets
In CAiSE, 2013close -
Discovering Pattern-Based Mediator Services from Communication Logs
In WESOA, 2013close -
Using Petri Nets for Modeling Enterprise Integration Patterns
bpmcenter.org, 2012close -
Reducing Adapter Synthesis to Controller Synthesis
volume 5 of IEEE T. Services Computing 5 (1), 2012close -
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, 2010When 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.closeclose -
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 2010close -
Strukturelle Reduktion von Bedienungsanleitungen
Diplomarbeit, jan 2008closeclose -
Specifying and generating behavioral service adapter based on transformation rules
Preprint, Universität Rostock, Rostock, Germany, aug 2008Behavioral 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.closeclose -
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 2008close -
Studienarbeit, oct 2007closeclose