{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:56:43Z","timestamp":1750309003764,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,11,17]],"date-time":"2008-11-17T00:00:00Z","timestamp":1226880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,11,17]]},"DOI":"10.1145\/1479772.1479778","type":"proceedings-article","created":{"date-parts":[[2009,9,28]],"date-time":"2009-09-28T17:33:43Z","timestamp":1254159223000},"page":"29-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["An integrated framework for the dependability evaluation of distributed mobile applications"],"prefix":"10.1145","author":[{"given":"M\u00e1t\u00e9","family":"Kov\u00e1cs","sequence":"first","affiliation":[{"name":"Budapest University of Technology and Economics, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Lollini","sequence":"additional","affiliation":[{"name":"University of Florence, Florence, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"Majzik","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Bondavalli","sequence":"additional","affiliation":[{"name":"University of Florence, Florence, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,11,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141575"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2004.837709"},{"issue":"5","key":"e_1_3_2_1_3_1","first-page":"265","article-title":"Dependability Analysis in the Early Phases of UML Based System Design. International Journal of Computer Systems - Science &","volume":"16","author":"Bondavalli A.","year":"2001","unstructured":"A. Bondavalli , M. D. Cin , D. Latella , I. Majzik , A. Pataricza , and G. Savoia . Dependability Analysis in the Early Phases of UML Based System Design. International Journal of Computer Systems - Science & Engineering , 16 ( 5 ): 265 -- 275 , September 2001 . A. Bondavalli, M. D. Cin, D. Latella, I. Majzik, A. Pataricza, and G. Savoia. Dependability Analysis in the Early Phases of UML Based System Design. International Journal of Computer Systems - Science & Engineering, 16(5):265--275, September 2001.","journal-title":"Engineering"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/647881.737790"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1993.393454"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ANSS.2007.44"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11777830_12"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(94)00038-7"},{"key":"e_1_3_2_1_9_1","unstructured":"HIDENETS. HIghly DEpendable ip-based NETworks and Services (contract n. 26979). http:\/\/www.hidenets.aau.dk.  HIDENETS. HIghly DEpendable ip-based NETworks and Services (contract n. 26979). http:\/\/www.hidenets.aau.dk."},{"key":"e_1_3_2_1_10_1","volume-title":"September","author":"HIDENETS Consortium","year":"2006","unstructured":"HIDENETS Consortium . Use Case Scenarios and Preliminary Reference Model. Technical report, available at http:\/\/www.hidenets.aau.dk\/, public deliverables section , September 2006 . HIDENETS Consortium. Use Case Scenarios and Preliminary Reference Model. Technical report, available at http:\/\/www.hidenets.aau.dk\/, public deliverables section, September 2006."},{"key":"e_1_3_2_1_11_1","first-page":"342","volume-title":"Proc. FORMS\/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","author":"Majzik I.","year":"2007","unstructured":"I. Majzik , P. Domokos , and M. Magyar . Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems. In E. Schnieder and G. Tarnai, editors , Proc. FORMS\/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems , pages 342 -- 352 , Braunschweig, Germany, 25- -26 January 2007 . I. Majzik, P. Domokos, and M. Magyar. Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems. In E. Schnieder and G. Tarnai, editors, Proc. FORMS\/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 342--352, Braunschweig, Germany, 25--26 January 2007."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1768179.1768192"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/288197.581193"},{"key":"e_1_3_2_1_14_1","volume-title":"Universit\u00e0 degli Studi di Pisa","author":"Moretto M.","year":"2004","unstructured":"M. Moretto . Progettazione , realizzazione ed utilizzo di un generatore di simulatori per sistemi a fasi multiple. Master's thesis , Universit\u00e0 degli Studi di Pisa , 2004 \/2005. in Italian , available at http:\/\/dcl.isti.cnr.it\/. M. Moretto. Progettazione, realizzazione ed utilizzo di un generatore di simulatori per sistemi a fasi multiple. Master's thesis, Universit\u00e0 degli Studi di Pisa, 2004\/2005. in Italian, available at http:\/\/dcl.isti.cnr.it\/."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2001.970572"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/555298.789923"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.11"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"A.-E.\n      Rugina K.\n      Kanoun and \n      M.\n      Ka\u00e2niche\n  . \n  A System Dependability Modeling Framework Using AADL and GSPNs volume \n  4615\n   of \n  LNCS pages \n  14\n  --\n  38\n  . \n  Springer Berlin \/ Heidelberg 2007\n  .   A.-E. Rugina K. Kanoun and M. Ka\u00e2niche. A System Dependability Modeling Framework Using AADL and GSPNs volume 4615 of LNCS pages 14--38. Springer Berlin \/ Heidelberg 2007.","DOI":"10.1007\/978-3-540-74035-3_2"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/826035.826839"}],"event":{"name":"SERENE '08: RISE\/EFTS Joint International Workshop on Software Engineering for REsilient SystEms","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Newcastle upon Tyne United Kingdom","acronym":"SERENE '08"},"container-title":["Proceedings of the 2008 RISE\/EFTS Joint International Workshop on Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1479772.1479778","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1479772.1479778","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:41:35Z","timestamp":1750282895000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1479772.1479778"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,17]]},"references-count":19,"alternative-id":["10.1145\/1479772.1479778","10.1145\/1479772"],"URL":"https:\/\/doi.org\/10.1145\/1479772.1479778","relation":{},"subject":[],"published":{"date-parts":[[2008,11,17]]},"assertion":[{"value":"2008-11-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}