Christian Krause
Christian Krause
SAP SE
E-mail megerősítve itt: sap.com - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Henshin: advanced concepts and tools for in-place EMF model transformations
T Arendt, E Biermann, S Jurack, C Krause, G Taentzer
International Conference on Model Driven Engineering Languages and Systems …, 2010
4052010
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
672012
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
602011
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
502010
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
492014
Implementing graph transformations in the bulk synchronous parallel model
C Krause, M Tichy, H Giese
International Conference on Fundamental Approaches to Software Engineering …, 2014
332014
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
312010
Reconfigurable component connectors
C Krause
Universiteit Leiden, 2011
272011
Detecting Performance Bad Smells for Henshin Model Transformations.
M Tichy, C Krause, G Liebel
Amt@ models 1077, 2013
242013
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
242011
The TTC 2014 Movie Database Case.
T Horn, C Krause, M Tichy
TTC@ STAF, 93-97, 2014
232014
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
222009
A compositional semantics for stochastic Reo connectors
YJ Moon, A Silva, C Krause, F Arbab
arXiv preprint arXiv:1007.5094, 2010
212010
Probabilistic graph transformation systems
C Krause, H Giese
International Conference on Graph Transformation, 311-325, 2012
182012
An SQL-based query language and engine for graph pattern matching
C Krause, D Johannsen, R Deeb, KU Sattler, D Knacker, A Niadzelka
International Conference on Graph Transformation, 153-169, 2016
172016
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
142014
Probabilistic timed graph transformation systems
M Maximova, H Giese, C Krause
Journal of logical and algebraic methods in programming 101, 110-131, 2018
112018
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
102013
Compositional and behavior-preserving reconfiguration of component connectors in Reo
C Krause, H Giese, E De Vink
Journal of Visual Languages & Computing 24 (3), 153-168, 2013
102013
Integration of triple graph grammars and constraints
S Hildebrandt, L Lambers, B Becker, H Giese
Electronic Communications of the EASST 54, 2012
9*2012
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20