APICe » Publications » StochasticSelfAdaptationCACM55

Self-adaptive software needs quantitative verification at runtime

Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
Continually verify self-adaptation decisions taken by critical software in response to changes in the operating environment.
Communications of the ACM 55(9), pages 69-77, sep 2012, ACM, New York, NY, USA
@article{stochasticselfadaptation-cacm55,
	Acmid = {2330686},
	Address = {New York, NY, USA},
	Author = {Calinescu, Radu and Ghezzi, Carlo and Kwiatkowska, Marta and Mirandola, Raffaela},
	Doi = {10.1145/2330667.2330686},
	Issn = {0001-0782},
	Journal = {Communications of the ACM},
	Month = sep,
	Number = 9,
	Numpages = 9,
	Pages = {69--77},
	Publisher = {ACM},
	Title = {Self-adaptive software needs quantitative verification at runtime},
	Url = {http://dl.acm.org/citation.cfm?doid=2330667.2330686},
	Volume = 55,
	Year = 2012}