{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T16:02:39Z","timestamp":1774368159811,"version":"3.50.1"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2013,3,14]],"date-time":"2013-03-14T00:00:00Z","timestamp":1363219200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1007\/s00607-013-0311-7","type":"journal-article","created":{"date-parts":[[2013,3,13]],"date-time":"2013-03-13T08:06:22Z","timestamp":1363161982000},"page":"689-722","source":"Crossref","is-referenced-by-count":17,"title":["Architecture-based resilience evaluation for self-adaptive systems"],"prefix":"10.1007","volume":"95","author":[{"given":"Javier","family":"C\u00e1mara","sequence":"first","affiliation":[]},{"given":"Rog\u00e9rio","family":"de Lemos","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Vieira","sequence":"additional","affiliation":[]},{"given":"Raquel","family":"Almeida","sequence":"additional","affiliation":[]},{"given":"Rafael","family":"Ventura","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,3,14]]},"reference":[{"key":"311_CR1","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/226241.226244","volume":"4","author":"G Abowd","year":"1993","unstructured":"Abowd G, Allen R, Garlan D (1993) Using style to understand descriptions of software architecture. ACM Trans Softw Eng Methodol 4:319\u2013364","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"311_CR2","doi-asserted-by":"crossref","unstructured":"Almeida R, Vieira M (2012) Changeloads for resilience benchmarking of self-adaptive systems: a risk-based approach. In: Proceedings of EDCC","DOI":"10.1109\/EDCC.2012.30"},{"key":"311_CR3","unstructured":"Andova S, Hermanns H, Katoen J-P (2003) Discrete-time rewards model-checked. In: FORMATS of Lecture Notes in Computer Science, vol 2791, Springer, Berlin, pp 88\u2013104"},{"key":"311_CR4","unstructured":"Baier C, Katoen J-P (2008) Principles of Model Checking. MIT Press, Cambridge"},{"issue":"3","key":"311_CR5","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 MZ, Mirandola R, Tamburrelli G (2011) Dynamic QoS management and optimization in service-based systems. IEEE Trans Softw Eng 37(3):387\u2013409","journal-title":"IEEE Trans Softw Eng"},{"key":"311_CR6","doi-asserted-by":"crossref","unstructured":"Calinescu R, Kwiatkowska MZ (2009) Using Quantitative Analysis to Implement Autonomic IT Systems. In: ICSE. Institute of Electrical and Electronics Engineers, MN, pp 100\u2013110","DOI":"10.1109\/ICSE.2009.5070512"},{"key":"311_CR7","unstructured":"C\u00e1mara J, de Lemos R (2012) Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking. In: Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), IEEE, pp 53\u201362"},{"key":"311_CR8","doi-asserted-by":"crossref","unstructured":"Cheng BHC, et al. (2009) Software Engineering for Self-Adaptive Systems: a Research Roadmap. In: SEfSAS of LNCS, vol 5525, Springer, Berlin, pp 1\u201326","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"311_CR9","unstructured":"Cheng S-W (2008) Rainbow: Cost-Effective Software Architecture-Based Self-Adaptation. PhD thesis, Carnegie Mellon University, Pittsburgh"},{"key":"311_CR10","unstructured":"Cheng S-W, Garlan D, Schmerl BR (2009) Evaluating the Effectiveness of the Rainbow Self-Adaptive System. In: SEAMS, IEEE, Pittsburgh, pp 132\u2013141"},{"key":"311_CR11","unstructured":"de Lemos R et al (2011) Software Engineering for Self-Adaptive Systems: a second Research Roadmap. In: de Lemos R, Giese H, M\u00fcller H, Shaw M (eds) Software Engineering for Self-Adaptive Systems, number 10431 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany"},{"key":"311_CR12","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Avrunin GS, Corbett JC (1999) Patterns in Property Specifications for Finite-State Verification. In: ICSE, Cobleigh, pp 411\u2013420","DOI":"10.1145\/302405.302672"},{"key":"311_CR13","doi-asserted-by":"crossref","unstructured":"Epifani I, Ghezzi C, Mirandola R, Tamburrelli G (2009) Model Evolution by Run-Time Parameter Adaptation. In: ICSE,IEEE CS, Cobleigh, pp 111\u2013121","DOI":"10.1109\/ICSE.2009.5070513"},{"issue":"10","key":"311_CR14","doi-asserted-by":"crossref","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 BR, Steenkiste P (2004) Rainbow: architecture-based self-adaptation with reusable infrastructure. IEEE Comput 37(10):46\u201354","journal-title":"IEEE Comput"},{"key":"311_CR15","unstructured":"Garlan D, Monroe RT, Wile D (2000) Acme: architectural description of component-based systems. In: Leavens GT, Sitaraman M (eds) Foundations of Component-Based Systems, chapter 3, Cambridge University Press, Cambridge, pp 47\u201367"},{"key":"311_CR16","volume-title":"Benchmark Handbook: For Database and Transaction Processing Systems","author":"J Gray","year":"1992","unstructured":"Gray J (1992) Benchmark Handbook: For Database and Transaction Processing Systems. Morgan Kaufmann Publishers Inc., San Francisco"},{"key":"311_CR17","doi-asserted-by":"crossref","unstructured":"Grunske L (2008) Specification Patterns for Probabilistic Quality Properties. In: ICSE, ACM, Hawthorn, pp 31\u201340","DOI":"10.1145\/1368088.1368094"},{"key":"311_CR18","doi-asserted-by":"crossref","unstructured":"Kanoun K, Spainhower L (2008) Dependability Benchmarking for Computer Systems. Wiley-IEEE Computer Society Pr, Wiley","DOI":"10.1002\/9780470370506"},{"key":"311_CR19","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart JO, Chess DM (2003) The vision of autonomic computing. Computer 36:41\u201350","journal-title":"Computer"},{"key":"311_CR20","doi-asserted-by":"crossref","unstructured":"Kwiatkowska M, Norman G, Parker D (2007) Stochastic model checking. Lecture notes in computer science. Springer, Berlin","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"311_CR21","unstructured":"Laprie J-C (2008) From Dependability to Resilience. In: DSN Fast Abstracts, IEEE CS, New York"},{"key":"311_CR22","unstructured":"Madeira H (2005) Towards a security benchmark for database management systems. In: Proceedings of the 2005 International Conference on Dependable Systems and Networks, DSN \u201905, IEEE Computer Society, Washington, pp 592\u2013601"},{"key":"311_CR23","doi-asserted-by":"crossref","unstructured":"Oreizy P, Gorlick MM, Taylor RN, Heimbigner D, Johnson G, Medvidovic N, Quilici A, Rosenblum DS, Wolf AL (1999) An architecture-based approach to self-adaptive software. IEEE Intel Syst 14: 54\u201362","DOI":"10.1109\/5254.769885"},{"key":"311_CR24","unstructured":"Shaw M, Garlan D (1996) Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Indiana"},{"key":"311_CR25","unstructured":"Williams R, Pandelios G, Behrens S (1999) Software Risk Evaluation (SRE) Method Description: Version 2.0. Technical report. Carnegie Mellon University, Software Engineering Institute, Pittsburgh"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-013-0311-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-013-0311-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-013-0311-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T23:09:17Z","timestamp":1562800157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-013-0311-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,14]]},"references-count":25,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["311"],"URL":"https:\/\/doi.org\/10.1007\/s00607-013-0311-7","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,14]]}}}