@inproceedings{nobakht:hal-01757576,
  TITLE = {{Formal Verification of Service Level Agreements Through Distributed Monitoring}},
  AUTHOR = {Nobakht, Behrooz and Gouw, Stijn De and Boer, Frank},
  URL = {https://inria.hal.science/hal-01757576},
  NOTE = {Part 1: Research Track},
  BOOKTITLE = {{4th European Conference on Service-Oriented and Cloud Computing (ESOCC)}},
  ADDRESS = {Taormina, Italy},
  EDITOR = {Schahram Dustdar and Frank Leymann and Massimo Villari},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Service Oriented and Cloud Computing},
  VOLUME = {LNCS-9306},
  PAGES = {125-140},
  YEAR = {2015},
  MONTH = Sep,
  DOI = {10.1007/978-3-319-24072-5\_9},
  KEYWORDS = {Runtime monitoring ; Service availability ; Budget compliance ; Service sustainability ; Distributed architecture ; Cloud computing ; Service Level Agreement},
  PDF = {https://inria.hal.science/hal-01757576/file/370579_1_En_9_Chapter.pdf},
  HAL_ID = {hal-01757576},
  HAL_VERSION = {v1},
}