14 citations · 17 across the 2 of their papers we have counts for
5 papers
Proceedings Sixth Transformation Tool Contest
Pieter Van Gorp, Louis M. Rose, Christian Krause
The aim of the Transformation Tool Contest (TTC) series is to compare the expressiveness, the usability and the performance of graph and model transformation tools along a number o…
Modal Specifications for Probabilistic Timed Systems
Tingting Han, Christian Krause, Marta Kwiatkowska +1
Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reas…
Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements
Christian Krause, Holger Giese
The assurance of quality of service properties is an important aspect of service-oriented software engineering. Notations for so-called service level agreements (SLAs), such as the…
A Compositional Semantics for Stochastic Reo Connectors
Young-Joo Moon, Alexandra Silva, Christian Krause +1
In this paper we present a compositional semantics for the channel-based coordination language Reo which enables the analysis of quality of service (QoS) properties of service comp…
Integrated Structure and Semantics for Reo Connectors and Petri Nets
Christian Krause
In this paper, we present an integrated structural and behavioral model of Reo connectors and Petri nets, allowing a direct comparison of the two concurrency models. For this purpo…