{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:12:50Z","timestamp":1743124370910,"version":"3.40.3"},"publisher-location":"London","reference-count":73,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781447122968"},{"type":"electronic","value":"9781447122975"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-1-4471-2297-5_12","type":"book-chapter","created":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T10:43:43Z","timestamp":1325414623000},"page":"253-275","source":"Crossref","is-referenced-by-count":4,"title":["Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Filieri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giordano","family":"Tamburrelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Alves, A., Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Sterling, K\u00f6nig, D., Mehta, V., Thatte, S., van\u00a0der Rijn, D., Yendluri, P., Yiu, A.: Web services business process execution language version\u00a02.0. OASIS Committee Draft (2006)"},{"key":"12_CR2","series-title":"LNCS","first-page":"1","volume-title":"4th International Conference on the Quality of Software-Architectures, QoSA 2008","author":"D. Ardagna","year":"2008","unstructured":"Ardagna, D., Ghezzi, C., Mirandola, R.: Rethinking the use of models in software architecture. In: 4th International Conference on the Quality of Software-Architectures, QoSA 2008. LNCS, vol. 5281, pp. 1\u201327. Springer, Berlin (2008)"},{"issue":"8","key":"12_CR3","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1016\/j.jss.2010.03.045","volume":"83","author":"D. Ardagna","year":"2010","unstructured":"Ardagna, D., Mirandola, R.: Per-flow optimal service selection for web services based processes. J. Syst. Softw. 83(8), 1512\u20131523 (2010)","journal-title":"J. Syst. Softw."},{"key":"12_CR4","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/3-540-60045-0_48","volume-title":"Proc. 7th International Conference on Computer Aided Verification, CAV 95","author":"A. Aziz","year":"1995","unstructured":"Aziz, A., Singhal, V., Balarin, F.: It usually works: the temporal logic of stochastic systems. In: Wolper, P. (ed.) Proc. 7th International Conference on Computer Aided Verification, CAV 95. LNCS, vol. 939, pp. 155\u2013165. Springer, Berlin (1995)"},{"key":"12_CR5","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-48320-9_12","volume-title":"Proc. 10th International Conference on Concurrency Theory, CONCUR 99","author":"C. Baier","year":"1999","unstructured":"Baier, C., Katoen, J.-P., Hermanns, H.: Approximate symbolic model checking of continuous-time Markov chains. In: Baeten, J.C.M., Mauw, S. (eds.) Proc. 10th International Conference on Concurrency Theory, CONCUR 99. LNCS, vol. 1664, pp. 146\u2013161. Springer, Berlin (1999)"},{"issue":"5","key":"12_CR6","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S. Balsamo","year":"2004","unstructured":"Balsamo, S., Di\u00a0Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: a survey. IEEE Trans. Softw. Eng. 30(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"12_CR7","doi-asserted-by":"publisher","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 Softw. 1(6), 219\u2013232 (2007)","journal-title":"IET Softw."},{"issue":"10","key":"12_CR8","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MC.2006.362","volume":"39","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Di\u00a0Nitto, E., Ghezzi, C.: Toward open-world software: issue and challenges. Computer 39(10), 36\u201343 (2006)","journal-title":"Computer"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/1035167.1035195","volume-title":"Proceedings of the 2nd International Conference on Service Oriented Computing, ICSOC \u201904","author":"L. Baresi","year":"2004","unstructured":"Baresi, L., Ghezzi, C., Guinea, S.: Smart monitors for composed services. In: Proceedings of the 2nd International Conference on Service Oriented Computing, ICSOC \u201904, pp. 193\u2013202. ACM, New York (2004)"},{"issue":"2","key":"12_CR10","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F. Baskett","year":"1975","unstructured":"Baskett, F., Chandy, K.M., Muntz, R.R., Palacios, F.G.: Open, closed, and mixed networks of queues with different classes of customers. J. ACM 22(2), 248\u2013260 (1975)","journal-title":"J. ACM"},{"key":"12_CR11","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11786160_10","volume-title":"Architecting Systems with Trustworthy Components","author":"S. Becker","year":"2006","unstructured":"Becker, S., Grunske, L., Mirandola, R., Overhage, S.: Performance prediction of component-based systems\u2014a survey from an engineering perspective. In: Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 169\u2013192. Springer, Berlin (2006)"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/1216993.1217006","volume-title":"WOSP \u201907: Proceedings of the 6th International Workshop on Software and Performance","author":"S. Becker","year":"2007","unstructured":"Becker, S., Koziolek, H., Reussner, R.: Model-based performance prediction with the Palladio component model. In: WOSP \u201907: Proceedings of the 6th International Workshop on Software and Performance, pp. 54\u201365. ACM, New York (2007)"},{"key":"12_CR13","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"736","DOI":"10.1007\/978-3-540-87875-9_51","volume-title":"Model Driven Engineering Languages and Systems, Proceedings 11th International Conference, MoDELS 2008","author":"S. Bernardi","year":"2008","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.: Adding dependability analysis capabilities to the MARTE profile. In: Model Driven Engineering Languages and Systems, Proceedings 11th International Conference, MoDELS 2008, Toulouse, France, September\u00a028\u2013October\u00a03, 2008. LNCS, vol. 5301, pp. 736\u2013750. Springer, Berlin (2008)"},{"key":"12_CR14","first-page":"3","volume-title":"Annual Simulation Symposium","author":"M. Bertoli","year":"2007","unstructured":"Bertoli, M., Casale, G., Serazzi, G.: The JMT simulator for performance evaluation of non-product-form queueing networks. In: Annual Simulation Symposium, pp. 3\u201310. IEEE Computer Society, Norfolk (2007)"},{"key":"12_CR15","doi-asserted-by":"publisher","DOI":"10.1002\/0471200581","volume-title":"Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications","author":"G. Bolch","year":"1998","unstructured":"Bolch, G., Greiner, S., de Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications. Wiley-Interscience, New York (1998)"},{"key":"12_CR16","volume-title":"The Mythical Man-Month: Essays on Software Engineering","author":"F.P. Brooks","year":"1975","unstructured":"Brooks, F.P.: The Mythical Man-Month: Essays on Software Engineering. Pearson Education, London (1975)"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-0-387-89828-5_1","volume-title":"Autonomic Computing and Networking","author":"R. Calinescu","year":"2009","unstructured":"Calinescu, R.: General-purpose autonomic computing. In: Denko, M.K., Yang, L.T., Zhang, Y. (eds.) Autonomic Computing and Networking, pp. 3\u201330. Springer, Berlin (2009)"},{"key":"12_CR18","first-page":"100","volume-title":"ICSE \u201909: Proceedings of the 31st International Conference on Software Engineering","author":"R. Calinescu","year":"2009","unstructured":"Calinescu, R., Kwiatkowska, M.: Using quantitative analysis to implement autonomic it systems. In: ICSE \u201909: Proceedings of the 31st International Conference on Software Engineering, pp. 100\u2013110. IEEE Computer Society, Washington (2009)"},{"issue":"10","key":"12_CR19","doi-asserted-by":"publisher","first-page":"1754","DOI":"10.1016\/j.jss.2007.12.792","volume":"81","author":"G. Canfora","year":"2008","unstructured":"Canfora, G., Di\u00a0Penta, M., Esposito, R., Villani, M.L.: A framework for QoS-aware binding and re-binding of composite web services. J. Syst. Softw. 81(10), 1754\u20131769 (2008)","journal-title":"J. Syst. Softw."},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-642-17322-6_21","volume-title":"Graph Transformations and Model-Driven Engineering","author":"M. Caporuscio","year":"2010","unstructured":"Caporuscio, M., Funaro, M., Ghezzi, C.: Architectural issues of adaptive pervasive systems. In: Graph Transformations and Model-Driven Engineering, pp. 492\u2013511 (2010)"},{"key":"12_CR21","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/1595696.1595718","volume-title":"Proceedings ESEC\/FSE 2009","author":"V. Cardellini","year":"2009","unstructured":"Cardellini, V., Casalicchio, E., Grassi, V., Lo\u00a0Presti, F., Mirandola, R.: QoS-driven runtime adaptation of service oriented architectures. In: Proceedings ESEC\/FSE 2009, pp. 131\u2013140. ACM, New York (2009)"},{"issue":"6","key":"12_CR22","doi-asserted-by":"publisher","first-page":"780","DOI":"10.1109\/TC.2008.37","volume":"57","author":"G. Casale","year":"2008","unstructured":"Casale, G., Muntz, R., Serazzi, G.: Geometric bounds: a noniterative analysis technique for closed queueing networks. IEEE Trans. Comput. 57(6), 780\u2013794 (2008)","journal-title":"IEEE Trans. Comput."},{"key":"12_CR23","first-page":"104","volume-title":"ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS \u201910","author":"L. Cavallaro","year":"2010","unstructured":"Cavallaro, L., Di\u00a0Nitto, E., Pelliccione, P., Pradella, M., Tivoli, M.: Synthesizing adapters for conversational web-services from their WSDL interface. In: ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS \u201910, pp. 104\u2013113. ACM, New York (2010)"},{"key":"12_CR24","first-page":"784","volume-title":"ICWS","author":"G. Chafle","year":"2007","unstructured":"Chafle, G., Doshi, P., Harney, J., Mittal, S., Srivastava, B.: Improved adaptation of web service compositions using value of changed information. In: ICWS, pp. 784\u2013791. IEEE Comput. Soc., Los Alamitos (2007)"},{"key":"12_CR25","series-title":"LNCS","volume-title":"Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]","year":"2009","unstructured":"Cheng, B., de Lemos, R., Giese, G., Inverardi, P., Magee, J. (eds.): Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]. LNCS, vol. 5525. Springer, Berlin (2009)"},{"key":"12_CR26","series-title":"LNCS","first-page":"132","volume-title":"7th Intern. School on Formal Methods, SFM","author":"A. Clark","year":"2007","unstructured":"Clark, A., Gilmore, S., Hillston, J., Tribastone, M.: Stochastic process algebras. In: 7th Intern. School on Formal Methods, SFM. LNCS, vol. 4486, pp. 132\u2013179. Springer, Berlin (2007)"},{"issue":"3\u20134","key":"12_CR27","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s10515-008-0032-x","volume":"15","author":"E. Di\u00a0Nitto","year":"2008","unstructured":"Di\u00a0Nitto, E., Ghezzi, C., Metzger, A., Papazoglou, M.P., Pohl, K.: A journey to highly dynamic, self-adaptive service-based applications. Autom. Softw. Eng. 15(3\u20134), 313\u2013341 (2008)","journal-title":"Autom. Softw. Eng."},{"key":"12_CR28","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/302405.302672","volume-title":"Proc. 21th International Conference on Software Engineering (ICSE99)","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, J.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: Proc. 21th International Conference on Software Engineering (ICSE99), pp. 411\u2013420. ACM, New York (1999)"},{"key":"12_CR29","first-page":"111","volume-title":"Proc. 31st International Conference on Software Engineering (ICSE09)","author":"I. Epifani","year":"2009","unstructured":"Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Model evolution by run-time parameter adaptation. In: Proc. 31st International Conference on Software Engineering (ICSE09), pp.\u00a0111\u2013121. IEEE Comput. Soc., Los Alamitos (2009)"},{"key":"12_CR30","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/1985793.1985840","volume-title":"ICSE","author":"A. Filieri","year":"2011","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: Taylor, R.N., Gall, H., Medvidovic, N. (eds.) ICSE, pp. 341\u2013350 (2011)"},{"key":"12_CR31","series-title":"LNCS","volume-title":"QoSA, Quality of Software Architecture","author":"S. Gallotti","year":"2008","unstructured":"Gallotti, S., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Quality prediction of service compositions through probabilistic model checking. In: QoSA, Quality of Software Architecture. LNCS. Springer, Berlin (2008)"},{"issue":"10","key":"12_CR32","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2004.175","volume":"37","author":"D. Garlan","year":"2004","unstructured":"Garlan, D., Cheng, S.-W., Huang, A.C., Schmerl, B., Steenkiste, P.: Rainbow: architecture-based self-adaptation with reusable infrastructure. IEEE Comput. 37(10), 46\u201354 (2004)","journal-title":"IEEE Comput."},{"key":"12_CR33","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-72912-9_9","volume-title":"Test and Analysis of Web Services","author":"C. Ghezzi","year":"2007","unstructured":"Ghezzi, C., Guinea, S.: Run-time monitoring in service-oriented architectures. In: Test and Analysis of Web Services, pp. 237\u2013264. Springer, Berlin (2007)"},{"key":"12_CR34","first-page":"68","volume-title":"Research into Practice\u2014Reality and Gaps, 6th International Conference on the Quality of Software Architectures, QoSA 2010","author":"C. Ghezzi","year":"2010","unstructured":"Ghezzi, C., Motta, A., Manna, V.P.L., Tamburrelli, G.: QoS driven dynamic binding in-the-many. In: Heineman, G.T., Kofron, J., Plasil, F. (eds.) Research into Practice\u2014Reality and Gaps, 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23\u201325, 2010, pp. 68\u201383. Springer, Berlin (2010)"},{"key":"12_CR35","volume-title":"RE \u201909: Proceedings of the 17th International Conference on Requirements Engineering","author":"C. Ghezzi","year":"2009","unstructured":"Ghezzi, C., Tamburrelli, G.: Reasoning on non-functional requirements for integrated services. In: RE \u201909: Proceedings of the 17th International Conference on Requirements Engineering, Atlanta, USA (2009)"},{"key":"12_CR36","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/11556169_13","volume-title":"Workshop on Architecting Dependable Systems, WADS","author":"V. Grassi","year":"2004","unstructured":"Grassi, V.: Architecture-based reliability prediction for service-oriented computing. In: Workshop on Architecting Dependable Systems, WADS. LNCS, vol. 3549, pp. 279\u2013299. Springer, Berlin (2004)"},{"issue":"2","key":"12_CR37","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.entcs.2005.10.035","volume":"153","author":"V. Gruhn","year":"2006","unstructured":"Gruhn, V., Laue, R.: Patterns for timed property specifications. Electron. Notes Theor. Comput. Sci. 153(2), 117\u2013133 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"12_CR38","first-page":"31","volume-title":"30th International Conference on Software Engineering (ICSE 2008)","author":"L. Grunske","year":"2008","unstructured":"Grunske, L.: Specification patterns for probabilistic quality properties. In: Robbie (ed.) 30th International Conference on Software Engineering (ICSE 2008), pp. 31\u201340. ACM, New York (2008)"},{"key":"12_CR39","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1109\/ICWS.2007.41","volume-title":"IEEE International Conference on Web Services (ICWS 2007)","author":"H. Guo","year":"2007","unstructured":"Guo, H., Huai, J., Li, H., Deng, T., Li, Y., Du, Z.: ANGEL: optimal configuration for high available service composition. In: IEEE International Conference on Web Services (ICWS 2007), pp. 280\u2013287. IEEE Comput. Soc., Los Alamitos (2007)"},{"issue":"5","key":"12_CR40","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Form. Asp. Comput. 6(5), 512\u2013535 (1994)","journal-title":"Form. Asp. Comput."},{"key":"12_CR41","first-page":"1023","volume-title":"World Wide Web (WWW)","author":"J. Harney","year":"2007","unstructured":"Harney, J., Doshi, P.: Speeding up adaptation of web service compositions using expiration times. In: World Wide Web (WWW), pp. 1023\u20131032. ACM, New York (2007)"},{"key":"12_CR42","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201906)","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: Prism: a tool for automatic verification of probabilistic systems. In: Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201906), vol.\u00a03920, pp.\u00a0441\u2013444 (2006)"},{"issue":"1","key":"12_CR43","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s10270-006-0040-x","volume":"7","author":"A. Immonen","year":"2008","unstructured":"Immonen, A., Niemel\u00e4, E.: Survey of reliability and availability prediction methods from the viewpoint of software architecture. Softw. Syst. Model. 7(1), 49\u201365 (2008)","journal-title":"Softw. Syst. Model."},{"key":"12_CR44","volume-title":"The Art of Computer Systems Performance Analysis\u2014Techniques for Experimental Design, Measurement, Simulation, and Modeling","author":"R. Jain","year":"1991","unstructured":"Jain, R.: The Art of Computer Systems Performance Analysis\u2014Techniques for Experimental Design, Measurement, Simulation, and Modeling. Wiley-Interscience, New York (1991)"},{"key":"12_CR45","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-71209-1_9","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems TACAS 2007, Proceedings","author":"J.-P. Katoen","year":"2007","unstructured":"Katoen, J.-P., Kemna, T., Zapreev, I.S., Jansen, D.N.: Bisimulation minimisation mostly speeds up probabilistic model checking. In: Grumberg, O., Huth, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems TACAS 2007, Proceedings. LNCS, vol. 4424, pp. 87\u2013101. Springer, Berlin (2007)"},{"key":"12_CR46","first-page":"243","volume-title":"QEST","author":"J.-P. Katoen","year":"2005","unstructured":"Katoen, J.-P., Khattri, M., Zapreev, I.S.: A Markov reward model checker. In: QEST, pp. 243\u2013244. IEEE Comput. Soc., Los Alamitos (2005)"},{"issue":"1","key":"12_CR47","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. 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."},{"issue":"1","key":"12_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0166-5316(86)90002-7","volume":"6","author":"T. Kerola","year":"1986","unstructured":"Kerola, T.: The composite bound method for computing throughput bounds in multiple class environments. Perform. Eval. 6(1), 1\u20139 (1986)","journal-title":"Perform. Eval."},{"key":"12_CR49","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/1062455.1062526","volume-title":"27th International Conference on Software Engineering (ICSE 05)","author":"S. Konrad","year":"2005","unstructured":"Konrad, S., Cheng, B.: Real-time specification patterns. In: Roman, G.-C., Griswold, W.G., Nuseibeh, B. (eds.) 27th International Conference on Software Engineering (ICSE 05), pp. 372\u2013381. ACM, New York (2005)"},{"key":"12_CR50","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/32.60317","volume":"16","author":"J. Kramer","year":"1990","unstructured":"Kramer, J., Magee, J.: The evolving philosophers problem: dynamic change management. IEEE Trans. Softw. Eng. 16, 1293\u20131306 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR51","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1145\/1287624.1287688","volume-title":"6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE)","author":"M. Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M.: Quantitative verification: models, techniques and tools. In: 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE), pp. 449\u2013458. ACM Press, New York (2007)"},{"issue":"2","key":"12_CR52","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","volume":"6","author":"M.Z. Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: a hybrid approach. Int. J. Softw. Tools Technol. Transf. 6(2), 128\u2013142 (2004)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"12_CR53","series-title":"LNCS","first-page":"234","volume-title":"Computer Aided Verification, Proceedings 18th International Conference, CAV 2006","author":"M.Z. Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Symmetry reduction for probabilistic model checking. In: Ball, T., Jones, R.B. (eds.) Computer Aided Verification, Proceedings 18th International Conference, CAV 2006. LNCS, vol. 4144, pp. 234\u2013248. Springer, Berlin (2006)"},{"issue":"1","key":"12_CR54","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10703-006-0005-2","volume":"29","author":"M.Z. Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D., Sproston, J.: Performance analysis of probabilistic timed automata using digital clocks. Form. Methods Syst. Des. 29(1), 33\u201378 (2006)","journal-title":"Form. Methods Syst. Des."},{"key":"12_CR55","volume-title":"Quantitative System Performance: Computer System Analysis Using Queueig Network Models","author":"E.D. Lazowska","year":"1984","unstructured":"Lazowska, E.D., Zahorjan, J., Graham, G.S., Sevcik, K.C.: Quantitative System Performance: Computer System Analysis Using Queueig Network Models. Prentice Hall, New York (1984)"},{"issue":"10","key":"12_CR56","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MC.2009.336","volume":"42","author":"S. Maoz","year":"2009","unstructured":"Maoz, S.: Using model-based traces as runtime models. IEEE Comput. 42(10), 28\u201336 (2009)","journal-title":"IEEE Comput."},{"key":"12_CR57","first-page":"1","volume-title":"Advances in Petri Nets","author":"M.A. Marsan","year":"1989","unstructured":"Marsan, M.A.: Stochastic petri nets: an elementary introduction. In: Advances in Petri Nets, pp. 1\u201329. Springer, Berlin (1989)"},{"key":"12_CR58","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/1712605.1712624","volume-title":"1st Joint WOSP\/SIPEW International Conference on Performance Engineering","author":"A. Martens","year":"2010","unstructured":"Martens, A., Koziolek, H., Becker, S., Reussner, R.: Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms. In: 1st Joint WOSP\/SIPEW International Conference on Performance Engineering, pp. 105\u2013116. ACM, New York (2010)"},{"key":"12_CR59","series-title":"LNCS","first-page":"51","volume-title":"Computer Performance Engineering\u2014Proceedings 7th European Performance Engineering Workshop, EPEW 2010","author":"M. Marzolla","year":"2010","unstructured":"Marzolla, M., Mirandola, R.: Performance aware reconfiguration of software systems. In: Computer Performance Engineering\u2014Proceedings 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23\u201324, 2010. LNCS, vol. 6342, pp. 51\u201366. Springer, Berlin (2010)"},{"key":"12_CR60","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/1712605.1712612","volume-title":"Proc. First Joint WOSP\/SIPEW Int. Conf. on Performance Engineering","author":"D.A. Menasc\u00e9","year":"2010","unstructured":"Menasc\u00e9, D.A., Ewing, J.M., Gomaa, H., Malek, S., Sousa, J.P.: A framework for utility-based service oriented design in sassy. In: Proc. First Joint WOSP\/SIPEW Int. Conf. on Performance Engineering, pp. 27\u201336. ACM, New York (2010)"},{"issue":"10","key":"12_CR61","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MC.2009.327","volume":"42","author":"B. Morin","year":"2009","unstructured":"Morin, B., Barais, O., J\u00e9z\u00e9quel, J.-M., Fleurey, F., Solberg, A.: Models@ run.time to support dynamic adaptation. IEEE Comput. 42(10), 44\u201351 (2009)","journal-title":"IEEE Comput."},{"key":"12_CR62","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes","author":"M.L. Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes. Wiley, New York (1994)"},{"key":"12_CR63","first-page":"170","volume-title":"SIGSOFT FSE","author":"F. Raimondi","year":"2008","unstructured":"Raimondi, F., Skene, J., Emmerich, W.: Efficient online monitoring of web-service slas. In: SIGSOFT FSE, pp. 170\u2013180. ACM, New York (2008)"},{"key":"12_CR64","volume-title":"Stochastic Processes","author":"S.M. Ross","year":"1996","unstructured":"Ross, S.M.: Stochastic Processes. Wiley, New York (1996)"},{"key":"12_CR65","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1109\/EASe.2009.11","volume-title":"EASE \u201909: Proc. Sixth IEEE Conf. and Workshops on Engineering of Autonomic and Autonomous Systems","author":"M. Salehie","year":"2009","unstructured":"Salehie, M., Li, S., Asadollahi, R., Tahvildari, L.: Change support in adaptive software: a case study for fine-grained adaptation. In: EASE \u201909: Proc. Sixth IEEE Conf. and Workshops on Engineering of Autonomic and Autonomous Systems, pp. 35\u201344. IEEE Comput. Soc., Washington (2009)"},{"key":"12_CR66","series-title":"LNCS","first-page":"107","volume-title":"ICSOC","author":"N. Sato","year":"2007","unstructured":"Sato, N., Trivedi, K.S.: Stochastic modeling of composite web services for closed-form analysis of their performance and reliability bottlenecks. In: ICSOC. LNCS, vol. 4749, pp. 107\u2013118. Springer, Berlin (2007)"},{"key":"12_CR67","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11513988_26","volume-title":"Computer Aided Verification","author":"K. Sen","year":"2005","unstructured":"Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic systems. In: Etessami, K., Rajamani, S.K. (eds.) Computer Aided Verification. LNCS, vol.\u00a03576, pp.\u00a0266\u2013280. Springer, Berlin (2005)"},{"key":"12_CR68","first-page":"171","volume-title":"WICSA\/ECSA","author":"R.N. Taylor","year":"2009","unstructured":"Taylor, R.N., Medvidovic, N., Oreizy, P.: Architectural styles for runtime software adaptation. In: WICSA\/ECSA, pp. 171\u2013180. IEEE Press, New York (2009)"},{"issue":"12","key":"12_CR69","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1109\/TSE.2007.70733","volume":"33","author":"Y. Vandewoude","year":"2007","unstructured":"Vandewoude, Y., Ebraert, P., Berbers, Y., D\u2019Hondt, T.: Tranquility: a low disruptive alternative to quiescence for ensuring safe dynamic updates. IEEE Trans. Softw. Eng. 33(12), 856\u2013868 (2007)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR70","series-title":"LNCS","first-page":"141","volume-title":"Proceedings of the 5th European Performance Engineering Workshop, EPEW 2008","author":"L. Wang","year":"2008","unstructured":"Wang, L., Dingle, N.J., Knottenbelt, W.J.: Natural language specification of performance trees. In: Thomas, N., Juiz, C. (eds.) Proceedings of the 5th European Performance Engineering Workshop, EPEW 2008. LNCS, vol. 5261, pp. 141\u2013151 (2008)"},{"key":"12_CR71","volume-title":"International Workshops on Software and Performance","author":"WOSP","year":"1998\u20132008","unstructured":"WOSP International Workshops on Software and Performance. ACM, New York (1998\u20132008)"},{"issue":"5","key":"12_CR72","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1109\/TSE.2004.11","volume":"30","author":"L. Zeng","year":"2004","unstructured":"Zeng, L., Benatallah, B., Ngu, A.H., Dumas, M., Kalagnanam, J., Chang, H.: QoS-aware middleware for web services composition. IEEE Trans. Softw. Eng. 30(5), 311\u2013327 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"12_CR73","doi-asserted-by":"publisher","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. Softw. Eng. 34(3), 391\u2013406 (2008)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Conquering Complexity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-2297-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T20:27:36Z","timestamp":1676752056000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-2297-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9781447122968","9781447122975"],"references-count":73,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-2297-5_12","relation":{},"subject":[],"published":{"date-parts":[[2012]]}}}