Christian Krause

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Modal specifications for probabilistic timed systems	2021-06-09	Paper
Modal specifications for probabilistic timed systems (available as arXiv preprint)	2021-06-09	Paper
Model checking probabilistic real-time properties for service-oriented systems with service level agreements	2021-03-10	Paper
Model checking probabilistic real-time properties for service-oriented systems with service level agreements (available as arXiv preprint)	2021-03-10	Paper
Integrated structure and semantics for Reo connectors and Petri nets	2021-02-09	Paper
Probabilistic timed graph transformation systems Graph Transformation	2019-11-22	Paper
Probabilistic timed graph transformation systems Journal of Logical and Algebraic Methods in Programming	2018-11-01	Paper
A compositional model to reason about end-to-end QoS in stochastic Reo connectors Science of Computer Programming	2018-07-16	Paper
Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions Formal Aspects of Computing	2013-03-22	Paper
Probabilistic graph transformation systems Lecture Notes in Computer Science	2012-10-02	Paper
Verification of context-dependent channel-based service models Formal Methods for Components and Objects	2011-01-08	Paper
Modeling dynamic reconfigurations in Reo using high-level replacement systems Science of Computer Programming	2010-11-25	Paper

Research outcomes over time

This page was built for person: Christian Krause