Christian Krause

Christian Koehler, Christian Köhler

Hasso Plattner Institute, Potsdam, Germany

other persons with the same name:

• Christian Krause 0002
• Christian Krause 0003

	2012
j8		Christian Krause, Bernhard Westfechtel: 7th International Workshop on Graph Based Tools (GraBaTs 2012): Preface. ECEASST 54 (2012)
j7		Natallia Kokash, Christian Krause, Erik P. de Vink: Reo + mCRL2: A framework for model-checking dataflow in service compositions. Formal Asp. Comput. 24(2): 187-216 (2012)
c16		Christian Krause, Holger Giese: Probabilistic Graph Transformation Systems. ICGT 2012: 311-325
	2011
b1		Christian Krause: Reconfigurable Component Connectors. Universiteit Leiden 2011, isbn 978-90-6464-475-7, pp. 1-136
j6		Christian Krause: Distributed Port Automata. ECEASST 41 (2011)
j5		Christian Krause, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab: Modeling dynamic reconfigurations in Reo using high-level replacement systems. Sci. Comput. Program. 76(1): 23-36 (2011)
c15		Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab: Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. COORDINATION 2011: 31-48
c14		Chrétien Verhoef, Christian Krause, Oscar Kanters, Rob van der Mei: Simulation-Based Performance Analysis of Channel-Based Coordination Models. COORDINATION 2011: 187-201
c13		Christian Krause, Holger Giese: Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements. INFINITY 2011: 64-78
	2010
c12		Christian Krause, Carola Krause, Erik P. de Vink: Action-based analysis of discrete regulatory networks with short-term stimuli. CMSB 2010: 66-75
c11		Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, Gabriele Taentzer: Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. MoDELS (1) 2010: 121-135
c10		Natallia Kokash, Christian Krause, Erik P. de Vink: Data-aware design and verification of service compositions with Reo and mCRL2. SAC 2010: 2406-2413
c9		Natallia Kokash, Christian Krause, Erik P. de Vink: Time and Data-Aware Analysis of Graphical Service Models in Reo. SEFM 2010: 125-134
c8		Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab: A Compositional Semantics for Stochastic Reo Connectors. FOCLASA 2010: 93-107
	2009
c7		Natallia Kokash, Christian Krause, Erik P. de Vink: Verification of Context-Dependent Channel-Based Service Models. FMCO 2009: 21-40
c6		Christian Koehler, Dave Clarke: Decomposing port automata. SAC 2009: 1369-1373
c5		Christian Krause: Integrated Structure and Semantics for Reo Connectors and Petri Nets. ICE 2009: 57-69
	2008
j4		Christian Koehler, David Costa, José Proença, Farhad Arbab: Reconfiguration of Reo Connectors Triggered by Dataflow. ECEASST 10 (2008)
j3		Christian Koehler, Alexander Lazovik, Farhad Arbab: Connector Rewriting with High-Level Replacement Systems. Electr. Notes Theor. Comput. Sci. 194(4): 77-92 (2008)
c4		Christian Koehler, Farhad Arbab, Erik P. de Vink: Reconfiguring Distributed Reo Connectors. WADT 2008: 221-235
	2007
j2		Christian Köhler, Holger Lewin, Gabriele Taentzer: Ensuring Containment Constraints in Graph-based Model Transformation Approaches. ECEASST 6 (2007)
c3		Enrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler, Gabriele Taentzer: The EMF Model Transformation Framework. AGTIVE 2007: 566-567
c2		Christian Koehler, Alexander Lazovik, Farhad Arbab: ReoService: Coordination Modeling Tool. ICSOC 2007: 625-626
	2006
j1		Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss: EMF Model Refactoring based on Graph Transformation Concepts. ECEASST 3 (2006)
c1		Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss: Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework. MoDELS 2006: 425-439

Coauthor Index

Colors in the list of coauthors

Last update Mon May 20 00:53:44 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page