{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T14:55:33Z","timestamp":1776783333868,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662492239","type":"print"},{"value":"9783662492246","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-49224-6_21","type":"book-chapter","created":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T08:35:44Z","timestamp":1452501344000},"page":"253-265","source":"Crossref","is-referenced-by-count":1,"title":["An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities"],"prefix":"10.1007","author":[{"given":"Kento","family":"Ogawa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroyuki","family":"Nakagawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatsuhiro","family":"Tsuchiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,12]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Iftikhar, M.U., Weyns, D.: Activforms: active formal models for self-adaptation. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, pp. 125\u2013134. ACM, New York (2014)","DOI":"10.1145\/2593929.2593944"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 371\u2013380. ACM, New York (2006)","DOI":"10.1145\/1134285.1134337"},{"key":"21_CR3","volume-title":"Principles of Model Checking (Representation and Mind Series)","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). MIT Press, Cambridge (2008)"},{"issue":"10","key":"21_CR4","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G Blair","year":"2009","unstructured":"Blair, G., Bencomo, N., France, R.: Models@ run.time. Computer 42(10), 22\u201327 (2009)","journal-title":"Computer"},{"issue":"10","key":"21_CR5","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MC.2009.327","volume":"42","author":"B Morin","year":"2009","unstructured":"Morin, B., Barais, O., Jezequel, J.M., Fleurey, F., Solberg, A.: Models@ run.time to support dynamic adaptation. Computer 42(10), 44\u201351 (2009)","journal-title":"Computer"},{"issue":"2\u20133","key":"21_CR6","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0166-5316(01)00034-7","volume":"45","author":"K Goseva-Popstojanova","year":"2001","unstructured":"Goseva-Popstojanova, K., Trivedi, K.S.: Architecture-based approach to reliability assessment of software systems. Perform. Eval. 45(2\u20133), 179\u2013204 (2001)","journal-title":"Perform. Eval."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, pp. 341\u2013350. ACM, New York (2011)","DOI":"10.1145\/1985793.1985840"},{"issue":"4","key":"21_CR8","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1145\/210332.210339","volume":"42","author":"C Courcoubetis","year":"1995","unstructured":"Courcoubetis, C., Yannakakis, M.: The complexity of probabilistic verification. J. ACM 42(4), 857\u2013907 (1995)","journal-title":"J. ACM"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Model evolution by run-time parameter adaptation. In: Proceedings of the 31st International Conference on Software Engineering, ICSE 2009, pp. 111\u2013121. IEEE Computer Society, Washington, D.C. (2009)","DOI":"10.1109\/ICSE.2009.5070513"},{"issue":"2","key":"21_CR10","doi-asserted-by":"publisher","first-page":"130","DOI":"10.2307\/2322413","volume":"94","author":"SC Althoen","year":"1987","unstructured":"Althoen, S.C., McLaughlin, R.: Gauss-Jordan reduction: a brief history. Am. Math. Monthly 94(2), 130\u2013142 (1987)","journal-title":"Am. Math. Monthly"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Gerasimou, S., Calinescu, R., Banks, A.: Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, pp. 115\u2013124. ACM, New York (2014)","DOI":"10.1145\/2593929.2593932"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49224-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:17:21Z","timestamp":1559380641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49224-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662492239","9783662492246"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49224-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}