{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:18:32Z","timestamp":1759033112981,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"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":[[2018,10,26]]},"DOI":"10.1145\/3236024.3236078","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"587-597","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Verifying the long-run behavior of probabilistic system models in the presence of uncertainty"],"prefix":"10.1145","author":[{"given":"Yamilet R. Serrano","family":"Llerena","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcel","family":"B\u00f6hme","sequence":"additional","affiliation":[{"name":"Monash University, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Br\u00fcnink","sequence":"additional","affiliation":[{"name":"n.n., n.n."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoxin","family":"Su","sequence":"additional","affiliation":[{"name":"University of Wollongong, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David S.","family":"Rosenblum","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Dean Michael Berris Alistair Veitch Nevin Heintze Eric Anderson and Ning Wang. 2016.  Dean Michael Berris Alistair Veitch Nevin Heintze Eric Anderson and Ning Wang. 2016."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/347090.347151"},{"key":"e_1_3_2_1_4_1","unstructured":"Grace E. Cho and Carl D. Meyer. 2000.  Grace E. Cho and Carl D. Meyer. 2000."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Markov Chain Sensitivity Measured by Mean First Passage Times. Linear Algebra Appl. 316 1 (2000) 21\u201328.  Markov Chain Sensitivity Measured by Mean First Passage Times. Linear Algebra Appl. 316 1 (2000) 21\u201328.","DOI":"10.1016\/S0024-3795(99)00263-3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0024-3795(01)00320-2"},{"key":"e_1_3_2_1_7_1","unstructured":"Nicolas Coste. 2010.  Nicolas Coste. 2010."},{"key":"e_1_3_2_1_8_1","unstructured":"Towards Performance Prediction of Compositional Models in GALS Designs. Ph.D. Dissertation. University of Grenoble.  Towards Performance Prediction of Compositional Models in GALS Designs. Ph.D. Dissertation. University of Grenoble."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1239\/aap\/1093962237"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.2307\/1427277"},{"key":"e_1_3_2_1_11_1","unstructured":"Ernst Moritz Hahn Holger Hermanns and Lijun Zhang. 2009.  Ernst Moritz Hahn Holger Hermanns and Lijun Zhang. 2009."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02652-2_10"},{"key":"e_1_3_2_1_13_1","unstructured":"Moshe Haviv and Ludo Van Der Heyden. 1984.  Moshe Haviv and Ludo Van Der Heyden. 1984."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Perturbation Bounds for the Stationary Probabilities of a Finite Markov Chain. Advances in Applied Probability 16 4 (1984) 804\u2013818. http:\/\/www.jstor.org\/stable\/1427341  Perturbation Bounds for the Stationary Probabilities of a Finite Markov Chain. Advances in Applied Probability 16 4 (1984) 804\u2013818. http:\/\/www.jstor.org\/stable\/1427341","DOI":"10.2307\/1427341"},{"key":"e_1_3_2_1_15_1","unstructured":"David Heckerman. 1999. MSNBC.com Anonymous Web Data Set. http:\/\/archive. ics.uci.edu\/ml\/datasets\/msnbc.com+anonymous+web+data. (1999).  David Heckerman. 1999. MSNBC.com Anonymous Web Data Set. http:\/\/archive. ics.uci.edu\/ml\/datasets\/msnbc.com+anonymous+web+data. (1999)."},{"key":"e_1_3_2_1_16_1","unstructured":"Accessed: 2018-02-05.  Accessed: 2018-02-05."},{"key":"e_1_3_2_1_17_1","unstructured":"Kemeny J. and Snell J. 1960.  Kemeny J. and Snell J. 1960."},{"key":"e_1_3_2_1_18_1","unstructured":"Finite Markov Chains. D. Van Nostrand New York.  Finite Markov Chains. D. Van Nostrand New York."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.2307\/3212261"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0024-3795(97)00042-6"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1059816.1059820"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-006-0015-2"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106301"},{"key":"e_1_3_2_1_24_1","unstructured":"Alan L. Montgomery Shibo Li Kannan Srinivasan and John C. Liechty. 2004.  Alan L. Montgomery Shibo Li Kannan Srinivasan and John C. Liechty. 2004."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Modeling Online Browsing and Path Analysis Using Clickstream Data. Marketing Science 23 4 (2004) 579\u2013595.  Modeling Online Browsing and Path Analysis Using Clickstream Data. Marketing Science 23 4 (2004) 579\u2013595.","DOI":"10.1287\/mksc.1040.0073"},{"key":"e_1_3_2_1_26_1","unstructured":"Nicolas Privault. 2013.  Nicolas Privault. 2013."},{"key":"e_1_3_2_1_27_1","unstructured":"Understanding Markov Chains: Examples and Applications. Springer Singapore.  Understanding Markov Chains: Examples and Applications. Springer Singapore."},{"key":"e_1_3_2_1_28_1","unstructured":"Guoxin Su Taolue Chen Yuan Feng and David S. Rosenblum. 2017.  Guoxin Su Taolue Chen Yuan Feng and David S. Rosenblum. 2017."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.51"},{"key":"e_1_3_2_1_30_1","unstructured":"G. Su Y. Feng T. Chen and D. S. Rosenblum. 2016.  G. Su Y. Feng T. Chen and D. S. Rosenblum. 2016."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2508444"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Guoxin Su and David S. Rosenblum. 2013. Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems. In ICFEM. 297\u2013312.  Guoxin Su and David S. Rosenblum. 2013. Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems. In ICFEM. 297\u2013312.","DOI":"10.1007\/978-3-642-41202-8_20"}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18"},"container-title":["Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236078","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3236078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:26Z","timestamp":1750208246000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":31,"alternative-id":["10.1145\/3236024.3236078","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3236078","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}