Blar i Institutt for datateknologi, elektroteknologi og realfag på tidsskrift "Electronic Proceedings in Theoretical Computer Science"

Viser treff 1-2 av 2

    • Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach 

      de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hähnle, Reiner; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I; Zavattaro, Gianluigi (Peer reviewed; Journal article, 2019)
      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 penalties. To allow the analysis of SLA compliance ...

    • On Distributed Runtime Verification by Aggregate Computing 

      Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Viroli, Mirko (Journal article; Peer reviewed, 2019)
      Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specifications. Distributed runtime verification is ...