{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:07:49Z","timestamp":1770278869304,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,14]],"date-time":"2016-05-14T00:00:00Z","timestamp":1463184000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Singapore Ministry of Education","award":["R-252-000-458-133, MOE2015-T2-1-137"],"award-info":[{"award-number":["R-252-000-458-133, MOE2015-T2-1-137"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,14]]},"DOI":"10.1145\/2884781.2884814","type":"proceedings-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T18:21:10Z","timestamp":1463163670000},"page":"73-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Reliability of Run-Time Quality-of-Service evaluation using parametric model checking"],"prefix":"10.1145","author":[{"given":"Guoxin","family":"Su","sequence":"first","affiliation":[{"name":"National University of Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David S.","family":"Rosenblum","sequence":"additional","affiliation":[{"name":"National University of Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giordano","family":"Tamburrelli","sequence":"additional","affiliation":[{"name":"Bestseller E-commerce"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Principles of Model Checking","author":"Baier Christel","year":"2008"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0191-7"},{"key":"e_1_3_2_1_3_1","article-title":"Formal verification with confidence intervals: A new approach to establishing the Quality-of-Service properties of software systems. Reliability","author":"Calinescu Radu","year":"2015","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.92"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070512"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.20"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137677.1137679"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31862-0_21"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818781"},{"issue":"1","key":"e_1_3_2_1_10_1","first-page":"75","article-title":"Supporting self-adaptation via quantitative verification and sensitivity analysis at run time. Software Engineering","volume":"42","author":"Filieri Antonio","year":"2016","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486794"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00047-3"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368094"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/3220921.3221240"},{"key":"e_1_3_2_1_15_1","volume-title":"A logic for reasoning about time and reliability. Formal aspects of computing, 6(5):512--535","author":"Hansson Hans","year":"1994"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_8"},{"key":"e_1_3_2_1_17_1","volume-title":"Introduction to Mathematical Statistics","author":"Hogg Robert Vincent","year":"2005","edition":"6"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211621"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2522968.2522969"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032352"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.1050.0216"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_35"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_9"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_26"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49665-7_16"},{"key":"e_1_3_2_1_26_1","article-title":"Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters","author":"Su Guoxin","journal-title":"IEEE Transactions on Software Engineering, in press."},{"key":"e_1_3_2_1_27_1","first-page":"364","volume-title":"ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014","author":"Su Guoxin","year":"2014"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568256"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30729-4_17"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Ambuj\n      Tewari\n     and \n      Peter L.\n      Bartlett\n  . \n  Bounded parameter Markov Decision Processes with average reward criterion\n  . In Nader H. Bshouty and Claudio Gentile editors COLT volume \n  4539\n   of \n  Lecture Notes in Computer Science pages \n  263\n  --\n  277\n  . \n  Springer 2007\n  .   Ambuj Tewari and Peter L. Bartlett. Bounded parameter Markov Decision Processes with average reward criterion. In Nader H. Bshouty and Claudio Gentile editors COLT volume 4539 of Lecture Notes in Computer Science pages 263--277. Springer 2007.","DOI":"10.1007\/978-3-540-72927-3_20"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.05.002"}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","location":"Austin Texas","acronym":"ICSE '16","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\TCSE TC on Software Engineering","IEEE-CS\\DATC IEEE Computer Society"]},"container-title":["Proceedings of the 38th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2884781.2884814","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2884781.2884814","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:06Z","timestamp":1750221546000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2884781.2884814"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":31,"alternative-id":["10.1145\/2884781.2884814","10.1145\/2884781"],"URL":"https:\/\/doi.org\/10.1145\/2884781.2884814","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}