{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:43:52Z","timestamp":1725536632572},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642044199"},{"type":"electronic","value":"9783642044205"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04420-5_8","type":"book-chapter","created":{"date-parts":[[2009,8,26]],"date-time":"2009-08-26T22:17:25Z","timestamp":1251325045000},"page":"64-78","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Barbuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Levi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Scatena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Cervesato, I., Durgin, N.A., Lincoln, P., Mitchell, J.C., Scedrov, A.: A meta-notation for protocol analysis. In: CSFW, pp. 55\u201369 (1999)","DOI":"10.1109\/CSFW.1999.779762"},{"key":"8_CR2","first-page":"238","volume-title":"POPL","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL, pp. 238\u2013252. ACM Press, New York (1977)"},{"key":"8_CR3","first-page":"266","volume-title":"LICS","author":"B. Jonsson","year":"1991","unstructured":"Jonsson, B., Larsen, K.G.: Specification and refinement of probabilistic processes. In: LICS, pp. 266\u2013277. IEEE, Los Alamitos (1991)"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1014745904458","volume":"8","author":"I. Kozine","year":"2002","unstructured":"Kozine, I., Utkin, L.V.: Interval-valued finite markov chains. Reliable Computing\u00a08(2), 97\u2013113 (2002)","journal-title":"Reliable Computing"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/11691617_5","volume-title":"Model Checking Software","author":"H. Fecher","year":"2006","unstructured":"Fecher, H., Leucker, M., Wolf, V.: Don\u2019t Know in probabilistic systems. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 71\u201388. Springer, Heidelberg (2006)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/s00285-003-0211-0","volume":"47","author":"M. Villasana","year":"2003","unstructured":"Villasana, M., Radunskaya, A.: A delay differential equation model for tumor growth. J. of Math. Biol.\u00a047, 270\u2013294 (2003)","journal-title":"J. of Math. Biol."},{"key":"8_CR7","first-page":"351","volume-title":"LICS","author":"M.Z. Kwiatkowska","year":"2003","unstructured":"Kwiatkowska, M.Z.: Model checking for probability and time: from theory to practice. In: LICS, pp. 351\u2013360. IEEE, Los Alamitos (2003)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M.Z. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Prism: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"issue":"5","key":"8_CR9","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Asp. Comput.\u00a06(5), 512\u2013535 (1994)","journal-title":"Formal Asp. Comput."},{"key":"8_CR10","unstructured":"Kearfott, R.B.: Interval computations: Introduction, uses, and resources. In: Euromath Bulletin, vol.\u00a02, pp. 95\u2013112. European Mathematical Trust (1996)"},{"key":"8_CR11","unstructured":"Weichselberger, K.: The theory of interval-probability as a unifying concept for uncertainty. In: Cooman, G.D., Cozman, F.G., Moral, S., Walley, P. (eds.) ISIPTA, pp. 387\u2013396 (1999)"},{"key":"8_CR12","series-title":"ENTCS","first-page":"165","volume-title":"Approximating probabilistic behaviors of biological systems using abstract interpretation","author":"A. Coletta","year":"2009","unstructured":"Coletta, A., Gori, R., Levi, F.: Approximating probabilistic behaviors of biological systems using abstract interpretation. ENTCS, vol.\u00a0229, pp. 165\u2013182. Elsevier, Amsterdam (2009)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/3-540-44804-7_3","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"P.R. D\u2019Argenio","year":"2001","unstructured":"D\u2019Argenio, P.R., Jeannet, B., Jensen, H.E., Larsen, K.G.: Reachability analysis of probabilistic systems by successive refinements. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol.\u00a02165, pp. 39\u201356. Springer, Heidelberg (2001)"},{"key":"8_CR14","unstructured":"AMSR2PRISM, http:\/\/www.di.unipi.it\/~milazzo\/biosims\/"},{"key":"8_CR15","unstructured":"PRISM model checker, http:\/\/www.prismmodelchecker.org"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.tcs.2005.08.008","volume":"246","author":"M. Huth","year":"2005","unstructured":"Huth, M.: On finite-state approximants for probabilistic computation tree logic. Theor. Comput. Sci.\u00a0246, 113\u2013134 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR17","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.\u00a03920, pp. 394\u2013410. Springer, Heidelberg (2006)"},{"key":"8_CR18","first-page":"299","volume-title":"SMPS","author":"D. \u0160kulj","year":"2006","unstructured":"\u0160kulj, D.: Finite Discrete Time Markov Chains with Interval Probabilities. In: Lawry, J., Miranda, E., Bugar\u00edn, A., Li, S., Gil, M.A., Grzegorzewski, P., Hryniewicz, O. (eds.) SMPS, pp. 299\u2013306. Springer, Heidelberg (2006)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Blanc, J.P.C., Hertog, D.D.: On Markov Chains with Uncertain Data. CentER Discussion Paper Series 50, Tilburg Univ., Center for Economic Research (2008)","DOI":"10.2139\/ssrn.1138144"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-78163-9_11","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"V. Danos","year":"2008","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Abstract interpretation of cellular signalling networks. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) VMCAI 2008. LNCS, vol.\u00a04905, pp. 83\u201397. Springer, Heidelberg (2008)"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-68894-5_3","volume-title":"Formal Methods for Computational Systems Biology","author":"F. Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Formal Cell Biology in Biocham. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 54\u201380. Springer, Heidelberg (2008)"},{"key":"8_CR22","first-page":"179","volume-title":"Sci. Comput. Program","author":"D. Monniaux","year":"2005","unstructured":"Monniaux, D.: Abstract interpretation of programs as Markov decision processes. In: Sci. Comput. Program, vol.\u00a058, pp. 179\u2013205. Springer, Heidelberg (2005)"},{"key":"8_CR23","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1145\/351268.351284","volume-title":"PPDP","author":"A. Pierro Di","year":"2000","unstructured":"Di Pierro, A., Wiklicky, H.: Concurrent constraint programming: towards probabilistic abstract interpretation. In: PPDP, pp. 127\u2013138. ACM, New York (2000)"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Wilkinson, S.J., Benson, N., Kell, D.B.: Proximate parameter tuning for biochemical networks with uncertain kinetic parameters. In: Mol. bioSys., vol.\u00a04, pp. 74\u201397. RSC Publishing (2008)","DOI":"10.1039\/B707506E"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-71493-4_8","volume-title":"Hybrid Systems: Computation and Control","author":"G. Batt","year":"2007","unstructured":"Batt, G., Belta, C., Weiss, R.: Model Checking Genetic Regulatory Networks with Parameter Uncertainty. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 61\u201375. Springer, Heidelberg (2007)"},{"key":"8_CR26","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/j.tcs.2008.04.015","volume":"404","author":"V. Manca","year":"2008","unstructured":"Manca, V.: The Metabolic Algorithm for P Systems: Principles and Applications. Theor. Comput. Sci.\u00a0404, 142\u2013155 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR27","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-88562-7_20","volume-title":"Computational Methods in Systems Biology","author":"R. Donaldson","year":"2008","unstructured":"Donaldson, R., Gilbert, D.: A Model Checking Approach to the Parameter Estimation of Biochemical Pathways. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 269\u2013287. Springer, Heidelberg (2008)"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-540-78652-8_11","volume-title":"Probabilistic Inductive Logic Programming","author":"F. Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Model Revision from Temporal Logic Properties in Systems Biology. In: De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S.H. (eds.) Probabilistic Inductive Logic Programming. LNCS, vol.\u00a04911, pp. 287\u2013304. Springer, Heidelberg (2008)"},{"key":"8_CR29","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. Form. Asp. Comput.\u00a019, 93\u2013109 (2007)","journal-title":"Form. Asp. Comput."},{"key":"8_CR30","first-page":"173","volume-title":"RTSS","author":"T. Han","year":"2008","unstructured":"Han, T., Katoen, J.P., Mereacre, A.: Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. In: RTSS, pp. 173\u2013182. IEEE, Los Alamitos (2008)"},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-73368-3_37","volume-title":"Computer Aided Verification","author":"J.P. Katoen","year":"2007","unstructured":"Katoen, J.P., Klink, D., Leucker, M., Wolf, V.: Three-Valued Abstraction for Continuous-Time Markov Chains. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 311\u2013324. Springer, Heidelberg (2007)"},{"key":"8_CR32","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2005.07.022","volume":"345","author":"C. Baier","year":"2005","unstructured":"Baier, C., Hermanns, H., Katoen, J.P., Haverkort, B.R.: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theor. Comput. Sci.\u00a0345, 2\u201326 (2005)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Reachability Problems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04420-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T01:59:20Z","timestamp":1558490360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04420-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044199","9783642044205"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04420-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}