{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:03:08Z","timestamp":1762459388315},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319336923"},{"type":"electronic","value":"9783319336930"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-33693-0_8","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T05:35:47Z","timestamp":1464068147000},"page":"115-129","source":"Crossref","is-referenced-by-count":9,"title":["Probabilistic Formal Analysis of App Usage to Inform Redesign"],"prefix":"10.1007","author":[{"given":"Oana","family":"Andrei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muffy","family":"Calder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Chalmers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alistair","family":"Morrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mattias","family":"Rost","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"8_CR1","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"key":"8_CR2","unstructured":"Bell, M., Chalmers, M., Fontaine, L., Higgs, M., Morrison, A., Rooksby, J., Rost, M., Sherwood, S.: Experiences in logging everyday App. use. In: Proceedings of Digital Economy 2013. ACM (2013)"},{"key":"8_CR3","unstructured":"Girolami, M., Kab\u00e1n, A.: Simplicial mixtures of Markov chains: distributed modelling of dynamic user profiles. In: Thrun, S., Saul, L.K., Sch\u00f6lkopf, B. (eds.) Advances in Neural Information Processing Systems 16 (NIPS 2003), pp. 9\u201316. MIT Press (2004)"},{"issue":"1","key":"8_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.2517-6161.1977.tb01600.x","volume":"39","author":"AP Dempster","year":"1977","unstructured":"Dempster, A.P., Laird, N.M., Rubin, D.B.: Maximum likelihood from incomplete data via the EM algorithm. J. Roy. Stat. Soc. Ser. B (Methodol.) 39(1), 1\u201338 (1977)","journal-title":"J. Roy. Stat. Soc. Ser. B (Methodol.)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220\u2013270. Springer, Heidelberg (2007)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/978-3-319-10696-0_11","volume-title":"Quantitative Evaluation of Systems","author":"O Andrei","year":"2014","unstructured":"Andrei, O., Calder, M., Higgs, M., Girolami, M.: Probabilistic model checking of DTMC models of user activity patterns. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 138\u2013153. Springer, Heidelberg (2014)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Hall, M., Bell, M., Morrison, A., Reeves, S., Sherwood, S., Chalmers, M.: Adapting ubicomp software and its evaluation. In: Graham, T.C.N., Calvary, G., Gray, P.D. (eds.) Proceedings of EICS 2009, pp. 143\u2013148. ACM (2009)","DOI":"10.1145\/1570433.1570460"},{"issue":"8","key":"8_CR9","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/2.402076","volume":"28","author":"A Mayrhauser von","year":"1995","unstructured":"von Mayrhauser, A., Vans, A.M.: Program comprehension during software maintenance and evolution. IEEE Comput. 28(8), 44\u201355 (1995)","journal-title":"IEEE Comput."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Fittkau, F., Waller, J., Wulf, C., Hasselbring, W.: Live trace visualization for comprehending large software landscapes: the ExplorViz approach. In: Telea, A., Kerren, A., Marcus, A. (eds.) Proceedings of VISSOFT 2013, pp. 1\u20134 (2013)","DOI":"10.1109\/VISSOFT.2013.6650536"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Gomez, L., Neamtiu, I., Azim, T., Millstein, T.D.: RERAN: timing- and touch-sensitive record and replay for Android. In: Notkin, D., Cheng, B.H.C., Pohl, K. (eds.) Proceedings of ICSE 2013, pp. 72\u201381. IEEE\/ACM (2013)","DOI":"10.1109\/ICSE.2013.6606553"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Beschastnikh, I., Brun, Y., Ernst, M.D., Krishnamurthy, A.: Inferring models of concurrent systems from logs of their behavior with CSight. In: Jalote, P., Briand, L.C., van der Hoek, A. (eds.) Proceedings of ICSE 2014, Hyderabad, India, pp. 468\u2013479. ACM (2014)","DOI":"10.1145\/2568225.2568246"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Pezz\u00e8, M., Sama, M., Tamburrelli, G.: Mining behavior models from user-intensive web applications. In: Proceedings of ICSE 2014, Hyderabad, India, pp. 277\u2013287. ACM (2014)","DOI":"10.1145\/2568225.2568234"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33693-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T02:18:24Z","timestamp":1718590704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33693-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319336923","9783319336930"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33693-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}