7 citations · 15 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.DC2019★ 2 cited
Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach
Frank S. de Boer, Elena Giachino, Stijn de Gouw +5
Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalti…
eess.SY2019
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects
Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach +1
Formal modeling of cyber-physical systems (CPS) is hard, because they pose the double challenge of combined discrete-continuous dynamics and concurrent behavior. Existing formal sp…