{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T07:10:54Z","timestamp":1763017854812},"publisher-location":"Cham","reference-count":70,"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_2","type":"book-chapter","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T08:02:43Z","timestamp":1516176163000},"page":"31-63","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":41,"title":["Perpetual Assurances for Self-Adaptive Systems"],"prefix":"10.1007","author":[{"given":"Danny","family":"Weyns","sequence":"first","affiliation":[]},{"given":"Nelly","family":"Bencomo","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Calinescu","sequence":"additional","affiliation":[]},{"given":"Javier","family":"Camara","sequence":"additional","affiliation":[]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[]},{"given":"Vincenzo","family":"Grassi","sequence":"additional","affiliation":[]},{"given":"Lars","family":"Grunske","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[]},{"given":"Jean-Marc","family":"Jezequel","sequence":"additional","affiliation":[]},{"given":"Sam","family":"Malek","sequence":"additional","affiliation":[]},{"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Mori","sequence":"additional","affiliation":[]},{"given":"Giordano","family":"Tamburrelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,18]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-35813-5_3","volume-title":"Software Engineering for Self-adaptive Systems II","author":"J Andersson","year":"2013","unstructured":"Andersson, J., Baresi, L., Bencomo, N., de Lemos, R., Gorla, A., Inverardi, P., Vogel, T.: Software engineering processes for 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. 51\u201375. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_3"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Amin, A., Colman, A., Grunske, L.: An approach to forecasting QoS attributes of web services based on ARIMA and GARCH models. In: International Conference on Web Services, ICWS 2012, pp. 74\u201381 (2012)","DOI":"10.1109\/ICWS.2012.37"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Amin, A., Grunske, L., Colman, A.: An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling. In: ASE 2012, pp. 130\u2013139 (2012)","DOI":"10.1145\/2351676.2351695"},{"key":"2_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0346-0433-8","volume-title":"Run-time Models for Self-managing Systems and Applications","year":"2010","unstructured":"Ardagna, D., Zhang, L. (eds.): Run-time Models for Self-managing Systems and Applications. Springer, Cham (2010). https:\/\/doi.org\/10.1007\/978-3-0346-0433-8"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-34059-8_6","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"M Autili","year":"2012","unstructured":"Autili, M., Cortellessa, V., Di Ruscio, D., Inverardi, P., Pelliccione, P., Tivoli, M.: Integration architecture synthesis for taming uncertainty in the digital space. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol. 7539, pp. 118\u2013131. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34059-8_6"},{"issue":"6","key":"2_CR6","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1049\/iet-sen:20070027","volume":"1","author":"L Baresi","year":"2007","unstructured":"Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: Validation of web service compositions. IET Software 1(6), 219\u2013232 (2007)","journal-title":"IET Software"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C.: The disappearing boundary between development-time and runtime. In: FSE\/SDP Workshop on Future of Software Engineering Research. ACM (2010)","DOI":"10.1145\/1882362.1882367"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Bencomo, N.: QuantUn: quantification of uncertainty for the reassessment of requirements. In: Next! track at the 23rd International Requirements Engineering Conference (2015)","DOI":"10.1109\/RE.2015.7320429"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08915-7","volume-title":"Models@run.time","year":"2014","unstructured":"Bencomo, N., France, R., Cheng, B.H.C., A\u00dfmann, U. (eds.): Models@run.time. LNCS, vol. 8378. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08915-7"},{"issue":"7","key":"2_CR10","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A Beugnard","year":"1999","unstructured":"Beugnard, A., Jezequel, J., Plouzeau, N., Watkins, D.: Making components contract aware. IEEE Computer 32(7), 38\u201345 (1999)","journal-title":"IEEE Computer"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Calinescu, R., Kwiatkowska, M.: Using quantitative analysis to implement autonomic IT systems. In: Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), pp. 100\u2013110. IEEE Computer Society, Washington, DC, USA (2009)","DOI":"10.1109\/ICSE.2009.5070512"},{"key":"2_CR12","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/2330667.2330686","volume":"55","author":"R Calinescu","year":"2012","unstructured":"Calinescu, R., Ghezzi, C., Kwiatkowska, M., Mirandla, R.: Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55, 9 (2012)","journal-title":"Commun. ACM"},{"issue":"3","key":"2_CR13","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1109\/TSE.2010.92","volume":"37","author":"R Calinescu","year":"2011","unstructured":"Calinescu, R., Grunske, L., Kwiatkowska, M., Mirandola, R., Tamburrelli, G.: Dynamic QoS management and optimization in service-based systems. IEEE Trans. Software Eng. 37(3), 387\u2013409 (2011)","journal-title":"IEEE Trans. Software Eng."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Calinescu, R., Johnson, K., Rafiq, Y.: Developing self-verifying service-based systems. In: IEEE\/ACM 28th International Conference on Automated Software Engineering (2013)","DOI":"10.1109\/ASE.2013.6693145"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Calinescu, R., Johnson, K., Rafiq, Y.: Using observation ageing to improve markovian model learning in QoS engineering. In: 2nd ACM\/SPEC International Conference on Performance Engineering. ACM, New York (2011)","DOI":"10.1145\/1958746.1958823"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-642-34059-8_16","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"R Calinescu","year":"2012","unstructured":"Calinescu, R., Kikuchi, S., Johnson, K.: Compositional reverification of probabilistic safety properties for large-scale complex IT systems. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol. 7539, pp. 303\u2013329. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34059-8_16"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Calinescu, R., Rafiq, Y., Johnson, K., Bak\u0131r, M.E.: Adaptive model learning for continual verification of non-functional properties. In: 5th ACM\/SPEC International Conference on Performance Engineering, pp. 87\u201398. ACM, New York (2014)","DOI":"10.1145\/2568088.2568094"},{"key":"2_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/1678-4804-20-1","volume":"20","author":"J C\u00e1mara","year":"2014","unstructured":"C\u00e1mara, J., de Lemos, R., Laranjeiro, N., Ventura, R., Vieira, M.: Testing the robustness of controllers for self-adaptive systems. J. Braz. Comput. Soc. 20, 1 (2014)","journal-title":"J. Braz. Comput. Soc."},{"issue":"4","key":"2_CR19","doi-asserted-by":"crossref","first-page":"23:1","DOI":"10.1145\/2774222","volume":"10","author":"J Camara","year":"2016","unstructured":"Camara, J., Moreno, G., Garlan, D., Schmerl, B.: Analyzing latency-aware self-adaptation using stochastic games and simulations. ACM Trans. Auton. Adapt. Syst. 10(4), 23:1\u201323:28 (2016)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"issue":"5","key":"2_CR20","doi-asserted-by":"crossref","first-page":"1138","DOI":"10.1109\/TSE.2011.68","volume":"38","author":"V Cardellini","year":"2012","unstructured":"Cardellini, V., Casalicchio, E., Grassi, V., Iannucci, S., Lo, P.F., Mirandola, R.: MOSES: a framework for QoS driven runtime adaptation of service-oriented systems. IEEE Trans. Softw. Eng. 38(5), 1138\u20131159 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Cavallo, B., Di Penta, M., Canfora, G.: An empirical comparison of methods to support QoS-aware service selection. In: PESOS 2010, pp. 64\u201370 (2010)","DOI":"10.1145\/1808885.1808899"},{"key":"2_CR22","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.: 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":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-08915-7_4","volume-title":"Models@run.time","author":"BHC Cheng","year":"2014","unstructured":"Cheng, B.H.C., et al.: Using models at runtime to address assurance for self-adaptive systems. In: Bencomo, N., France, R., Cheng, B.H.C., A\u00dfmann, U. (eds.) Models@run.time. LNCS, vol. 8378, pp. 101\u2013136. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08915-7_4"},{"issue":"4","key":"2_CR24","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K., Legay, A., Mikuaionis, M., Poulsen, D.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transfer 17(4), 397\u2013415 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"de la Iglesia, D.G., Weyns, D.: Guaranteeing robustness in a mobile learning application using formally verified MAPE loops. In: Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013 (2013)","DOI":"10.1109\/SEAMS.2013.6595495"},{"issue":"3","key":"2_CR26","first-page":"15","volume":"10","author":"DG Iglesia de la","year":"2015","unstructured":"de la Iglesia, D.G., Weyns, D.: MAPE-K formal templates to rigorously design behaviors for self-adaptive systems. ACM Trans. Auton. Adaptive Syst. 10(3), 15 (2015)","journal-title":"ACM Trans. Auton. Adaptive Syst."},{"key":"2_CR27","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"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Epifani, I., Ghezzi, C., Tamburrelli, G.: Change-point detection for black-box services. In: Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering (2010)","DOI":"10.1145\/1882291.1882326"},{"key":"2_CR29","unstructured":"Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Model evolution by runtime parameter adaptation. In: Proceedings of the 31st International Conference on Software Engineering IEEE Computer Society (2009). 2009.5070513"},{"key":"2_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-35813-5_9","volume-title":"Software Engineering for Self-adaptive Systems II","author":"N Esfahani","year":"2013","unstructured":"Esfahani, N., Malek, S.: Uncertainty 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. 214\u2013238. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_9"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: Runtime efficient probabilistic model checking. In: International Conference on Software Engineering, ICSE 2011 (2011)","DOI":"10.1145\/1985793.1985840"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Filieri, A., Grunske, L., Leva, A.: Lightweight adaptive filtering for efficient learning and updating of probabilistic models. In: International Conference on Software Engineering, ICSE 2015, pp. 200\u2013211 (2015)","DOI":"10.1109\/ICSE.2015.41"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Fredericks, E.M., Ramirez, A.J., Cheng, B.H.C.: Towards runtime testing of dynamic adaptive systems. In: 8th International Symposium on Software Engineering for Adaptive and Self-managing Systems (2013)","DOI":"10.1109\/SEAMS.2013.6595504"},{"key":"2_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-0621-1","volume-title":"Uncertainty and Quality in Science for Policy","author":"S Funtowicz","year":"1990","unstructured":"Funtowicz, S., Ravetz, J.: Uncertainty and Quality in Science for Policy. Springer, Dordrecht (1990). https:\/\/doi.org\/10.1007\/978-94-009-0621-1"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Garlan, D.: Software engineering in an uncertain world. In: Future of Software Engineering Research Workshop, FoSER, New York, NY, USA (2010)","DOI":"10.1145\/1882362.1882389"},{"key":"2_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-08915-7_3","volume-title":"Models@run.time","author":"H Giese","year":"2014","unstructured":"Giese, H., Bencomo, N., Pasquale, L., Ramirez, Andres J., Inverardi, P., W\u00e4tzoldt, S., Clarke, S.: Living with uncertainty in the age of runtime models. In: Bencomo, N., France, R., Cheng, B.H.C., A\u00dfmann, U. (eds.) Models@run.time. LNCS, vol. 8378, pp. 47\u2013100. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08915-7_3"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Grunske, L., Zhang, P.: Monitoring probabilistic properties. In Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 183\u2013192. ACM (2009)","DOI":"10.1145\/1595696.1595724"},{"key":"2_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1007\/978-3-642-14295-6_56","volume-title":"Computer Aided Verification","author":"EM Hahn","year":"2010","unstructured":"Hahn, E.M., Hermanns, H., Wachter, B., Zhang, L.: PARAM: a model checker for parametric Markov Models. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 660\u2013664. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14295-6_56"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Iftikhar, U., Weyns, D.: ActivFORMS: active formal models for self-adaptation. In: Software Engineering for Adaptive and Self-managing Systems, SEAMS 2014 (2014)","DOI":"10.1145\/2593929.2593944"},{"key":"2_CR40","unstructured":"Iftikhar, U., Weyns, D.: A case for runtime statistical model checking for self-adaptive systems, Techical report Katholieke Universiteit Leuven CW 693 (2016). http:\/\/www.cs.kuleuven.be\/publicaties\/rapporten\/cw\/CW693.abs.html"},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Mori, P.: Model checking requirements at runtime in adaptive systems. In: Workshop on Assurances for Self-adaptive Systems (2011)","DOI":"10.1145\/2024436.2024439"},{"key":"2_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-75336-0_5","volume-title":"Trustworthy Global Computing","author":"P Inverardi","year":"2007","unstructured":"Inverardi, P.: Software of the future is the future of software? In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2006. LNCS, vol. 4661, pp. 69\u201385. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75336-0_5"},{"key":"2_CR43","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":"2_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"2_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-12002-2_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M Kwiatkowska","year":"2010","unstructured":"Kwiatkowska, M., Norman, G., Parker, D., Qu, H.: Assume-guarantee verification for probabilistic systems. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 23\u201337. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12002-2_3"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Parker, D., Qu, H.: Incremental quantitative verification for Markov decision processes. In: Proceedings 2011 IEEE\/IFIP International Conference Dependable Systems and Networks (2011)","DOI":"10.1109\/DSN.2011.5958249"},{"key":"2_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16612-9_11"},{"key":"2_CR48","unstructured":"Mahdavi-Hezavehi, S., Avgeriou, P., Weyns, D.: A classification of current architecture-based approaches tackling uncertainty in self-adaptive systems with multiple requirements. In: Managing Trade-offs in Adaptable Software Architectures. Elsevier (2016)"},{"issue":"1","key":"2_CR49","first-page":"271","volume":"103","author":"J Mula","year":"2006","unstructured":"Mula, J., Poler, R., Garcia-Sabater, J., Lario, F.: Models for production planning under uncertainty: a review. IJPE 103(1), 271\u2013285 (2006)","journal-title":"IJPE"},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"Pavese, E., Braberman, V., Uchitel, S.: Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. In: Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, pp. 335\u2013344. ACM, New York","DOI":"10.1145\/1595696.1595760"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Perez-Palacin, D., Mirandola, R.: Uncertainties in the modeling of self-adaptive systems: a taxonomy and an example of availability evaluation. In: Proceedings of the 5th ACM\/SPEC International Conference on Performance Engineering. ACM, New York (2014)","DOI":"10.1145\/2568088.2568095"},{"key":"2_CR52","doi-asserted-by":"crossref","unstructured":"Ramirez, A., Jensen, A., Cheng, B.: A taxonomy of uncertainty for dynamically adaptive systems. In: Software Engineering for Adaptive and Self-Managing Systems (2012)","DOI":"10.1109\/SEAMS.2012.6224396"},{"issue":"11","key":"2_CR53","doi-asserted-by":"crossref","first-page":"1543","DOI":"10.1016\/j.envsoft.2007.02.004","volume":"22","author":"JC Refsgaard","year":"2007","unstructured":"Refsgaard, J.C., van der Sluijs, J.P., H\u00f8jberg, A.L., Vanrolleghem, P.A.: Uncertainty in the environmental modeling process - a framework and guidance. Environ. Model. Softw. 22(11), 1543\u20131556 (2007)","journal-title":"Environ. Model. Softw."},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"Shevtsov, S., Iftikhar, U., Weyns, D., SimCA vs ActivFORMS: comparing control- and architecture-based adaptation on the TAS exemplar. In: Control Theory and Software Engineering, CTSE 2015 (2015)","DOI":"10.1145\/2804337.2804338"},{"key":"2_CR55","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)","DOI":"10.1109\/ICSE.2013.6606552"},{"key":"2_CR56","unstructured":"Uttamchandani, S., Yin, L., Alvarez, G., Palmer, J., Agha, G.: CHAMELEON: a self-evolving, fully-adaptive resource arbitrator for storage systems. In: USENIX Technical Conference 2005 (2005)"},{"key":"2_CR57","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: 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 80\u201389 (2011)","DOI":"10.1145\/1988008.1988020"},{"key":"2_CR58","doi-asserted-by":"crossref","unstructured":"Vogel, T., Giese, H.: Model-driven engineering of self-adaptive software with EUREMA. ACM Trans. Auton. Adapt. Syst. 8(4), Article 18 (2014)","DOI":"10.1145\/2555612"},{"issue":"1","key":"2_CR59","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1076\/iaij.4.1.5.16466","volume":"4","author":"W Walker","year":"2003","unstructured":"Walker, W., Harremos, P., Romans, J., van der Sluus, J., van Asselt, M., Janssen, P., Krauss, M.: Defining uncertainty. a conceptual basis for uncertainty management in model-based decision support. Integr. Assess. 4(1), 5\u201317 (2003)","journal-title":"Integr. Assess."},{"key":"2_CR60","doi-asserted-by":"crossref","unstructured":"Weyns, D., Calinescu, R.: Tele assistance: a self-adaptive service-based system exemplar. In: Software Engineering for Adaptive and Self-Managing Systems (2015)","DOI":"10.1109\/SEAMS.2015.27"},{"key":"2_CR61","doi-asserted-by":"crossref","unstructured":"Weyns, D., Iftikhar, U.: Model-based simulation at runtime for self-adaptive systems. In: Models at Runtime (2016)","DOI":"10.1109\/ICAC.2016.67"},{"key":"2_CR62","doi-asserted-by":"crossref","unstructured":"Weyns, D.: Software engineering of self-adaptive systems: an organised tour and future challenges. In: Dick Taylor, R., Kang, K., Cha, S. (eds.) Handbook of Software Engineering, Springer (2018, forthcoming). https:\/\/people.cs.kuleuven.be\/danny.weyns\/papers\/2017HSE.pdf","DOI":"10.1007\/978-3-030-00262-6_11"},{"key":"2_CR63","doi-asserted-by":"crossref","unstructured":"Weyns, D., Iftikhar, M.U., de la Iglesia, D.G., Ahmad, T.: A survey of formal methods in self-adaptive systems. In: Fifth International C* Conference on Computer Science and Software Engineering, C3S2E 2012, pp. 67\u201379. ACM, New York (2012)","DOI":"10.1145\/2347583.2347592"},{"issue":"1","key":"2_CR64","first-page":"8","volume":"7","author":"D Weyns","year":"2012","unstructured":"Weyns, D., Malek, S., Andersson, J.: FORMS: unifying reference model for formal specification of distributed self-adaptive systems. ACM Trans. Auton. Adaptive Syst. TAAS 7(1), 8 (2012)","journal-title":"ACM Trans. Auton. Adaptive Syst. TAAS"},{"key":"2_CR65","doi-asserted-by":"crossref","unstructured":"Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H., Bruel, J.M.: Relax: incorporating uncertainty into the specification of self-adaptive systems. In: Requirements Engineering Conference (2009)","DOI":"10.1109\/RE.2009.36"},{"key":"2_CR66","doi-asserted-by":"crossref","unstructured":"Ye, C., Cheung, S.C., Chan, W.K.: Process evolution with atomicity consistency. In: Software Engineering of Adaptive and Self-Managing Systems, SEAMS 2007 (2007)","DOI":"10.1109\/SEAMS.2007.14"},{"issue":"9","key":"2_CR67","doi-asserted-by":"crossref","first-page":"1368","DOI":"10.1016\/j.ic.2006.05.002","volume":"204","author":"HLS Younes","year":"2006","unstructured":"Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with a focus on time-bounded properties. Inform. Comput. 204(9), 1368\u20131409 (2006)","journal-title":"Inform. Comput."},{"issue":"3","key":"2_CR68","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/s10009-005-0187-8","volume":"8","author":"HLS Younes","year":"2006","unstructured":"Younes, H.L.S., Kwiatkowska, M.Z., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking. STTT 8(3), 216\u2013228 (2006)","journal-title":"STTT"},{"key":"2_CR69","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1016\/j.jss.2006.02.062","volume":"79","author":"J Zhang","year":"2006","unstructured":"Zhang, J., Cheng, B.: Using temporal logic to specify adaptive program semantics. J. Syst. Softw. 79, 1361\u20131369 (2006)","journal-title":"J. Syst. Softw."},{"key":"2_CR70","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.: Model-based development of dynamically adaptive software. In: 28th International Conference on Software Engineering (2006)","DOI":"10.1145\/1134285.1134337"}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T09:01:17Z","timestamp":1570611677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74183-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319741826","9783319741833"],"references-count":70,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74183-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}