{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T14:54:34Z","timestamp":1763477674747,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662491218"},{"type":"electronic","value":"9783662491225"}],"license":[{"start":{"date-parts":[[2015,12,25]],"date-time":"2015-12-25T00:00:00Z","timestamp":1451001600000},"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-662-49122-5_18","type":"book-chapter","created":{"date-parts":[[2015,12,24]],"date-time":"2015-12-24T05:01:36Z","timestamp":1450933296000},"page":"372-390","source":"Crossref","is-referenced-by-count":12,"title":["Parameter Synthesis for Parametric Interval Markov Chains"],"prefix":"10.1007","author":[{"given":"Beno\u00eet","family":"Delahaye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Didier","family":"Lime","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laure","family":"Petrucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,25]]},"reference":[{"issue":"2","key":"18_CR1","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10703-012-0169-x","volume":"42","author":"\u00c9 Andr\u00e9","year":"2013","unstructured":"Andr\u00e9, \u00c9., Fribourg, L., Sproston, J.: An extension of the inverse method to probabilistic timed automata. Formal Meth. Syst. Des. 42(2), 119\u2013145 (2013)","journal-title":"Formal Meth. Syst. Des."},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2011.10.022","volume":"419","author":"R Barbuti","year":"2012","unstructured":"Barbuti, R., Levi, F., Milazzo, P., Scatena, G.: Probabilistic model checking of biological systems with uncertain kinetic rates. Theor. Comput. Sci. 419, 2\u201316 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-36742-7_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M Benedikt","year":"2013","unstructured":"Benedikt, M., Lenhardt, R., Worrell, J.: LTL model checking of interval markov chains. In: Piterman, N., Smolka, S.A. (eds.) TACAS 2013 (ETAPS 2013). LNCS, vol. 7795, pp. 32\u201346. Springer, Heidelberg (2013)"},{"key":"18_CR4","first-page":"501","volume":"24","author":"N Bertrand","year":"2013","unstructured":"Bertrand, N., Fournier, P.: Parameterized verification of many identical probabilistic timed processes. FSTTCS. LIPIcs 24, 501\u2013513 (2013)","journal-title":"FSTTCS. LIPIcs"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-54830-7_9","volume-title":"Foundations of Software Science and Computation Structures","author":"N Bertrand","year":"2014","unstructured":"Bertrand, N., Fournier, P., Sangnier, A.: Playing with probabilities in reconfigurable broadcast networks. In: Muscholl, A. (ed.) FOSSACS 2014 (ETAPS). LNCS, vol. 8412, pp. 134\u2013148. Springer, Heidelberg (2014)"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-37064-9_13","volume-title":"Language and Automata Theory and Applications","author":"F Biondi","year":"2013","unstructured":"Biondi, F., Legay, A., Nielsen, B.F., W\u0105sowski, A.: Maximizing entropy over markov processes. In: Dediu, A.-H., Mart\u00edn-Vide, C., Truthe, B. (eds.) LATA 2013. LNCS, vol. 7810, pp. 128\u2013140. Springer, Heidelberg (2013)"},{"issue":"34","key":"18_CR7","doi-asserted-by":"publisher","first-page":"4373","DOI":"10.1016\/j.tcs.2011.05.010","volume":"412","author":"B Caillaud","year":"2011","unstructured":"Caillaud, B., Delahaye, B., Larsen, K., Legay, A., Pedersen, M., Wasowski, A.: Constraint markov chains. Theor. Comput. Sci. 412(34), 4373\u20134404 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-319-18579-8_3","volume-title":"Analytical and Stochastic Modelling Techniques and Applications","author":"S Chakraborty","year":"2015","unstructured":"Chakraborty, S., Katoen, J.-P.: Model checking of open interval markov chains. In: Remke, A., Manini, D., Gribaudo, M. (eds.) ASMTA 2015. LNCS, vol. 9081, pp. 30\u201342. Springer, Heidelberg (2015)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Chamseddine, N., Duflot, M., Fribourg, L., Picaronny, C., Sproston, J.: Computing expected absorption times for parametric determinate probabilistic timed automata. In: QEST, pp. 254\u2013263. IEEE Computer Society (2008)","DOI":"10.1109\/QEST.2008.34"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-540-78499-9_22","volume-title":"Foundations of Software Science and Computational Structures","author":"K Chatterjee","year":"2008","unstructured":"Chatterjee, K., Sen, K., Henzinger, T.A.: Model-checking $$\\omega $$ -regular properties of interval markov chains. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol. 4962, pp. 302\u2013317. Springer, Heidelberg (2008)"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-540-31862-0_21","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"C Daws","year":"2005","unstructured":"Daws, C.: Symbolic and parametric model checking of discrete-time markov chains. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 280\u2013294. Springer, Heidelberg (2005)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-319-21690-4_13","volume-title":"Computer Aided Verification","author":"C Dehnert","year":"2015","unstructured":"Dehnert, C., Junges, S., Jansen, N., Corzilius, F., Volk, M., Bruintjes, H., Katoen, J.-P., \u00c1brah\u00e1m, E.: PROPhESY: a probabilistic parameter synthesis tool. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 214\u2013231. Springer, Heidelberg (2015)"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.ic.2013.10.002","volume":"232","author":"B Delahaye","year":"2013","unstructured":"Delahaye, B., Katoen, J., Larsen, K., Legay, A., Pedersen, M., Sher, F., Wasowski, A.: Abstract probabilistic automata. Inf. Comput. 232, 66\u2013116 (2013)","journal-title":"Inf. Comput."},{"issue":"3","key":"18_CR14","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.jlap.2011.10.003","volume":"81","author":"B Delahaye","year":"2012","unstructured":"Delahaye, B., Larsen, K., Legay, A., Pedersen, M., Wasowski, A.: Consistency and refinement for interval Markov chains. J. Log. Algebr. Program. 81(3), 209\u2013226 (2012)","journal-title":"J. Log. Algebr. Program."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Delahaye, B.: Consistency for parametric interval Markov chains. In: SynCoP, OASIcs, Schloss Dagstuhl (2015)","DOI":"10.1007\/978-3-662-49122-5_18"},{"key":"18_CR16","first-page":"372","volume-title":"Lecture Notes in Computer Science","author":"Beno\u00eet Delahaye","year":"2015","unstructured":"Delahaye, B., Lime, D., Petrucci, L.: Parameter Synthesis for Parametric Interval Markov Chains. HAL research report hal-01219823 (2015)"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-642-33386-6_24","volume-title":"Automated Technology for Verification and Analysis","author":"LM Ferrer Fioriti","year":"2012","unstructured":"Ferrer Fioriti, L.M., Hahn, E.M., Hermanns, H., Wachter, B.: Variable probabilistic abstraction refinement. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, vol. 7561, pp. 300\u2013316. Springer, Heidelberg (2012)"},{"key":"18_CR18","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.tcs.2012.10.058","volume":"471","author":"R Gori","year":"2013","unstructured":"Gori, R., Levi, F.: An analysis for proving probabilistic termination of biological systems. Theor. Comput. Sci. 471, 27\u201373 (2013)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-20398-5_12","volume-title":"NASA Formal Methods","author":"EM Hahn","year":"2011","unstructured":"Hahn, E.M., Han, T., Zhang, L.: Synthesis for PCTL in parametric markov decision processes. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 146\u2013161. Springer, Heidelberg (2011)"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1007\/978-3-642-14295-6_56","volume-title":"Computer Aided Verification","author":"EM Hahn","year":"2010","unstructured":"Hahn, E.M., Hermanns, H., Wachter, B., Zhang, L.: $${\\sf PARAM}$$ : a model checker for parametric markov models. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 660\u2013664. Springer, Heidelberg (2010)"},{"issue":"1","key":"18_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10009-010-0146-x","volume":"13","author":"E Hahn","year":"2011","unstructured":"Hahn, E., Hermanns, H., Zhang, L.: Probabilistic reachability for parametric Markov models. Software Tools for Technology Transfer 13(1), 3\u201319 (2011)","journal-title":"Software Tools for Technology Transfer"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Jonsson, B., Larsen, K.: Specification and refinement of probabilistic processes. In: LICS, pp. 266\u2013277. IEEE Computer (1991)","DOI":"10.1109\/LICS.1991.151651"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Lanotte, R., Maggiolo-Schettini, A., Troina, A.: Decidability results for parametric probabilistic transition systems with an application to security. In: SEFM, pp. 114\u2013121. IEEE Computer Society (2004)","DOI":"10.1109\/SEFM.2004.1347512"},{"issue":"1","key":"18_CR24","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s00165-006-0015-2","volume":"19","author":"R Lanotte","year":"2007","unstructured":"Lanotte, R., Maggiolo-Schettini, A., Troina, A.: Parametric probabilistic transition systems for system design and analysis. Formal Aspects Comput. 19(1), 93\u2013109 (2007)","journal-title":"Formal Aspects Comput."},{"key":"18_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/11691372_26","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K Sen","year":"2006","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Model-checking markov chains in the presence of uncertainties. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 394\u2013410. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49122-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T22:49:41Z","timestamp":1748731781000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49122-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,25]]},"ISBN":["9783662491218","9783662491225"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49122-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015,12,25]]}}}