{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:44:06Z","timestamp":1725626646389},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642251054"},{"type":"electronic","value":"9783642251061"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25106-1_10","type":"book-chapter","created":{"date-parts":[[2011,10,29]],"date-time":"2011-10-29T06:34:55Z","timestamp":1319870095000},"page":"560-576","source":"Crossref","is-referenced-by-count":3,"title":["Towards Pattern-Based Reliability Certification of Services"],"prefix":"10.1007","author":[{"given":"Ingrid","family":"Buckley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo B.","family":"Fernandez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Anisetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio A.","family":"Ardagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masoud","family":"Sadjadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Anisetti, M., Ardagna, C.A., Damiani, E.: Fine-grained modeling of web services for test-based security certification. In: Proc. of the 8th International Conference on Service Computing (SCC 2011), Washington, DC, USA (July 2011)","DOI":"10.1109\/SCC.2011.27"},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jss.2008.03.066","volume":"82","author":"S. Becker","year":"2009","unstructured":"Becker, S., Koziolek, K., Reussner, R.: The palladio component model for model-driven performance prediction. Journal of Systems and Software (JSS)\u00a082(1), 3\u201322 (2009)","journal-title":"Journal of Systems and Software (JSS)"},{"issue":"3","key":"10_CR3","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s10270-009-0128-1","volume":"10","author":"S. Bernardi","year":"2009","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.: A dependability profile within marte. Journal of Software and Systems Modeling\u00a010(3), 313\u2013336 (2009)","journal-title":"Journal of Software and Systems Modeling"},{"key":"10_CR4","unstructured":"Buckley, I., Fernandez, E., Rossi, G., Sadjadi, M.: Web services reliability patterns. In: Proc. of the 21st International Conference on Software Engineering and Knowledge Engineering (SEKE 2009), Boston, MA, USA (July 2009), short paper"},{"key":"10_CR5","unstructured":"Buckley, I., Fernandez, E.: Three patterns for fault tolerance. In: Proc. of the International Workshop OOPSLA MiniPLoP, Orlando, FL, USA (October 2009)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Cardellini, V., Casalicchio, E., Grassi, V., Presti, F.L., Mirandola, R.: Towards self-adaptation for dependable service-oriented systems. In: Proc. of the Workshop on Architecting Dependable Systems (WADS 2008), Anchorage, AK, USA (June 2009)","DOI":"10.1007\/978-3-642-10248-6_2"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Challagulla, V., Bastani, F., Paul, R., Tsai, W., Yinong Chen, Y.: A machine learning-based reliability assessment model for critical software systems. In: Proc. of the 31st Annual International Computer Software and Applications Conference (COMPSAC), Beijing, China (July 2007)","DOI":"10.1109\/COMPSAC.2007.26"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-0-387-88735-7_11","volume-title":"Machine Learning in Cyber Trust: Reliability, Security, Privacy","author":"V. Challagulla","year":"2009","unstructured":"Challagulla, V., Bastani, F., Yen, I.L.: High-confidence compositional reliability assessment of soa-based systems using machine learning techniques. In: Tsai, J., Yu, P. (eds.) Machine Learning in Cyber Trust: Reliability, Security, Privacy, pp. 279\u2013322. Springer, Heidelberg (2009)"},{"key":"10_CR9","first-page":"339","volume-title":"Reliability Modeling and Analysis of Service-Oriented Architectures","author":"V. Cortellessa","year":"2007","unstructured":"Cortellessa, V., Grassi, V.: Test and analysis of web services. In: Baresi, L. (ed.) Reliability Modeling and Analysis of Service-Oriented Architectures, vol.\u00a0154, pp. 339\u2013362. Springer, Heidelberg (2007)"},{"key":"10_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-77324-7","volume-title":"Open source systems security certification","author":"E. Damiani","year":"2009","unstructured":"Damiani, E., Ardagna, C.A., El Ioini, N.: Open source systems security certification. Springer, New York (2009)"},{"issue":"3","key":"10_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/MIC.2006.64","volume":"10","author":"V. Grassi","year":"2006","unstructured":"Grassi, V., Patella, S.: Reliability prediction for service-oriented computing environments. IEEE Internet Computing\u00a010(3), 43\u201349 (2006)","journal-title":"IEEE Internet Computing"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Herrmann, D.: Using the Common Criteria for IT security evaluation. Auerbach Publications (2002)","DOI":"10.1201\/9781420031423"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-69149-5_25","volume-title":"Verified Software: Theories, Tools, Experiments","author":"G.J. Holzmann","year":"2008","unstructured":"Holzmann, G.J., Joshi, R.: Reliable Software Systems Design: Defect Prevention, Detection, and Containment. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol.\u00a04171, pp. 237\u2013244. Springer, Heidelberg (2008)"},{"issue":"9","key":"10_CR14","doi-asserted-by":"publisher","first-page":"1238","DOI":"10.1109\/TC.2009.31","volume":"58","author":"S. Iyer","year":"2009","unstructured":"Iyer, S., Nakayama, M., Gerbessiotis, A.: A markovian dependability model with cascading failures. IEEE Transactions on Computers\u00a058(9), 1238\u20131249 (2009)","journal-title":"IEEE Transactions on Computers"},{"key":"10_CR15","unstructured":"Koopman, P.: Toward a scalable method for quantifying aspects of fault tolerance, software assurance, and computer security. In: Proc. of the Computer Security, Dependability, and Assurance: From Needs to Solutions (CSDA 1998), York, U.K (July 1998)"},{"key":"10_CR16","unstructured":"Kopp, C.: System reliability and metrics of reliability, \n                    \n                      http:\/\/www.ausairpower.net\/Reliability-PHA.pdf\n                    \n                    \n                   (accessed in date July 2011)"},{"key":"10_CR17","unstructured":"Lyu, M.: Handbook of Software Reliability Engineering. McGraw-Hill (1995)"},{"key":"10_CR18","unstructured":"Microsoft: Using Reliability Monitor, http:\/\/technet.microsoft.com\/en-us\/library\/cc722107(WS.10).aspx (accessed in date July 2011)"},{"key":"10_CR19","series-title":"NATO ASI Series F: Computer and Systems Sciences","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/978-3-662-03274-9_24","volume-title":"Reliability and Maintenance of Complex Systems","author":"J. Muppala","year":"1996","unstructured":"Muppala, J., Malhotra, M., Trivedi, K.: Markov dependability models of complex systems: Analysis techniques. In: Ozekici, S. (ed.) Reliability and Maintenance of Complex Systems. NATO ASI Series F: Computer and Systems Sciences, vol.\u00a0154, pp. 442\u2013486. Springer, Berlin (1996)"},{"issue":"4","key":"10_CR20","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/s10270-008-0084-1","volume":"7","author":"S. Mustafiz","year":"2008","unstructured":"Mustafiz, S., Sun, X., Kienzle, J., Vangheluwe, H.: Model-driven assessment of system dependability. Journal of Software and Systems Modeling\u00a07(4), 487\u2013502 (2008)","journal-title":"Journal of Software and Systems Modeling"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"O\u2019Brien, L., Merson, P., Bass, L.: Quality attributes for service-oriented architectures. In: Proc. of the IEEE International Workshop on Systems Development in SOA Environments (SDSOA 2007), Minneapolis, MN, USA (June 2007)","DOI":"10.1109\/SDSOA.2007.10"},{"key":"10_CR22","unstructured":"Pan, J.: Software reliability.18-849b dependable embedded systems. Tech. rep., Carnegie Mellon University, \n                    \n                      http:\/\/www.ece.cmu.edu\/~koopman\/des_s99\/sw_reliability\/\n                    \n                    \n                   (accessed in date July 2011)"},{"key":"10_CR23","unstructured":"Saridakis, T.: A system of patterns for fault tolerance. In: Proc. of the EuroPLoP Conference, Kloster Irsee, Germany (2002)"},{"key":"10_CR24","unstructured":"Saridakis, T.: Design patterns for fault containment. In: Proc. of the EuroPLoP Conference, Kloster Irsee, Germany (2003)"},{"key":"10_CR25","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-0-387-88775-3_13","volume-title":"Security and Dependability for Ambient Intelligence","author":"G. Spanoudakis","year":"2009","unstructured":"Spanoudakis, G., Kloukinas, C., Mahbub, K.: The serenity runtime monitoring framework. In: Spanoudakis, G., Kokolakis, S. (eds.) Security and Dependability for Ambient Intelligence, pp. 213\u2013238. Springer, Heidelberg (2009)"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Tsai, W., Paul, R., Cao, Z., Yu, L., Saimi, A., Xiao, B.: Verification of Web services using an enhanced UDDI server. In: Proc. of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), Guadalajara, Mexico (January 2003)","DOI":"10.1109\/WORDS.2003.1218075"},{"key":"10_CR27","unstructured":"Walter, M., Schneeweiss, W.: The modeling world of reliabiliy of reliability\/safety engineering. LiLoLe Verlag (2005)"},{"key":"10_CR28","unstructured":"Walter, M., Trinitis, C.: Automatic generation of state-based dependability models: from availability to safety. In: Proc. of the 20th International Conference Architecture of Computing Systems (ARCS 2007), Zurich, Switzerland (March 2007)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25106-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T12:40:00Z","timestamp":1555245600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25106-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642251054","9783642251061"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25106-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}