Self-adaptive software needs quantitative verification at runtime

Radu Calinescu; Carlo Ghezzi; Marta Kwiatkowska; Raffaela Mirandola

doi:10.1145/2330667.2330686

Self-adaptive software needs quantitative verification at runtime

Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola

Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	69-77
Number of pages	9
Journal	Communications of the ACM
Volume	55
Issue number	9
DOIs	https://doi.org/10.1145/2330667.2330686
Publication status	Published - 1 Sept 2012

Bibliographical note

Google Scholar citations on 17 October 2012: 2

Access to Document

10.1145/2330667.2330686

Self-Adaptive Software Needs Quantitative Verification at Runtime
Made available in accordance to the publishers policy Copyright © 2013 by the ACM
Final published version, 1.03 MB

http://dl.acm.org/citation.cfm?doid=2330667.2330686

Cite this

@article{8f31282be3ab44cd9c8bd9213f0520fe,

title = "Self-adaptive software needs quantitative verification at runtime",

author = "Radu Calinescu and Carlo Ghezzi and Marta Kwiatkowska and Raffaela Mirandola",

note = "Google Scholar citations on 17 October 2012: 2",

year = "2012",

month = sep,

day = "1",

doi = "10.1145/2330667.2330686",

language = "English",

volume = "55",

pages = "69--77",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "ACM",

number = "9",

}

TY - JOUR

T1 - Self-adaptive software needs quantitative verification at runtime

AU - Calinescu, Radu

AU - Ghezzi, Carlo

AU - Kwiatkowska, Marta

AU - Mirandola, Raffaela

N1 - Google Scholar citations on 17 October 2012: 2

PY - 2012/9/1

Y1 - 2012/9/1

UR - http://www.scopus.com/inward/record.url?scp=84865658584&partnerID=8YFLogxK

U2 - 10.1145/2330667.2330686

DO - 10.1145/2330667.2330686

M3 - Article

SN - 0001-0782

VL - 55

SP - 69

EP - 77

JO - Communications of the ACM

JF - Communications of the ACM

IS - 9

ER -

Self-adaptive software needs quantitative verification at runtime

Bibliographical note

Access to Document

Other files and links

Cloud Computing for LSCITS

Cite this

Self-adaptive software needs quantitative verification at runtime

Bibliographical note

Access to Document

Other files and links

Projects

Cloud Computing for LSCITS

Cite this