Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework. - Enrico Biermann; Karsten Ehrig; Christian Köhler 001; Günter Kuhns; Gabriele Taentzer; Eduard Weiss (MoDELS, 2006)

EMF Model Refactoring based on Graph Transformation Concepts. - Enrico Biermann; Karsten Ehrig; Christian Köhler 001; Günter Kuhns; Gabriele Taentzer; Eduard Weiss (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

The EMF Model Transformation Framework. - Enrico Biermann; Karsten Ehrig; Claudia Ermel; Christian Köhler 001; Gabriele Taentzer (AGTIVE, 2007)

ReoService: Coordination Modeling Tool. - Christian Koehler 001; Alexander Lazovik; Farhad Arbab (ICSOC, 2007)

Ensuring Containment Constraints in Graph-based Model Transformation Approaches. - Christian Köhler 001; Holger Lewin; Gabriele Taentzer (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Connector Rewriting with High-Level Replacement Systems. - Christian Koehler 001; Alexander Lazovik; Farhad Arbab (FOCLASA, 2007)

Reconfiguring Distributed Reo Connectors. - Christian Koehler 001; Farhad Arbab; Erik P. de Vink (WADT, 2008)

Reconfiguration of Reo Connectors Triggered by Dataflow. - Christian Koehler 001; David Costa 001; José Proença; Farhad Arbab (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Verification of Context-Dependent Channel-Based Service Models. - Natallia Kokash; Christian Krause 001; Erik P. de Vink (FMCO, 2009)

Decomposing port automata. - Christian Koehler 001; Dave Clarke 001 (SAC, 2009)

Integrated Structure and Semantics for Reo Connectors and Petri Nets - Christian Krause 001 (ICE, 2009)

Action-based analysis of discrete regulatory networks with short-term stimuli. - Christian Krause 001; Carola Krause; Erik P. de Vink (CMSB, 2010)

Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. - Thorsten Arendt; Enrico Biermann; Stefan Jurack; Christian Krause 001; Gabriele Taentzer (MoDELS (1), 2010)

Data-aware design and verification of service compositions with Reo and mCRL2. - Natallia Kokash; Christian Krause 001; Erik P. de Vink (SAC, 2010)

Time and Data-Aware Analysis of Graphical Service Models in Reo. - Natallia Kokash; Christian Krause 001; Erik P. de Vink (SEFM, 2010)

A Compositional Semantics for Stochastic Reo Connectors - Young-Joo Moon 001; Alexandra Silva 001; Christian Krause 001; Farhad Arbab (FOCLASA, 2010)

Reconfigurable Component Connectors. - Christian Krause 001 (2011)

Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. - Sung-Shik T. Q. Jongmans; Christian Krause 001; Farhad Arbab (COORDINATION, 2011)

Simulation-Based Performance Analysis of Channel-Based Coordination Models. - Chrétien Verhoef; Christian Krause 001; Oscar Kanters; Rob van der Mei (COORDINATION, 2011)

Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements - Christian Krause 001; Holger Giese (INFINITY, 2011)

Distributed Port Automata. - Christian Krause 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Modeling dynamic reconfigurations in Reo using high-level replacement systems. - Christian Krause 001; Ziyan Maraikar; Alexander Lazovik; Farhad Arbab (Sci. Comput. Program., 2011)

Probabilistic Graph Transformation Systems. - Christian Krause 001; Holger Giese (ICGT, 2012)

7th International Workshop on Graph Based Tools (GraBaTs 2012): Preface. - Christian Krause 001; Bernhard Westfechtel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Reo + mCRL2: A framework for model-checking dataflow in service compositions. - Natallia Kokash; Christian Krause 001; Erik P. de Vink (Formal Aspects Comput., 2012)

Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations. - Christian Krause 001; Johannes Dyck; Holger Giese (ICMT, 2013)

Detecting Performance Bad Smells for Henshin Model Transformations. - Matthias Tichy; Christian Krause 001; Grischa Liebel (AMT@MoDELS, 2013)

Modal Specifications for Probabilistic Timed Systems. - Tingting Han 001; Christian Krause 001; Marta Z. Kwiatkowska; Holger Giese (QAPL, 2013)

Compositional and behavior-preserving reconfiguration of component connectors in Reo. - Christian Krause 001; Holger Giese; Erik P. de Vink (J. Vis. Lang. Comput., 2013)

The TTC 2014 Movie Database Case. - Tassilo Horn; Christian Krause 001; Matthias Tichy (TTC@STAF, 2014)

A survey and comparison of transformation tools based on the transformation tool contest. - Edgar Jakumeit; Sebastian Buchwald; Dennis Wagelaar; Li Dan; Ábel Hegedüs; Markus Herrmannsdörfer; Tassilo Horn; Elina Kalnina; Christian Krause 001; Kevin Lano; Markus Lepper 001; Arend Rensink; et al. (Sci. Comput. Program., 2014)

A compositional model to reason about end-to-end QoS in Stochastic Reo connectors. - Young-Joo Moon 001; Alexandra Silva 001; Christian Krause 001; Farhad Arbab (Sci. Comput. Program., 2014)

Implementing Graph Transformations in the Bulk Synchronous Parallel Model. - Christian Krause 001; Matthias Tichy; Holger Giese (Software Engineering & Management, 2015)

An SQL-Based Query Language and Engine for Graph Pattern Matching. - Christian Krause 001; Daniel Johannsen; Radwan Deeb; Kai-Uwe Sattler; David Knacker; Anton Niadzelka (ICGT, 2016)

Probabilistic timed graph transformation systems. - Maria Maximova; Holger Giese; Christian Krause 001 (J. Log. Algebraic Methods Program., 2018)