Theo dõi
Christian Krause
Christian Krause
SAP SE
Email được xác minh tại sap.com - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
5802010
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
1002012
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
712011
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
702014
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
532010
Implementing graph transformations in the bulk synchronous parallel model
C Krause, M Tichy, H Giese
Fundamental Approaches to Software Engineering: 17th International …, 2014
452014
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
422010
Probabilistic graph transformation systems
C Krause, H Giese
International Conference on Graph Transformation, 311-325, 2012
372012
Detecting performance bad smells for henshin model transformations.
M Tichy, C Krause, G Liebel
Amt@ models 1077, 2013
342013
Reconfigurable Component Connectors.
C Krause
Leiden University, 2011
302011
The TTC 2014 Movie Database Case.
T Horn, C Krause, M Tichy
TTC@ STAF, 93-97, 2014
282014
Encoding context-sensitivity in Reo into non-context-sensitive semantic models
SSTQ Jongmans, C Krause, F Arbab
International Conference on Coordination Languages and Models, 31-48, 2011
262011
Probabilistic timed graph transformation systems
M Maximova, H Giese, C Krause
Journal of logical and algebraic methods in programming 101, 110-131, 2018
252018
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
242009
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
232016
A compositional semantics for stochastic Reo connectors
YJ Moon, A Silva, C Krause, F Arbab
arXiv preprint arXiv:1007.5094, 2010
222010
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
212014
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
182013
Probabilistic timed graph transformation systems
M Maximova, H Giese, C Krause
Graph Transformation: 10th International Conference, ICGT 2017, Held as Part …, 2017
142017
Integrated structure and semantics for Reo connectors and Petri nets
C Krause
arXiv preprint arXiv:0911.5447, 2009
122009
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20