{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:57Z","timestamp":1750306857577,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"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":[[2014,5,31]]},"DOI":"10.1145\/2568225.2568256","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"311-321","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Perturbation analysis of stochastic systems with empirical distribution parameters"],"prefix":"10.1145","author":[{"given":"Guoxin","family":"Su","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore"}]},{"given":"David S.","family":"Rosenblum","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]}],"member":"320","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_5"},{"key":"e_1_3_2_1_2_1","volume-title":"Principles of Model Checking","author":"Baier C.","year":"2008","unstructured":"C. Baier and J.-P. Katoen . Principles of Model Checking . The MIT Press , 2008 . C. Baier and J.-P. Katoen. Principles of Model Checking. The MIT Press, 2008."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987389.1987428"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11682462_25"},{"key":"e_1_3_2_1_6_1","first-page":"317","volume-title":"FoSSaCS","author":"Chatterjee K.","year":"2008","unstructured":"K. Chatterjee , K. Sen , and T. A. Henzinger . Model-checking omega-regular properties of Interval Markov Chains . In FoSSaCS , pages 302\u2013 317 , 2008 . K. Chatterjee, K. Sen, and T. A. Henzinger. Model-checking omega-regular properties of Interval Markov Chains. In FoSSaCS, pages 302\u2013317, 2008."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.20"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0024-3795(01)00320-2"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/129837"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31862-0_21"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88562-7_20"},{"key":"e_1_3_2_1_12_1","first-page":"42","volume-title":"Proceedings of the 2013 International Conference on Software Engineering, ICSE \u201913","author":"Ghezzi C.","unstructured":"C. Ghezzi , L. S. Pinto , P. Spoletini , and G. Tamburrelli . Managing non-functional uncertainty via model-driven adaptivity . In Proceedings of the 2013 International Conference on Software Engineering, ICSE \u201913 , pages 33\u2013 42 . IEEE Press, 2013. C. Ghezzi, L. S. Pinto, P. Spoletini, and G. Tamburrelli. Managing non-functional uncertainty via model-driven adaptivity. In Proceedings of the 2013 International Conference on Software Engineering, ICSE \u201913, pages 33\u201342. IEEE Press, 2013."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33512-9_10"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0146-x"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1986308.1986323"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605929"},{"key":"e_1_3_2_1_17_1","first-page":"591","volume-title":"Proc. 23rd International Conference on Computer Aided Verification (CAV\u201911)","author":"Kwiatkowska M.","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . PRISM 4.0: Verification of probabilistic real-time systems . In Proc. 23rd International Conference on Computer Aided Verification (CAV\u201911) , pages 585\u2013 591 . Springer, 2011. M. Kwiatkowska, G. Norman, and D. Parker. PRISM 4.0: Verification of probabilistic real-time systems. In Proc. 23rd International Conference on Computer Aided Verification (CAV\u201911), pages 585\u2013591. Springer, 2011."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2012.14"},{"key":"e_1_3_2_1_19_1","volume-title":"Natick","author":"AB.","year":"2012","unstructured":"MATL AB. version 8.0 (R2012b). The MathWorks Inc ., Natick , Massachusetts , 2012 . MATLAB. version 8.0 (R2012b). The MathWorks Inc., Natick, Massachusetts, 2012."},{"key":"e_1_3_2_1_20_1","volume-title":"Perturbation: Theory and Method","author":"Murdock J. A.","year":"1991","unstructured":"J. A. Murdock . Perturbation: Theory and Method . JOHN WILEY & SONS , INC. , 1991 . J. A. Murdock. Perturbation: Theory and Method. JOHN WILEY & SONS, INC., 1991."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852033"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486868"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_35"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_9"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11557432_25"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.2307\/3212261"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_26"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1239\/jap\/1044476830"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceeding of the 15th International Conference on Formal Engineering Methods. Springer","author":"Su G.","year":"2013","unstructured":"G. Su and D. S. Rosenblum . Asymptotic bounds for quantitative verification of perturbed probabilistic systems. In L. Groves and J. Sun, editors , Proceeding of the 15th International Conference on Formal Engineering Methods. Springer , 2013 . G. Su and D. S. Rosenblum. Asymptotic bounds for quantitative verification of perturbed probabilistic systems. In L. Groves and J. Sun, editors, Proceeding of the 15th International Conference on Formal Engineering Methods. Springer, 2013."}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Hyderabad India","acronym":"ICSE '14"},"container-title":["Proceedings of the 36th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568256","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2568225.2568256","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:30Z","timestamp":1750234230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568256"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":29,"alternative-id":["10.1145\/2568225.2568256","10.1145\/2568225"],"URL":"https:\/\/doi.org\/10.1145\/2568225.2568256","relation":{},"subject":[],"published":{"date-parts":[[2014,5,31]]},"assertion":[{"value":"2014-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}