{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T05:23:32Z","timestamp":1749878612081,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466742"},{"type":"electronic","value":"9783662466759"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46675-9_16","type":"book-chapter","created":{"date-parts":[[2015,3,31]],"date-time":"2015-03-31T16:24:38Z","timestamp":1427819078000},"page":"235-251","source":"Crossref","is-referenced-by-count":41,"title":["Self-adaptive Software with Decentralised Control Loops"],"prefix":"10.1007","author":[{"given":"Radu","family":"Calinescu","sequence":"first","affiliation":[]},{"given":"Simos","family":"Gerasimou","sequence":"additional","affiliation":[]},{"given":"Alec","family":"Banks","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Benjamin, M., et al.: Autonomy for unmanned marine vehicles with MOOS-IvP. In: Marine Robot Autonomy, pp. 47\u201390 (2013)","DOI":"10.1007\/978-1-4614-5659-9_2"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Bures, T., et al.: Deeco: An ensemble-based component system. In: CBSE 2013 (2013)","DOI":"10.1145\/2465449.2465462"},{"issue":"9","key":"16_CR3","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/2330667.2330686","volume":"55","author":"R. Calinescu","year":"2012","unstructured":"Calinescu, R., Ghezzi, C., Kwiatkowska, M., Mirandola, R.: Self-adaptive software needs quantitative verification at runtime. Comm. ACM\u00a055(9), 69\u201377 (2012)","journal-title":"Comm. ACM"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1109\/TSE.2010.92","volume":"37","author":"R. Calinescu","year":"2011","unstructured":"Calinescu, R., Grunske, L., Kwiatkowska, M., et al.: Dynamic QoS management and optimization in service-based systems. IEEE Trans. Softw. Eng.\u00a037, 387\u2013409 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Calinescu, R., Johnson, K., Rafiq, Y.: Developing self-verifying service-based systems. In: ASE 2013, pp. 734\u2013737 (2013)","DOI":"10.1109\/ASE.2013.6693145"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Calinescu, R., Kwiatkowska, M.Z.: Using quantitative analysis to implement autonomic IT systems. In: ICSE 2009, pp. 100\u2013110 (2009)","DOI":"10.1109\/ICSE.2009.5070512"},{"issue":"2","key":"16_CR7","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1017\/S0269888905000494","volume":"20","author":"G. Marzo Serugendo Di","year":"2005","unstructured":"Di Marzo Serugendo, G., Gleizes, M.-P., Karageorgos, A.: Self-Organization in Multi-Agent Systems. The Knowledge Eng. Rev.\u00a020(2), 165\u2013189 (2005)","journal-title":"The Knowledge Eng. Rev."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"D\u2019Ippolito, N., et al.: Hope for the best, prepare for the worst: Multi-tier control for adaptive systems. In: ICSE 2014, pp. 688\u2013699 (2014)","DOI":"10.1145\/2568225.2568264"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Model evolution by run-time parameter adaptation. In: ICSE 2009, pp. 111\u2013121 (2009)","DOI":"10.1109\/ICSE.2009.5070513"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-71209-1_6","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Etessami","year":"2007","unstructured":"Etessami, K., Kwiatkowska, M., Vardi, M.Y., Yannakakis, M.: Multi-objective model checking of markov decision processes. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 50\u201365. Springer, Heidelberg (2007)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: ICSE 2011, pp. 341\u2013350 (2011)","DOI":"10.1145\/1985793.1985840"},{"issue":"9","key":"16_CR12","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/2500468.2494558","volume":"56","author":"M. Fisher","year":"2013","unstructured":"Fisher, M., Dennis, L., Webster, M.: Verifying autonomous systems. Comm. ACM\u00a056(9), 84\u201393 (2013)","journal-title":"Comm. ACM"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-19835-9_11","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"V. Forejt","year":"2011","unstructured":"Forejt, V., Kwiatkowska, M., Norman, G., Parker, D., Qu, H.: Quantitative multi-objective verification for probabilistic systems. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 112\u2013127. Springer, Heidelberg (2011)"},{"key":"16_CR14","unstructured":"Fouquet, F., et al.: Kevoree modeling framework (KMF): Efficient modelling techniques for runtime use. CoRR, abs\/1405.6817 (2014)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Gerasimou, S., Calinescu, R., Banks, A.: Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. In: SEAMS 2014 (2014)","DOI":"10.1145\/2593929.2593932"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Johnson, K., Calinescu, R., Kikuchi, S.: An incremental verification framework for component-based software systems. In: CBSE 2013, pp. 33\u201342 (2013)","DOI":"10.1145\/2465449.2465456"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Kellerer, H., Pferschy, U., Pisinger, D.: The multiple-choice knapsack problem. In: Knapsack Problems, pp. 317\u2013347 (2004)","DOI":"10.1007\/978-3-540-24777-7_11"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Kephart, J., Chess, D.: The vision of autonomic computing. Computer\u00a036(1) (2003)","DOI":"10.1109\/MC.2003.1160055"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M.: Quantitative verification: models, techniques and tools. In: ESEC-FSE Companion 2007, pp. 449\u2013458 (2007)","DOI":"10.1145\/1295014.1295018"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Prism 4.0: verification of probabilistic real-time systems. In: CAV 2011, pp. 585\u2013591 (2011)","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"16_CR21","unstructured":"Lemos, R., et al.: Software engineering for self-adaptive systems: A second research roadmap. In: Software Engineering for Self-Adaptive Systems II, pp. 1\u201332 (2013)"},{"issue":"5","key":"16_CR22","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/TSE.2012.53","volume":"39","author":"V. Nallur","year":"2013","unstructured":"Nallur, V., Bahsoon, R.: A decentralized self-adaptation mechanism for service-based applications in the cloud. IEEE Trans. Softw. Eng.\u00a039(5), 591\u2013612 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Redfield, S.: Cooperation between underwater vehicles. In: Seto, M.L. (ed.) Marine Robot Autonomy, pp. 257\u2013286 (2013)","DOI":"10.1007\/978-1-4614-5659-9_6"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Seto, M., Paull, L., Saeedi, S.: Introduction to autonomy for marine robots. In: Marine Robot Autonomy, pp. 1\u201346 (2013)","DOI":"10.1007\/978-1-4614-5659-9_1"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Sykes, D., Magee, J., Kramer, J.: Flashmob: Distributed adaptive self-assembly. In: SEAMS 2011, pp. 100\u2013109 (2011)","DOI":"10.1145\/1988008.1988023"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Weyns, D., et al.: FORMS: Unifying Reference Model for Formal Specification of Distributed Self-Adaptive Systems. ACM Trans. Aut. Adapt. Syst.\u00a07(1) (2012)","DOI":"10.1145\/2168260.2168268"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46675-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T23:27:41Z","timestamp":1558308461000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46675-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466742","9783662466759"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46675-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}