activity
20112021
most citedModel-Driven Engineering of Self-Adaptive Software with EUREMA

122 citations · 389 across the 17 of their papers we have counts for

collaborators
Showing 2011Show all

1 paper · 1 filter

cs.SE2011★ 7 cited

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…