{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:56:44Z","timestamp":1725890204642},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642241239"},{"type":"electronic","value":"9783642241246"}],"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-24124-6_7","type":"book-chapter","created":{"date-parts":[[2011,9,24]],"date-time":"2011-09-24T05:31:37Z","timestamp":1316842297000},"page":"78-92","source":"Crossref","is-referenced-by-count":3,"title":["On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Masci","sequence":"first","affiliation":[]},{"given":"Nicola","family":"Nostro","sequence":"additional","affiliation":[]},{"given":"Felicita","family":"Di Giandomenico","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Connect: Emergent connectors for Eternal Software Intensive Networked Systems (2009-2013), http:\/\/connect-forever.eu\/"},{"key":"7_CR2","unstructured":"Akamai Technologies, Inc. Akamai sureroute for failover and performance (2003)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/502059.502048","volume":"35","author":"D. Andersen","year":"2001","unstructured":"Andersen, D., Balakrishnan, H., Kaashoek, F., Morris, R.: Resilient overlay networks. SIGOPS Oper. Syst. Rev.\u00a035, 131\u2013145 (2001)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"7_CR4","unstructured":"Andersen, D.G.: Mayday: Distributed Filtering for Internet Services. In: 4th Usenix Symposium on Internet Technologies and Systems, Seattle, WA (March 2003)"},{"issue":"5","key":"7_CR5","first-page":"265","volume":"16","author":"A. Bondavalli","year":"2001","unstructured":"Bondavalli, A., Cin, M.D., Latella, D., Majzik, I., Pataricza, A., Savoia, G.: Dependability analysis in the early phases of uml-based system design. Language\u00a016(5), 265\u2013275 (2001)","journal-title":"Language"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Braden, R.T.: RFC 1122: Requirements for Internet hosts\u2014communication layers (October 1989)","DOI":"10.17487\/rfc1122"},{"key":"7_CR7","first-page":"181","volume-title":"ACSD 2009","author":"J. Carmona","year":"2009","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: Genet: A tool for the synthesis and mining of petri nets. In: ACSD 2009, pp. 181\u2013185. IEEE Computer Society, Washington, DC, USA (2009)"},{"key":"7_CR8","unstructured":"CONNECT Consortium. Deliverable D5.2 \u2013 Dependability Assurance (available soon) (2011)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Csertan, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varro, D., Varr\u00f3, D.: Viatra - visual automated transformations for formal verification and validation of uml models. In: 17th IEEE International Conference on Automated Software Engineering (ASE 2002), pp. 267\u2013270 (2002)","DOI":"10.1109\/ASE.2002.1115027"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/3-540-46429-8_25","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"D. Daly","year":"2000","unstructured":"Daly, D., Deavours, D.D., Doyle, J.M., Webster, P.G., Sanders, W.H.: M\u00f6bius: An extensible tool for performance and dependability modeling. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, pp. 332\u2013336. Springer, Heidelberg (2000)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Keromytis, A.D., Misra, V., Rubenstein, D.: Sos: Secure overlay services. In: Proceedings of ACM SIGCOMM, pp. 61\u201372 (2002)","DOI":"10.1145\/633025.633032"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Kurian, J., Sarac, K.: A survey on the design, applications, and enhancements of application-layer overlay networks. ACM Comput. Surv.\u00a043, 5:1\u20135:34 (2010)","DOI":"10.1145\/1824795.1824800"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Masci, P., Martinucci, M., Di Giandomenico, F.: Towards automated dependability analysis of dynamically connected systems. In: Proc. 10th Intl. Symposium On Autonomous Decentralised Systems, ISADS 2011 (2011)","DOI":"10.1109\/ISADS.2011.23"},{"issue":"4","key":"7_CR14","first-page":"303","volume":"8","author":"A. Movaghar","year":"2001","unstructured":"Movaghar, A.: Stochastic activity networks: a new definition and some properties. Scientia Iranica\u00a08(4), 303\u2013311 (2001)","journal-title":"Scientia Iranica"},{"key":"7_CR15","unstructured":"Movaghar, A., Meyer, J.F.: Performability modelling with stochastic activity networks. In: Proc. of the 1984 Real-Time Systems Symposium, pp. 215\u2013224 (1984)"},{"issue":"4","key":"7_CR16","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"7_CR17","unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Technische Hochschule Darmstadt (1961)"},{"key":"7_CR18","unstructured":"ReSIST Consortium. EU project ReSIST: Resilience for Survivability in IST. Deliverable D33: Resilience-explicit computing. Technical report (2008), http:\/\/www.resist-noe.org\/"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-540-74035-3_2","volume-title":"Architecting Dependable Systems IV","author":"A.-E. Rugina","year":"2007","unstructured":"Rugina, A.-E., Kanoun, K., Ka\u00e2niche, M.: A system dependability modeling framework using AADL and gSPNs. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems IV. LNCS, vol.\u00a04615, pp. 14\u201338. Springer, Heidelberg (2007)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Rugina, A.-E., Kanoun, K., Kaaniche, M.: The adapt tool: From aadl architectural models to stochastic petri nets through model transformation. In: Seventh European Dependable Computing Conference, pp. 85\u201390 (2008)","DOI":"10.1109\/EDCC-7.2008.14"},{"key":"7_CR21","first-page":"315","volume-title":"Lectures on Formal Methods and Performance Analysis: First EEF\/Euro Summer School on Trends in Computer Scienc","author":"W.H. Sanders","year":"2002","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic activity networks: formal definitions and concepts. In: Lectures on Formal Methods and Performance Analysis: First EEF\/Euro Summer School on Trends in Computer Scienc, pp. 315\u2013343. Springer-Verlag New York, Inc., New York (2002)"},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/774763.774764","volume":"33","author":"L. Subramanian","year":"2003","unstructured":"Subramanian, L., Stoica, I., Balakrishnan, H., Katz, R.H.: Overqos: offering internet qos using overlays. SIGCOMM Comput. Commun. Rev.\u00a033, 11\u201316 (2003)","journal-title":"SIGCOMM Comput. Commun. Rev."},{"issue":"5","key":"7_CR23","doi-asserted-by":"publisher","first-page":"960","DOI":"10.1109\/TMM.2009.2021712","volume":"11","author":"W. Zeng","year":"2009","unstructured":"Zeng, W., Zhu, Y., Lu, H., Zhuang, X.: Path-diversity p2p overlay retransmission for reliable ip-multicast. IEEE Transactions on Multimedia\u00a011(5), 960\u2013971 (2009)","journal-title":"IEEE Transactions on Multimedia"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/TNET.2010.2055886","volume":"19","author":"Z. Zhou","year":"2011","unstructured":"Zhou, Z., Peng, Z., Cui, J.-H., Shi, Z.: Efficient multipath communication for time-critical applications in underwater acoustic sensor networks. IEEE\/ACM Trans. Netw.\u00a019, 28\u201341 (2011)","journal-title":"IEEE\/ACM Trans. Netw."}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24124-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T09:56:42Z","timestamp":1560679002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24124-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642241239","9783642241246"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24124-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}