Christian Krause
Christian Krause
Verified email at - Homepage
Cited by
Cited by
Henshin: advanced concepts and tools for in-place EMF model transformations
T Arendt, E Biermann, S Jurack, C Krause, G Taentzer
Model Driven Engineering Languages and Systems: 13th International …, 2010
Reo + mCRL2 : A framework for model-checking dataflow in service compositions
N Kokash, C Krause, E De Vink
Formal Aspects of Computing 24 (2), 187-216, 2012
A survey and comparison of transformation tools based on the transformation tool contest
E Jakumeit, S Buchwald, D Wagelaar, L Dan, Á Hegedüs, ...
Science of computer programming 85, 41-99, 2014
Modeling dynamic reconfigurations in Reo using high-level replacement systems
C Krause, Z Maraikar, A Lazovik, F Arbab
Science of Computer Programming 76 (1), 23-36, 2011
Time and data-aware analysis of graphical service models in Reo
N Kokash, C Krause, EP de Vink
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
Implementing graph transformations in the bulk synchronous parallel model
C Krause, M Tichy, H Giese
Fundamental Approaches to Software Engineering: 17th International …, 2014
Data-aware design and verification of service compositions with Reo and mCRL2
N Kokash, C Krause, EP de Vink
Proceedings of the 2010 ACM Symposium on Applied Computing, 2406-2413, 2010
Detecting performance bad smells for henshin model transformations.
M Tichy, C Krause, G Liebel
Amt@ models 1077, 2013
Probabilistic graph transformation systems
C Krause, H Giese
International Conference on Graph Transformation, 311-325, 2012
Reconfigurable component connectors
C Krause
Leiden University, 2011
The TTC 2014 Movie Database Case.
T Horn, C Krause, M Tichy
TTC@ STAF, 93-97, 2014
Encoding context-sensitivity in Reo into non-context-sensitive semantic models
SSTQ Jongmans, C Krause, F Arbab
Coordination Models and Languages: 13th International Conference …, 2011
Verification of context-dependent channel-based service models
N Kokash, C Krause, EP De Vink
International Symposium on Formal Methods for Components and Objects, 21-40, 2009
Probabilistic timed graph transformation systems
M Maximova, H Giese, C Krause
Journal of logical and algebraic methods in programming 101, 110-131, 2018
An SQL-based query language and engine for graph pattern matching
C Krause, D Johannsen, R Deeb, KU Sattler, D Knacker, A Niadzelka
Graph Transformation: 9th International Conference, ICGT 2016, in Memory of …, 2016
A compositional semantics for stochastic Reo connectors
YJ Moon, A Silva, C Krause, F Arbab
arXiv preprint arXiv:1007.5094, 2010
A compositional model to reason about end-to-end QoS in stochastic Reo connectors
YJ Moon, A Silva, C Krause, F Arbab
Science of Computer Programming 80, 3-24, 2014
Metamodel-specific coupled evolution based on dynamically typed graph transformations
C Krause, J Dyck, H Giese
International Conference on Theory and Practice of Model Transformations, 76-91, 2013
Probabilistic timed graph transformation systems
M Maximova, H Giese, C Krause
Graph Transformation: 10th International Conference, ICGT 2017, Held as Part …, 2017
Integrated structure and semantics for Reo connectors and Petri nets
C Krause
arXiv preprint arXiv:0911.5447, 2009
The system can't perform the operation now. Try again later.
Articles 1–20