{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:02Z","timestamp":1750306682876,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,13]],"date-time":"2015-07-13T00:00:00Z","timestamp":1436745600000},"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":[[2015,7,13]]},"DOI":"10.1145\/2771783.2771794","type":"proceedings-article","created":{"date-parts":[[2015,7,10]],"date-time":"2015-07-10T14:10:55Z","timestamp":1436537455000},"page":"293-304","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Reliability assessment for distributed systems via communication abstraction and refinement"],"prefix":"10.1145","author":[{"given":"Lin","family":"Gui","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[{"name":"Singapore University of Technology and Design, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin Song","family":"Dong","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"RaPiD. http:\/\/www.comp.nus.edu.sg\/\u02dcpat\/rapid.  RaPiD. http:\/\/www.comp.nus.edu.sg\/\u02dcpat\/rapid."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2010.13"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01702-5_15"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020281327116"},{"key":"e_1_3_2_1_5_1","volume-title":"Principles of Model Checking","author":"Baier C.","year":"2008","unstructured":"C. Baier and J. Katoen . Principles of Model Checking . The MIT Press , 2008 . C. Baier and J. Katoen. Principles of Model Checking. The MIT Press, 2008."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2330667.2330686"},{"key":"e_1_3_2_1_7_1","first-page":"291","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Chaki S.","unstructured":"S. Chaki and O. Strichman . Optimized l*-based assume-guarantee reasoning . In Tools and Algorithms for the Construction and Analysis of Systems , pages 276\u2013 291 . Springer, 2007. S. Chaki and O. Strichman. Optimized l*-based assume-guarantee reasoning. In Tools and Algorithms for the Construction and Analysis of Systems, pages 276\u2013291. Springer, 2007."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_7"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234477"},{"key":"e_1_3_2_1_10_1","volume-title":"Springer","author":"Clarke E.","year":"2000","unstructured":"E. Clarke , O. Grumberg , S. Jha , Y. Lu , and H. Veith . Counterexample-guided abstraction refinement. In Computer aided verification, pages 154\u2013169 . Springer , 2000 . E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexample-guided abstraction refinement. In Computer aided verification, pages 154\u2013169. Springer, 2000."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"e_1_3_2_1_12_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model Checking . The MIT Press , 1999 . E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 1999."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146250"},{"key":"e_1_3_2_1_14_1","volume-title":"Springer","author":"Cortellessa V.","year":"2007","unstructured":"V. Cortellessa and V. Grassi . Reliability modeling and analysis of service-oriented architectures. In Test and analysis of web services, pages 339\u2013362 . Springer , 2007 . V. Cortellessa and V. Grassi. Reliability modeling and analysis of service-oriented architectures. In Test and analysis of web services, pages 339\u2013362. Springer, 2007."},{"key":"e_1_3_2_1_15_1","volume-title":"Springer","author":"Dekhtyar M. I.","year":"2008","unstructured":"M. I. Dekhtyar , A. J. Dikovsky , and M. K. Valiev . Temporal verification of probabilistic multi-agent systems. In Pillars of computer science, pages 256\u2013265 . Springer , 2008 . M. I. Dekhtyar, A. J. Dikovsky, and M. K. Valiev. Temporal verification of probabilistic multi-agent systems. In Pillars of computer science, pages 256\u2013265. Springer, 2008."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_2"},{"key":"e_1_3_2_1_17_1","first-page":"521","volume-title":"International Symposium on Automated Technology for Verification and Analysis","author":"Feng L.","unstructured":"L. Feng , T. Han , M. Kwiatkowska , and D. Parker . Learning-based compositional verification for synchronous probabilistic systems . In International Symposium on Automated Technology for Verification and Analysis , pages 511\u2013 521 . Springer, 2011. L. Feng, T. Han, M. Kwiatkowska, and D. Parker. Learning-based compositional verification for synchronous probabilistic systems. In International Symposium on Automated Technology for Verification and Analysis, pages 511\u2013521. Springer, 2011."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2010.24"},{"key":"e_1_3_2_1_19_1","first-page":"17","volume-title":"International Conference on Fundamental Approaches to Software Engineering","author":"Feng L.","unstructured":"L. Feng , M. Kwiatkowska , and D. Parker . Automated learning of probabilistic assumptions for compositional reasoning . In International Conference on Fundamental Approaches to Software Engineering , pages 2\u2013 17 . Springer, 2011. L. Feng, M. Kwiatkowska, and D. Parker. Automated learning of probabilistic assumptions for compositional reasoning. In International Conference on Fundamental Approaches to Software Engineering, pages 2\u201317. Springer, 2011."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985840"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21455-4_3"},{"key":"e_1_3_2_1_22_1","first-page":"307","volume-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"Gheorghiu M.","unstructured":"M. Gheorghiu , D. Giannakopoulou , and C. S. P\u0103s\u0103reanu . Refining interface alphabets for compositional verification . In International Conference on Tools and Algorithms for the Construction and Analysis of Systems , pages 292\u2013 307 . Springer, 2007. M. Gheorghiu, D. Giannakopoulou, and C. S. P\u0103s\u0103reanu. Refining interface alphabets for compositional verification. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 292\u2013307. Springer, 2007."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_14"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568234"},{"key":"e_1_3_2_1_25_1","first-page":"220","volume-title":"Proceedings of the 26th international conference on software engineering","author":"Giannakopoulou D.","unstructured":"D. Giannakopoulou , C. S. P\u0103s\u0103reanu , and J. M. Cobleigh . Assume-guarantee verification of source code with design-level assumptions . In Proceedings of the 26th international conference on software engineering , pages 211\u2013 220 . IEEE Computer Society, 2004. D. Giannakopoulou, C. S. P\u0103s\u0103reanu, and J. M. Cobleigh. Assume-guarantee verification of source code with design-level assumptions. In Proceedings of the 26th international conference on software engineering, pages 211\u2013220. IEEE Computer Society, 2004."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0155-y"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.4"},{"key":"e_1_3_2_1_28_1","series-title":"Lecture Notes in Computer Science","first-page":"433","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"G\u00f6ssler G.","unstructured":"G. G\u00f6ssler and J. Sifakis . Component-based construction of deadlock-free systems: Extended abstract . In Foundations of Software Technology and Theoretical Computer Science , volume 2914 of Lecture Notes in Computer Science , pages 420\u2013 433 . Springer, 2003. G. G\u00f6ssler and J. Sifakis. Component-based construction of deadlock-free systems: Extended abstract. In Foundations of Software Technology and Theoretical Computer Science, volume 2914 of Lecture Notes in Computer Science, pages 420\u2013433. Springer, 2003."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(01)00034-7"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483779"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11737-9_12"},{"key":"e_1_3_2_1_32_1","first-page":"86","volume-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","volume":"4424","author":"Han T.","unstructured":"T. Han and J.-P. Katoen . Counterexamples in probabilistic model checking . In International Conference on Tools and Algorithms for the Construction and Analysis of Systems , volume 4424 of LNCS, pages 72\u2013 86 . Springer Berlin Heidelberg, 2007. T. Han and J.-P. Katoen. Counterexamples in probabilistic model checking. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 4424 of LNCS, pages 72\u201386. Springer Berlin Heidelberg, 2007."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1985.230351"},{"key":"e_1_3_2_1_34_1","first-page":"451","volume-title":"Computer Aided Verification","author":"Henzinger T. A.","unstructured":"T. A. Henzinger , S. Qadeer , and S. K. Rajamani . You assume, we guarantee: Methodology and case studies . In Computer Aided Verification , pages 440\u2013 451 . Springer, 1998. T. A. Henzinger, S. Qadeer, and S. K. Rajamani. You assume, we guarantee: Methodology and case studies. In Computer Aided Verification, pages 440\u2013451. Springer, 1998."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_16"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0040-x"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_25"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032352"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_3"},{"key":"e_1_3_2_1_40_1","volume-title":"McGraw-Hill","author":"Laprie J. C.","year":"1996","unstructured":"J. C. Laprie and K. Kanoun . Handbook of software Reliability Enginerring, chapter Software Reliability and System Reliability, pages 27\u201369 . McGraw-Hill , New York, NY , 1996 . J. C. Laprie and K. Kanoun. Handbook of software Reliability Enginerring, chapter Software Reliability and System Reliability, pages 27\u201369. McGraw-Hill, New York, NY, 1996."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_46"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/2355579.2357465"},{"key":"e_1_3_2_1_43_1","first-page":"183","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"P\u0103s\u0103reanu C. S.","unstructured":"C. S. P\u0103s\u0103reanu , M. B. Dwyer , and M. Huth . Assume-guarantee model checking of software: A comparative case study . In Theoretical and Practical Aspects of SPIN Model Checking , pages 168\u2013 183 . Springer, 1999. C. S. P\u0103s\u0103reanu, M. B. Dwyer, and M. Huth. Assume-guarantee model checking of software: A comparative case study. In Theoretical and Practical Aspects of SPIN Model Checking, pages 168\u2013183. Springer, 1999."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0049-6"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_46_1","first-page":"378","volume-title":"A classical mind: essays in honour of CAR Hoare","author":"Roscoe A. W.","year":"1994","unstructured":"A. W. Roscoe . Model-checking CSP. A classical mind: essays in honour of CAR Hoare , pages 353\u2013 378 , 1994 . A. W. Roscoe. Model-checking CSP. A classical mind: essays in honour of CAR Hoare, pages 353\u2013378, 1994."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38613-8_12"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_59"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939864.1939897"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.3103\/S0146411611070169"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.09.004"}],"event":{"name":"ISSTA '15: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Baltimore MD USA","acronym":"ISSTA '15"},"container-title":["Proceedings of the 2015 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2771783.2771794","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2771783.2771794","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:14Z","timestamp":1750230074000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2771783.2771794"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,13]]},"references-count":51,"alternative-id":["10.1145\/2771783.2771794","10.1145\/2771783"],"URL":"https:\/\/doi.org\/10.1145\/2771783.2771794","relation":{},"subject":[],"published":{"date-parts":[[2015,7,13]]},"assertion":[{"value":"2015-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}