{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T10:21:14Z","timestamp":1756894874327,"version":"3.41.0"},"publisher-location":"Cham","reference-count":66,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319741826"},{"type":"electronic","value":"9783319741833"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-74183-3_4","type":"book-chapter","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T13:02:43Z","timestamp":1516194163000},"page":"90-134","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?"],"prefix":"10.1007","author":[{"given":"Marin","family":"Litoiu","sequence":"first","affiliation":[]},{"given":"Mary","family":"Shaw","sequence":"additional","affiliation":[]},{"given":"Gabriel","family":"Tamura","sequence":"additional","affiliation":[]},{"given":"Norha M.","family":"Villegas","sequence":"additional","affiliation":[]},{"given":"Hausi A.","family":"M\u00fcller","sequence":"additional","affiliation":[]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[]},{"given":"Romain","family":"Rouvoy","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Rutten","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,18]]},"reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/MCS.2003.1200252","volume":"23","author":"T Abdelzaher","year":"2003","unstructured":"Abdelzaher, T., Stankovic, J., Lu, C., Zhang, R., Lu, Y.: Feedback performance control in software services. IEEE Control Syst. 23(3), 74\u201390 (2003)","journal-title":"IEEE Control Syst."},{"doi-asserted-by":"crossref","unstructured":"AlBahnassi, W., Mudur, S.P., Goswami, D.: A design pattern for parallel programming of games. In: 2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems (HPCC-ICESS), pp. 1007\u20131014. IEEE (2012)","key":"4_CR2","DOI":"10.1109\/HPCC.2012.147"},{"doi-asserted-by":"crossref","unstructured":"Arcelli, D., Cortellessa, V., Filieri, A., Leva, A.: Control theory for model-based performance-driven software adaptation. In: Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, pp. 11\u201320. ACM (2015)","key":"4_CR3","DOI":"10.1145\/2737182.2737187"},{"doi-asserted-by":"crossref","unstructured":"\u00c5str\u00f6m, K.J., Murray, R.M.: Feedback Systems. An Introduction for Scientists and Engineers (2008)","key":"4_CR4","DOI":"10.1515\/9781400828739"},{"key":"4_CR5","series-title":"Addison-Wesley series in Electrical Engineering: Control Engineering","volume-title":"Adaptive Control","author":"K \u00c5str\u00f6m","year":"1995","unstructured":"\u00c5str\u00f6m, K., Wittenmark, B.: Adaptive Control. Addison-Wesley series in Electrical Engineering: Control Engineering. Addison-Wesley, Reading (1995)"},{"key":"4_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16684-6","volume-title":"Viability Theory: New Firections","author":"JP Aubin","year":"2011","unstructured":"Aubin, J.P., Bayen, A.M., Saint-Pierre, P.: Viability Theory: New Firections. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-16684-6"},{"issue":"1","key":"4_CR7","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/1152934.1152937","volume":"1","author":"O Babaoglu","year":"2006","unstructured":"Babaoglu, O., Canright, G., Deutsch, A., Caro, G.A.D., Ducatelle, F., Gambardella, L.M., Ganguly, N., Jelasity, M., Montemanni, R., Montresor, A., et al.: Design patterns from biology for distributed computing. ACM Trans. Auton. Adapt. Syst. (TAAS) 1(1), 26\u201366 (2006)","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"},{"doi-asserted-by":"crossref","unstructured":"Balzer, B., Litoiu, M., M\u00fcller, H., Smith, D., Storey, M.A., Tilley, S., Wong, K.: 4th International Workshop on Adoption-Centric Software Engineering. In: Proceedings of the 26th International Conference on Software Engineering, ICSE 2004, pp. 748\u2013749. IEEE Computer Society, Washington, DC (2004)","key":"4_CR8","DOI":"10.1109\/ICSE.2004.1317517"},{"unstructured":"Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Saar, Y.: Synthesis of reactive (1) designs. J. Comput. Syst. Sci. 78(3), 911\u2013938 (2012)","key":"4_CR9"},{"doi-asserted-by":"crossref","unstructured":"Braberman, V., D\u2019Ippolito, N., Kramer, J., Sykes, D., Uchitel, S.: MORPH: a reference architecture for configuration and behaviour self-adaptation. In: Proceedings of the 1st International Workshop on Control Theory for Software Engineering, CTSE 2015, pp. 9\u201316. ACM, New York (2015)","key":"4_CR10","DOI":"10.1145\/2804337.2804339"},{"issue":"2","key":"4_CR11","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0747-7171(08)80027-2","volume":"9","author":"M Bronstein","year":"1990","unstructured":"Bronstein, M.: Integration of elementary functions. J. Symbolic Comput. 9(2), 117\u2013173 (1990)","journal-title":"J. Symbolic Comput."},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-02161-9_3","volume-title":"Software Engineering for Self-Adaptive Systems","author":"Y Brun","year":"2009","unstructured":"Brun, Y., et al.: Engineering self-adaptive systems through feedback loops. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 48\u201370. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02161-9_3"},{"key":"4_CR13","volume-title":"Pattern-oriented Software Architecture: A System of Patterns","author":"F Buschmann","year":"1996","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-oriented Software Architecture: A System of Patterns. Wiley, New York (1996)"},{"key":"4_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"C Cassandras","year":"2008","unstructured":"Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems. Springer, New York (2008). https:\/\/doi.org\/10.1007\/978-0-387-68612-7"},{"doi-asserted-by":"crossref","unstructured":"Checiu, L., Solomon, B., Ionescu, D., Litoiu, M., Iszlai, G.: Observability and controllability of autonomic computing systems for composed web services. In: Proceedings of the 2011 6th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI), pp. 269\u2013274. IEEE (2011)","key":"4_CR15","DOI":"10.1109\/SACI.2011.5873012"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"BHC Cheng","year":"2009","unstructured":"Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 1\u201326. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02161-9_1"},{"key":"4_CR17","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"unstructured":"Dahm, W.: Technology Horizons a Vision for Air Force Science & Technology During 2010\u20132030. Tech. rep., U.S. Air Force (2010), http:\/\/www.af.mil\/information\/technologyhorizons.asp","key":"4_CR18"},{"doi-asserted-by":"crossref","unstructured":"Delaval, G., Gueye, S.M.K., Rutten, E., De Palma, N.: Modular coordination of multiple autonomic managers. In: Proceedings of the 17th International ACM Sigsoft Symposium on Component-Based Software Engineering, CBSE 2014, pp. 3\u201312. ACM, New York (2014)","key":"4_CR19","DOI":"10.1145\/2602458.2602465"},{"unstructured":"Diao, Y., Gandhi, N., Hellerstein, J.L., Parekh, S., Tilbury, D.M.: Using MIMO feedback control to enforce policies for interrelated metrics with application to the apache web server. In: Network Operations and Management Symposium, NOMS 2002. IEEE\/IFIP, pp. 219\u2013234. IEEE (2002)","key":"4_CR20"},{"doi-asserted-by":"crossref","unstructured":"D\u2019Ippolito, N., Braberman, V., Kramer, J., Magee, J., Sykes, D., Uchitel, S.: Hope for the best, prepare for the worst: multi-tier control for adaptive systems. In: Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp. 688\u2013699. ACM, New York (2014)","key":"4_CR21","DOI":"10.1145\/2568225.2568264"},{"doi-asserted-by":"crossref","unstructured":"D\u2019Ippolito, N., Braberman, V., Piterman, N., Uchitel, S.: Synthesizing nonanomalous event-based controllers for liveness goals. ACM Trans. Software Eng. Methodol. 22(1), 9:1\u20139:36 (2013)","key":"4_CR22","DOI":"10.1145\/2430536.2430543"},{"doi-asserted-by":"crossref","unstructured":"Elkhodary, A., Esfahani, N., Malek, S.: FUSION: a framework for engineering self-tuning self-adaptive software systems. In: Proceedings of 18th ACM International Symposium on Foundations of Software Engineering, FSE 2010, pp. 7\u201316. ACM (2010)","key":"4_CR23","DOI":"10.1145\/1882291.1882296"},{"doi-asserted-by":"crossref","unstructured":"Filieri, A., Hoffmann, H., Maggio, M.: Automated design of self-adaptive software with control-theoretical formal guarantees. In: Proceedings of the 36th International Conference on Software Engineering, pp. 299\u2013310. ACM (2014)","key":"4_CR24","DOI":"10.1145\/2568225.2568272"},{"doi-asserted-by":"crossref","unstructured":"Filieri, A., Maggio, M., Angelopoulos, K., D\u2019Ippolito, N., Gerostathopoulos, I., Hempel, A.B., Hoffmann, H., Jamshidi, P., Kalyvianaki, E., Klein, C., Krikava, F., Misailovic, S., Papadopoulos, A.V., Ray, S., Sharifloo, A.M., Shevtsov, S., Ujma, M., Vogel, T.: Software engineering meets control theory. In: Proceedings of 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015), pp. 71\u201382. IEEE Press (2015)","key":"4_CR25","DOI":"10.1109\/SEAMS.2015.12"},{"doi-asserted-by":"crossref","unstructured":"Gergin, I., Simmons, B., Litoiu, M.: A decentralized autonomic architecture for performance control in the cloud. In: 2014 IEEE International Conference on Cloud Engineering (IC2E), pp. 574\u2013579. IEEE (2014)","key":"4_CR26","DOI":"10.1109\/IC2E.2014.75"},{"doi-asserted-by":"crossref","unstructured":"Ghanbari, H., Litoiu, M., Pawluk, P., Barna, C.: Replica placement in cloud through simple stochastic model predictive control. In: Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing (CLOUD), pp. 80\u201387. IEEE (2014)","key":"4_CR27","DOI":"10.1109\/CLOUD.2014.21"},{"issue":"1","key":"4_CR28","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1016\/j.future.2011.05.019","volume":"28","author":"H Ghanbari","year":"2012","unstructured":"Ghanbari, H., Simmons, B., Litoiu, M., Iszlai, G.: Feedback-based optimization of a private cloud. Future Gener. Comput. Syst. 28(1), 104\u2013111 (2012)","journal-title":"Future Gener. Comput. Syst."},{"key":"4_CR29","doi-asserted-by":"crossref","DOI":"10.1002\/047166880X","volume-title":"Feedback Control of Computing Systems","author":"JL Hellerstein","year":"2004","unstructured":"Hellerstein, J.L., Diao, Y., Parekh, S., Tilbury, D.M.: Feedback Control of Computing Systems. Wiley, Chichester (2004)"},{"unstructured":"IBM Corporation: An Architectural Blueprint for Autonomic Computing, Technical report, IBM Corporation (2006)","key":"4_CR30"},{"key":"4_CR31","volume-title":"Feedback Control for Computer Systems","author":"PK Janert","year":"2013","unstructured":"Janert, P.K.: Feedback Control for Computer Systems. O\u2019Reilly Media Inc., Sebastopol (2013)"},{"doi-asserted-by":"crossref","unstructured":"Kalyvianaki, E., Charalambous, T., Hand, S.: Self-adaptive and self-configured CPU resource provisioning for virtualized servers using kalman filters. In: Proceedings of the 6th International Conference on Autonomic Computing, pp. 117\u2013126. ACM (2009)","key":"4_CR32","DOI":"10.1145\/1555228.1555261"},{"issue":"1","key":"4_CR33","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Comput. 36(1), 41\u201350 (2003)","journal-title":"IEEE Comput."},{"doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J.: Self-Managed systems: an architectural challenge. In: FOSE 2007: 2007 Future of Software Engineering, pp. 259\u2013268. IEEE Computer Society, Washington, DC (2007)","key":"4_CR34","DOI":"10.1109\/FOSE.2007.19"},{"issue":"1","key":"4_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10586-008-0070-y","volume":"12","author":"D Kusic","year":"2009","unstructured":"Kusic, D., Kephart, J.O., Hanson, J.E., Kandasamy, N., Jiang, G.: Power and performance management of virtualized computing environments via lookahead control. Cluster Comput. 12(1), 1\u201315 (2009)","journal-title":"Cluster Comput."},{"issue":"3","key":"4_CR36","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MIS.1999.769879","volume":"14","author":"R Laddaga","year":"1999","unstructured":"Laddaga, R.: Guest Editor\u2019s introduction: creating robust software through self-adaptation. IEEE Intell. Syst. 14(3), 26\u201329 (1999)","journal-title":"IEEE Intell. Syst."},{"key":"4_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-44584-6_2","volume-title":"Self-Adaptive Software","author":"R Laddaga","year":"2000","unstructured":"Laddaga, R.: Active software. In: Robertson, P., Shrobe, H., Laddaga, R. (eds.) IWSAS 2000. LNCS, vol. 1936, pp. 11\u201326. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44584-6_2"},{"key":"4_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35813-5_1","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"R Lemos de","year":"2013","unstructured":"de Lemos, R., et al.: Software engineering for self-adaptive systems: a second research roadmap. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 1\u201332. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_1"},{"issue":"1","key":"4_CR39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.arcontrol.2009.12.001","volume":"34","author":"L Lennart","year":"2010","unstructured":"Lennart, L.: Perspectives on system identification. Annu. Rev. Control 34(1), 1\u201312 (2010)","journal-title":"Annu. Rev. Control"},{"unstructured":"Mattson, T., Sanders, B., Massingill, B.: Patterns for Parallel Programming, 1st edn. Addison-Wesley Professional, Reading (2004)","key":"4_CR40"},{"doi-asserted-by":"crossref","unstructured":"M\u00fcller, H., Pezz\u00e8, M., Shaw, M.: Visibility of control in adaptive systems. In: Proceedings of the 2nd International Workshop on Ultra-Large-Scale Software-Intensive Systems, pp. 23\u201326. ACM (2008)","key":"4_CR41","DOI":"10.1145\/1370700.1370707"},{"key":"4_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-45398-4_8","volume-title":"Evolving Software Systems","author":"H M\u00fcller","year":"2014","unstructured":"M\u00fcller, H., Villegas, N.: Runtime evolution of highly dynamic software. In: Mens, T., Serebrenik, A., Cleve, A. (eds.) Evolving Software Systems. LNCS, pp. 229\u2013264. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-45398-4_8"},{"key":"4_CR43","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898718010","volume-title":"Control in an Information Rich World: Report of the Panel on Future Directions in Control, Dynamics, and Systems","author":"RM Murray","year":"2003","unstructured":"Murray, R.M.: Control in an Information Rich World: Report of the Panel on Future Directions in Control, Dynamics, and Systems. SIAM, Philadelphia (2003)"},{"unstructured":"Northrop, L., Feiler, P., Gabriel, R., Goodenough, J., Longstaff, T., Kazman, R., Klein, M., Schmidt, D., Sullivan, K., Wallnau, K.: Ultra-Large-Scale Systems-The Software Challenge of the Future. Technical report, Carnegie Mellon University Software Engineering Institute (2006), http:\/\/www.sei.cmu.edu\/uls","key":"4_CR44"},{"doi-asserted-by":"crossref","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.N.: Runtime software adaptation: framework, approaches, and styles. In: Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), pp. 899\u2013910 (2008)","key":"4_CR45","DOI":"10.1145\/1370175.1370181"},{"doi-asserted-by":"crossref","unstructured":"Patikirikorala, T., Colman, A., Han, J., Wang, L.: A systematic survey on the design of self-adaptive software systems using control engineering approaches. In: Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), pp. 33\u201342. IEEE Press (2012)","key":"4_CR46","DOI":"10.1109\/SEAMS.2012.6224389"},{"issue":"1","key":"4_CR47","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1), 206\u2013230 (1987)","journal-title":"SIAM J. Control Optim."},{"key":"4_CR48","series-title":"Lecture Notes in Computer Science","first-page":"349","volume-title":"Self-Adaptive Systems III","author":"E Rutten","year":"2016","unstructured":"Rutten, E., Marchand, N., Simon, D.: Feedback control as MAPE-K loop in autonomic computing. In: de Lemos, R., Garlan, D., Ghezzi, C., Giese, H. (eds.) Self-Adaptive Systems III. LNCS, vol. 9640, pp. 349\u2013373. Springer, Cham (2016)"},{"key":"4_CR49","doi-asserted-by":"crossref","first-page":"14:1","DOI":"10.1145\/1516533.1516538","volume":"4","author":"M Salehie","year":"2009","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: landscape and research challenges. ACM Trans. Auton. Adapt. Syst. 4, 14:1\u201314:42 (2009)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"issue":"2","key":"4_CR50","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1109\/JPROC.1998.659497","volume":"86","author":"C Shannon","year":"1998","unstructured":"Shannon, C.: Communication in the presence of noise. Proc. IEEE 86(2), 447\u2013457 (1998)","journal-title":"Proc. IEEE"},{"key":"4_CR51","series-title":"Use R","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-0-387-88698-5_10","volume-title":"In: Introductory Time Series with R","author":"Paul SP Cowpertwait","year":"2009","unstructured":"Cowpertwait, Paul S.P., Metcalfe, Andrew V.: System Identification. In: Introductory Time Series with R. UR, pp. 201\u2013209. Springer, New York (2009). https:\/\/doi.org\/10.1007\/978-0-387-88698-5_10"},{"doi-asserted-by":"crossref","unstructured":"Solomon, B., Ionescu, D., Litoiu, M., Iszlai, G.: Autonomic computing control of composed web services. In: Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010), pp. 94\u2013103. ACM (2010)","key":"4_CR52","DOI":"10.1145\/1808984.1808995"},{"doi-asserted-by":"crossref","unstructured":"Solomon, B., Ionescu, D., Litoiu, M., Iszlai, G., Prostean, O.: Measurements and identification of autonomic computing processes. In: Proceedings of the 2010 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications (CIMSA), pp. 72\u201377. IEEE (2010)","key":"4_CR53","DOI":"10.1109\/CIMSA.2010.5611771"},{"doi-asserted-by":"crossref","unstructured":"Sykes, D., Corapi, D., Magee, J., Kramer, J., Russo, A., Inoue, K.: Learning revised models for planning in adaptive systems. In: Proceedings of the 2013 International Conference on Software Engineering, ICSE 2013, pp. 63\u201371. IEEE Press, Piscataway (2013)","key":"4_CR54","DOI":"10.1109\/ICSE.2013.6606552"},{"issue":"3","key":"4_CR55","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/j.scico.2013.12.003","volume":"94","author":"G Tamura","year":"2014","unstructured":"Tamura, G., Casallas, R., Cleve, A., Duchien, L.: QoS contract preservation through dynamic reconfiguration: a formal semantics approach. Sci. Comput. Program. (SCP) 94(3), 307\u2013332 (2014)","journal-title":"Sci. Comput. Program. (SCP)"},{"key":"4_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-35813-5_5","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"G Tamura","year":"2013","unstructured":"Tamura, G., et al.: Towards practical runtime verification and validation of self-adaptive software systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 108\u2013132. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_5"},{"issue":"8","key":"4_CR57","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1145\/310930.310984","volume":"42","author":"DP Truex","year":"1999","unstructured":"Truex, D.P., Baskerville, R., Klein, H.: Growing systems in emergent organizations. Commun. ACM 42(8), 117\u2013123 (1999)","journal-title":"Commun. ACM"},{"doi-asserted-by":"crossref","unstructured":"Villegas, N., M\u00fcller, H., Tamura, G., Duchien, L., Casallas, R.: A framework for evaluating quality-driven self-adaptive software systems. In: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011), pp. 80\u201389. ACM (2011)","key":"4_CR58","DOI":"10.1145\/1988008.1988020"},{"unstructured":"Villegas, N.M.: Context Management and Self-Adaptivity for Situation-Aware Smart Software Systems. Ph.D. thesis, University of Victoria (2013)","key":"4_CR59"},{"key":"4_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-35813-5_11","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"NM Villegas","year":"2013","unstructured":"Villegas, N.M., Tamura, G., M\u00fcller, H.A., Duchien, L., Casallas, R.: DYNAMICO: a reference model for governing control objectives and context relevance in self-adaptive software systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 265\u2013293. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_11"},{"doi-asserted-by":"crossref","unstructured":"Vromant, P., Weyns, D., Malek, S., Andersson, J.: On interacting control loops in self-adaptive systems. In: Proceedings of 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011), pp. 202\u2013207. ACM (2011)","key":"4_CR61","DOI":"10.1145\/1988008.1988037"},{"doi-asserted-by":"crossref","unstructured":"Wang, Y., Lafortune, S., Kelly, T., Kudlur, M., Mahlke, S.: The Theory of Deadlock Avoidance Via Discrete Control. Principles of Programming Languages. POPL, Savannah, USA, pp. 252\u2013263 (2009)","key":"4_CR62","DOI":"10.1145\/1594834.1480913"},{"key":"4_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-35813-5_4","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"D Weyns","year":"2013","unstructured":"Weyns, D., et al.: On patterns for decentralized control in self-adaptive systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 76\u2013107. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_4"},{"issue":"12","key":"4_CR64","doi-asserted-by":"crossref","first-page":"762","DOI":"10.1109\/JSAC.2013.SUP2.1213008","volume":"31","author":"Q Zhang","year":"2013","unstructured":"Zhang, Q., Zhu, Q., Zhani, M.F., Boutaba, R., Hellerstein, J.L.: Dynamic service placement in geographically distributed clouds. IEEE J. Sel. Areas Commun. 31(12), 762\u2013772 (2013)","journal-title":"IEEE J. Sel. Areas Commun."},{"issue":"3","key":"4_CR65","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1109\/TSE.2008.30","volume":"34","author":"T Zheng","year":"2008","unstructured":"Zheng, T., Woodside, M., Litoiu, M.: Performance model estimation and tracking using optimal filters. IEEE Trans. Software Eng. 34(3), 391\u2013406 (2008)","journal-title":"IEEE Trans. Software Eng."},{"unstructured":"Zheng, T., Yang, J., Woodside, M., Litoiu, M., Iszlai, G.: Tracking time-varying parameters in software systems with extended Kalman filters. In: Proceedings of the 2005 Conference of the Centre for Advanced Studies on Collaborative research (CASCON), pp. 334\u2013345. IBM Press (2005)","key":"4_CR66"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Self-Adaptive Systems III. Assurances"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74183-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,29]],"date-time":"2025-06-29T22:06:18Z","timestamp":1751234778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74183-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319741826","9783319741833"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74183-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}