{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:10:50Z","timestamp":1742929850162,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232669"},{"type":"electronic","value":"9783319232676"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23267-6_14","type":"book-chapter","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T16:52:22Z","timestamp":1440175942000},"page":"208-224","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Computing Response Time Distributions Using Iterative Probabilistic Model Checking"],"prefix":"10.1007","author":[{"given":"Freek","family":"van den Berg","sequence":"first","affiliation":[]},{"given":"Jozef","family":"Hooman","sequence":"additional","affiliation":[]},{"given":"Arnd","family":"Hartmanns","sequence":"additional","affiliation":[]},{"given":"Boudewijn R.","family":"Haverkort","sequence":"additional","affiliation":[]},{"given":"Anne","family":"Remke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,22]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Beilner, H., Mater, J., Weissenberg, N.: Towards a performance modelling environment: news on HIT. In: Modeling Techniques and Tools for Computer Performance Evaluation, pp. 57\u201375. Plenum Press (1989)","DOI":"10.1007\/978-1-4613-0533-0_5"},{"key":"14_CR2","unstructured":"van den Berg, F., Remke, A., Haverkort, B.R.: A domain specific language for performance evaluation of medical imaging systems. In: 5th Workshop on Medical Cyber-Physical Systems, pp. 80\u201393. Schloss Dagstuhl (2014)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"van den Berg, F., Remke, A., Haverkort, B.: iDSL: Automated performance prediction and analysis of medical imaging systems. In: Computer Performance Engineering, LNCS, vol. 9272. Springer (2015) (to appear)","DOI":"10.1007\/978-3-319-23267-6_15"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/978-3-642-40725-3_21","volume-title":"Computer Performance Engineering","author":"F van den Berg","year":"2013","unstructured":"van den Berg, F., Remke, A., Mooij, A., Haverkort, B.: Performance evaluation for collision prevention based on a domain specific language. In: Balsamo, M.S., Knottenbelt, W.J., Marin, A. (eds.) EPEW 2013. LNCS, vol. 8168, pp. 276\u2013287. Springer, Heidelberg (2013)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Grottke, M., Apte, V., Trivedi, K., Woolet, S.: Response time distributions in networks of queues. In: Queueing Networks, pp. 587\u2013641. Springer (2011)","DOI":"10.1007\/978-1-4419-6472-4_14"},{"issue":"2","key":"14_CR6","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s10703-012-0167-z","volume":"43","author":"E Hahn","year":"2012","unstructured":"Hahn, E., Hartmanns, A., Hermanns, H., Katoen, J.P.: A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods in System Design 43(2), 191\u2013232 (2012)","journal-title":"Formal Methods in System Design"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/978-3-642-54862-8_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Hartmanns","year":"2014","unstructured":"Hartmanns, A., Hermanns, H.: The modest toolset: an integrated environment for quantitative modelling and verification. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 593\u2013598. Springer, Heidelberg (2014)"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.procs.2014.03.022","volume":"28","author":"S Haveman","year":"2014","unstructured":"Haveman, S., Bonnema, G., van den Berg, F.: Early insight in systems design through modeling and simulation. Procedia Computer Science 28, 171\u2013178 (2014)","journal-title":"Procedia Computer Science"},{"key":"14_CR9","unstructured":"Jain, R.: The Art of Computer Systems Performance Analysis. John Wiley & Sons (1991)"},{"key":"14_CR10","unstructured":"Johnson, J.: Designing with the Mind in Mind: Simple Guide to Understanding User Interface Design Rules. Morgan Kaufmann (2010)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-45874-3_2","volume-title":"Embedded Processor Design Challenges","author":"B Kienhuis","year":"2002","unstructured":"Kienhuis, B., Deprettere, E.F., van der Wolf, P., Vissers, K.: A methodology to design programmable embedded systems. In: Deprettere, F., Teich, J., Vassiliadis, S. (eds.) SAMOS 2001. LNCS, vol. 2268, pp. 18\u201337. Springer, Heidelberg (2002)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Kontogiannis, K., Lewis, G., Smith, D. and Litoiu, M., Muller, H., Schuster, S., Stroulia, E.: The landscape of service-oriented systems: a research perspective. In: Proceedings of the International Workshop on Systems Development in SOA Environments, p. 1. IEEE Computer Society (2007)","DOI":"10.1109\/SDSOA.2007.12"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"issue":"1","key":"14_CR14","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci. 282(1), 101\u2013150 (2002)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"14_CR15","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0167-7152(83)90025-1","volume":"1","author":"A Philippou","year":"1983","unstructured":"Philippou, A., Georghiou, C., Philippou, G.: A generalized geometric distribution and some of its properties. Statistics & Probability Letters 1(4), 171\u2013175 (1983)","journal-title":"Statistics & Probability Letters"},{"issue":"2\u20133","key":"14_CR16","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1023\/A:1008119029962","volume":"18","author":"P Puschner","year":"2000","unstructured":"Puschner, P., Burns, A.: Guest editorial: A review of worst-case execution-time analysis. Real-Time Systems 18(2\u20133), 115\u2013128 (2000)","journal-title":"Real-Time Systems"},{"issue":"6","key":"14_CR17","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s10009-006-0019-5","volume":"8","author":"E Wandeler","year":"2006","unstructured":"Wandeler, E., Thiele, L., Verhoef, M., Lieverse, P.: System architecture evaluation using modular performance analysis: a case study. International Journal on Software Tools for Technology Transfer 8(6), 649\u2013667 (2006)","journal-title":"International Journal on Software Tools for Technology Transfer"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23267-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T14:54:08Z","timestamp":1676472848000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23267-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232669","9783319232676"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23267-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}