Christian Krause

According to our database, Christian Krause authored at least 35 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Probabilistic timed graph transformation systems.

Maria Maximova, Holger Giese, Christian Krause

J. Log. Algebraic Methods Program., 2018

2016

An SQL-Based Query Language and Engine for Graph Pattern Matching.

Christian Krause, Daniel Johannsen, Radwan Deeb, Kai-Uwe Sattler, David Knacker, Anton Niadzelka

Proceedings of the Graph Transformation - 9th International Conference, 2016

2015

Implementing Graph Transformations in the Bulk Synchronous Parallel Model.

Christian Krause, Matthias Tichy, Holger Giese

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014

A compositional model to reason about end-to-end QoS in Stochastic Reo connectors.

Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab

Sci. Comput. Program., 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, Kevin Lano, Markus Lepper, Arend Rensink, Louis M. Rose, Sebastian Wätzoldt, Steffen Mazanek

Sci. Comput. Program., 2014

The TTC 2014 Movie Database Case.

Tassilo Horn, Christian Krause, Matthias Tichy

Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

2013

Compositional and behavior-preserving reconfiguration of component connectors in Reo.

Christian Krause, Holger Giese, Erik P. de Vink

J. Vis. Lang. Comput., 2013

Modal Specifications for Probabilistic Timed Systems.

Tingting Han, Christian Krause, Marta Z. Kwiatkowska, Holger Giese

Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

Detecting Performance Bad Smells for Henshin Model Transformations.

Matthias Tichy, Christian Krause, Grischa Liebel

Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations.

Christian Krause, Johannes Dyck, Holger Giese

Proceedings of the Theory and Practice of Model Transformations, 2013

2012

Reo + mCRL2: A framework for model-checking dataflow in service compositions.

Natallia Kokash, Christian Krause, Erik P. de Vink

Formal Aspects Comput., 2012

7th International Workshop on Graph Based Tools (GraBaTs 2012): Preface.

Christian Krause, Bernhard Westfechtel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Probabilistic Graph Transformation Systems.

Christian Krause, Holger Giese

Proceedings of the Graph Transformations - 6th International Conference, 2012

2011

Modeling dynamic reconfigurations in Reo using high-level replacement systems.

Christian Krause, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab

Sci. Comput. Program., 2011

Distributed Port Automata.

Christian Krause

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements

Christian Krause, Holger Giese

Proceedings of the Proceedings 13th International Workshop on Verification of Infinite-State Systems, 2011

Simulation-Based Performance Analysis of Channel-Based Coordination Models.

Chrétien Verhoef, Christian Krause, Oscar Kanters, Rob van der Mei

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models.

Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

Reconfigurable Component Connectors.

Christian Krause

PhD thesis, 2011

2010

A Compositional Semantics for Stochastic Reo Connectors

Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab

Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

Time and Data-Aware Analysis of Graphical Service Models in Reo.

Natallia Kokash, Christian Krause, Erik P. de Vink

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Data-aware design and verification of service compositions with Reo and mCRL2.

Natallia Kokash, Christian Krause, Erik P. de Vink

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations.

Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, Gabriele Taentzer

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Action-based analysis of discrete regulatory networks with short-term stimuli.

Christian Krause, Carola Krause, Erik P. de Vink

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

Integrated Structure and Semantics for Reo Connectors and Petri Nets

Christian Krause

Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

Decomposing port automata.

Christian Koehler, Dave Clarke

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Verification of Context-Dependent Channel-Based Service Models.

Natallia Kokash, Christian Krause, Erik P. de Vink

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

Reconfiguration of Reo Connectors Triggered by Dataflow.

Christian Koehler, David Costa, José Proença, Farhad Arbab

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Reconfiguring Distributed Reo Connectors.

Christian Koehler, Farhad Arbab, Erik P. de Vink

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

2007

Connector Rewriting with High-Level Replacement Systems.

Christian Koehler, Alexander Lazovik, Farhad Arbab

Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

Ensuring Containment Constraints in Graph-based Model Transformation Approaches.

Christian Köhler, Holger Lewin, Gabriele Taentzer

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

ReoService: Coordination Modeling Tool.

Christian Koehler, Alexander Lazovik, Farhad Arbab

Proceedings of the Service-Oriented Computing, 2007

The EMF Model Transformation Framework.

Enrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler, Gabriele Taentzer

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

EMF Model Refactoring based on Graph Transformation Concepts.

Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework.

Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss

Proceedings of the Model Driven Engineering Languages and Systems, 2006