Christian Krause

30 papers B 5C 2Misc 1Journal 8Unranked 11

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	Probabilistic timed graph transformation systems. J. Log. Algebraic Methods Program. Maria Maximova, Holger Giese, Christian Krause
2017	B	`conf`	Probabilistic Timed Graph Transformation Systems. ICGT Maria Maximova, Holger Giese, Christian Krause
2016	B	`conf`	An SQL-Based Query Language and Engine for Graph Pattern Matching. ICGT Christian Krause, Daniel Johannsen, Radwan Deeb, Kai-Uwe Sattler, David Knacker, Anton Niadzelka
2015	—	`conf`	Implementing Graph Transformations in the Bulk Synchronous Parallel Model. Software Engineering & Management Christian Krause, Matthias Tichy, Holger Giese
2014	J	`jnl`	A compositional model to reason about end-to-end QoS in Stochastic Reo connectors. Sci. Comput. Program. Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab
2014	J	`jnl`	A survey and comparison of transformation tools based on the transformation tool contest. Sci. Comput. Program. 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
2014	B	`conf`	Implementing Graph Transformations in the Bulk Synchronous Parallel Model. FASE Christian Krause, Matthias Tichy, Holger Giese
2014	—	`ed.`	Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, York, United Kingdom, July 25, 2014. TTC@STAF Louis M. Rose, Christian Krause, Tassilo Horn
2014	—	`conf`	The TTC 2014 Movie Database Case. TTC@STAF Tassilo Horn, Christian Krause, Matthias Tichy
2013	J	`jnl`	Compositional and behavior-preserving reconfiguration of component connectors in Reo. J. Vis. Lang. Comput. Christian Krause, Holger Giese, Erik P. de Vink
2013	—	`conf`	Detecting Performance Bad Smells for Henshin Model Transformations. AMT@MoDELS Matthias Tichy, Christian Krause, Grischa Liebel
2013	—	`conf`	Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations. ICMT Christian Krause, Johannes Dyck, Holger Giese
2013	—	`conf`	Modal Specifications for Probabilistic Timed Systems. QAPL Tingting Han, Christian Krause, Marta Z. Kwiatkowska, Holger Giese
2013	—	`ed.`	Proceedings Sixth Transformation Tool Contest, TTC 2013, Budapest, Hungary, 19-20 June, 2013. TTC Pieter Van Gorp, Louis M. Rose, Christian Krause
2012	J	`jnl`	7th International Workshop on Graph Based Tools (GraBaTs 2012): Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Christian Krause, Bernhard Westfechtel
2012	B	`conf`	Probabilistic Graph Transformation Systems. ICGT Christian Krause, Holger Giese
2012	J	`jnl`	Reo + mCRL2: A framework for model-checking dataflow in service compositions. Formal Aspects Comput. Natallia Kokash, Christian Krause, Erik P. de Vink
2011	J	`jnl`	Distributed Port Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Christian Krause
2011	C	`conf`	Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. COORDINATION Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab
2011	—	`conf`	Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements INFINITY Christian Krause, Holger Giese
2011	J	`jnl`	Modeling dynamic reconfigurations in Reo using high-level replacement systems. Sci. Comput. Program. Christian Krause, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab
2011	—	`—`	Reconfigurable Component Connectors. Christian Krause
2011	C	`conf`	Simulation-Based Performance Analysis of Channel-Based Coordination Models. COORDINATION Chrétien Verhoef, Christian Krause, Oscar Kanters, Rob van der Mei
2010	—	`conf`	A Compositional Semantics for Stochastic Reo Connectors FOCLASA Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab
2010	—	`conf`	Action-based analysis of discrete regulatory networks with short-term stimuli. CMSB Christian Krause, Carola Krause, Erik P. de Vink
2010	Misc	`conf`	Data-aware design and verification of service compositions with Reo and mCRL2. SAC Natallia Kokash, Christian Krause, Erik P. de Vink
2010	—	`conf`	Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. MoDELS (1) Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, Gabriele Taentzer
2010	B	`conf`	Time and Data-Aware Analysis of Graphical Service Models in Reo. SEFM Natallia Kokash, Christian Krause, Erik P. de Vink
2009	—	`conf`	Integrated Structure and Semantics for Reo Connectors and Petri Nets ICE Christian Krause
2009	—	`conf`	Verification of Context-Dependent Channel-Based Service Models. FMCO Natallia Kokash, Christian Krause, Erik P. de Vink