{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T20:10:09Z","timestamp":1784837409672,"version":"3.55.0"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319663340","type":"print"},{"value":"9783319663357","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-66335-7_20","type":"book-chapter","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T03:53:48Z","timestamp":1502337228000},"page":"304-308","source":"Crossref","is-referenced-by-count":8,"title":["RODES: A Robust-Design Synthesis Tool for\u00a0Probabilistic Systems"],"prefix":"10.1007","author":[{"given":"Radu","family":"Calinescu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Milan","family":"\u010ce\u0161ka","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simos","family":"Gerasimou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicola","family":"Paoletti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,8,11]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Calinescu, R., \u010ce\u0161ka, M., Gerasimou, S., Kwiatkowska, M., Paoletti, N.: Designing robust software systems through parametric Markov chain synthesis. In: ICSA 2017, pp. 131\u2013140 (2017)","DOI":"10.1109\/ICSA.2017.16"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"\u010ce\u0161ka, M., Dannenberg, F., Paoletti, N., et al.: Precise parameter synthesis for stochastic biochemical systems. In: Acta Informatica, pp. 1\u201335 (2016)","DOI":"10.1007\/s00236-016-0265-2"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"\u010ce\u0161ka, M., Pila\u0159, P., Paoletti, N., Brim, L., Kwiatkowska, M.: PRISM- PSY: precise GPU-accelerated parameter synthesis for stochastic systems. In: TACAS 2016, pp. 367\u2013384 (2016)","DOI":"10.1007\/978-3-662-49674-9_21"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Chen, T., Hahn, E.M., Han, T., et al.: Model repair for Markov decision processes. In: TASE 2013, pp. 85\u201392 (2013)","DOI":"10.1109\/TASE.2013.20"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Cheung, L., Roshandel, R., Medvidovic, N., Golubchik, L.: Early pre-diction of software component reliability. In: ICSE 2008, pp. 111\u2013120 (2008)","DOI":"10.1145\/1368088.1368104"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Dehnert, C., Junges, S., Jansen, N., et al.: PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. In: CAV 2015, pp. 214\u2013231 (2015)","DOI":"10.1007\/978-3-319-21690-4_13"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Gerasimou, S., Tamburrelli, G., Calinescu, R.: Search-based synthesis of probabilistic models for QoS software engineering. In: ASE (2015)","DOI":"10.1109\/ASE.2015.22"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Ghemawat, S., Gobioff, H., Leung, S.-T.: The Google file system. In: SOSP 2003, pp. 29\u201343 (2003)","DOI":"10.1145\/945445.945450"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Haverkort, B.R., Hermanns, H., Katoen, J.-P.: On the use of model checking techniques for dependability evaluation. In: SRDS (2000)","DOI":"10.1109\/RELDI.2000.885410"},{"key":"20_CR10","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). doi: 10.1007\/978-3-642-22110-1_47"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66335-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T06:38:59Z","timestamp":1569998339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66335-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663340","9783319663357"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66335-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}