Christian Krause

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 3

Top Venues

ICGT

Sci. Comput. Program.

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

J. Log. Algebraic Methods Program.

Universiteit Leiden (PHD)

Education History

Universiteit Leiden

PHD

Publications

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

Christian Krause.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Krause