{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T19:57:26Z","timestamp":1769284646393,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642407079","type":"print"},{"value":"9783642407086","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40708-6_10","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T09:37:00Z","timestamp":1379497020000},"page":"120-134","source":"Crossref","is-referenced-by-count":21,"title":["Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models"],"prefix":"10.1007","author":[{"given":"Sucheendra K.","family":"Palaniappan","sequence":"first","affiliation":[]},{"given":"Benjamin M.","family":"Gyori","sequence":"additional","affiliation":[]},{"given":"Bing","family":"Liu","sequence":"additional","affiliation":[]},{"given":"David","family":"Hsu","sequence":"additional","affiliation":[]},{"given":"P. S.","family":"Thiagarajan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0165-0173(00)00021-7","volume":"33","author":"G.V. De Ferrari","year":"2000","unstructured":"De Ferrari, G.V., Inestrosa, N.C.: Wnt signaling function in Alzheimer\u2019s disease. Brain Res. Rev.\u00a033, 1\u201312 (2000)","journal-title":"Brain Res. Rev."},{"issue":"11","key":"10_CR2","doi-asserted-by":"publisher","first-page":"1195","DOI":"10.1038\/ncb1497","volume":"8","author":"B.B. Aldridge","year":"2006","unstructured":"Aldridge, B.B., Burke, J.M., Lauffenburger, D.A., Sorger, P.K.: Physicochemical modelling of cell signalling pathways. Nat. Cell Biol.\u00a08(11), 1195\u20131203 (2006)","journal-title":"Nat. Cell Biol."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Wilkinson, D.: Stochastic modelling for systems biology. CRC Press (2011)","DOI":"10.1201\/b11812"},{"key":"10_CR4","doi-asserted-by":"publisher","DOI":"10.1002\/3527603603","volume-title":"Systems biology in practice: concepts, implementation and application","author":"E. Klipp","year":"2005","unstructured":"Klipp, E., Herwig, R., Kowald, A., Wierling, C., Lehrach, H.: Systems biology in practice: concepts, implementation and application. Wiley-VCH, Weinheim (2005)"},{"issue":"7245","key":"10_CR5","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1038\/nature08012","volume":"459","author":"S. Spencer","year":"2009","unstructured":"Spencer, S., Gaudet, S., Albeck, J., Burke, J., Sorger, P.: Non-genetic origins of cell-to-cell variability in TRAIL-induced apoptosis. Nature\u00a0459(7245), 428\u2013432 (2009)","journal-title":"Nature"},{"issue":"2","key":"10_CR6","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1038\/nrm3044","volume":"12","author":"B. Snijder","year":"2011","unstructured":"Snijder, B., Pelkmans, L.: Origins of regulated cell-to-cell variability. Nature Reviews Molecular Cell Biology\u00a012(2), 119\u2013125 (2011)","journal-title":"Nature Reviews Molecular Cell Biology"},{"issue":"1","key":"10_CR7","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1186\/1752-0509-4-144","volume":"4","author":"A. Wei\u00dfe","year":"2010","unstructured":"Wei\u00dfe, A., Middleton, R., Huisinga, W.: Quantifying uncertainty, variability and likelihood for ordinary differential equation models. BMC Systems Biology\u00a04(1), 144 (2010)","journal-title":"BMC Systems Biology"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/s10009-005-0187-8","volume":"8","author":"H.L.S. Younes","year":"2006","unstructured":"Younes, H.L.S., Kwiatkowska, M., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking. International Journal on Software Tools for Technology Transfer\u00a08, 216\u2013228 (2006)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"11","key":"10_CR9","doi-asserted-by":"publisher","first-page":"2467","DOI":"10.1101\/gr.1262503","volume":"13","author":"C.G. Moles","year":"2003","unstructured":"Moles, C.G., Mendes, P., Banga, J.R.: Parameter estimation in biochemical pathways: A comparison of global optimization methods. Genome Res.\u00a013(11), 2467\u20132474 (2003)","journal-title":"Genome Res."},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1109\/4235.873238","volume":"4","author":"T. Runarsson","year":"2000","unstructured":"Runarsson, T., Yao, X.: Stochastic ranking for constrained evolutionary optimization. IEEE T. Evolut. Comput.\u00a04, 284\u2013294 (2000)","journal-title":"IEEE T. Evolut. Comput."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Saltelli, A., Ratto, M., Andres, T., Campolongo, F., Cariboni, J., Gatelli, D., Saisana, M., Tarantola, S.: Global sensitivity analysis: the primer. Wiley-Interscience (2008)","DOI":"10.1002\/9780470725184"},{"issue":"12","key":"10_CR12","doi-asserted-by":"publisher","first-page":"726","DOI":"10.1177\/0037549703040943","volume":"79","author":"K.H. Cho","year":"2003","unstructured":"Cho, K.H., Shin, S.Y., Kolch, W., Wolkenhauer, O.: Experimental design in systems biology, based on parameter sensitivity analysis using a Monte Carlo method: A case study for the TNF\u03b1-mediated NF-\u03baB signal transduction pathway. Simulation\u00a079(12), 726\u2013739 (2003)","journal-title":"Simulation"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1093\/nar\/gkj092","volume":"34","author":"N. Novere Le","year":"2006","unstructured":"Le Novere, N., Bornstein, B., Broicher, A., Courtot, M., Donizelli, M., Dharuri, H., Li, L., Sauro, H., Schilstra, M., Shapiro, B., Snoep, J., Hucka, M.: BioModels Database: A free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Res.\u00a034, D689\u2013D691 (2006)","journal-title":"Nucleic Acids Res."},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Computational Methods in Systems Biology","author":"S.K. Jha","year":"2009","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol.\u00a05688, pp. 218\u2013234. Springer, Heidelberg (2009)"},{"issue":"3","key":"10_CR15","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","volume":"391","author":"J. Heath","year":"2008","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theor. Comput. Sci.\u00a0391(3), 239\u2013257 (2008)","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"10_CR16","doi-asserted-by":"publisher","first-page":"1576","DOI":"10.1039\/c0mb00253d","volume":"7","author":"C. Li","year":"2011","unstructured":"Li, C., Nagasaki, M., Koh, C.H., Miyano, S.: Online model checking approach based parameter estimation to a neuronal fate decision simulation model in Caenorhabditis elegans with hybrid functional Petri net with extension. Mol. Biosyst.\u00a07(5), 1576\u20131592 (2011)","journal-title":"Mol. Biosyst."},{"issue":"11","key":"10_CR17","doi-asserted-by":"publisher","first-page":"1508","DOI":"10.1093\/bioinformatics\/bts166","volume":"28","author":"B. Liu","year":"2012","unstructured":"Liu, B., Hagiescu, A., Palaniappan, S.K., Chattopadhyay, B., Cui, Z., Wong, W., Thiagarajan, P.S.: Approximate probabilistic analysis of biopathway dynamics. Bioinformatics\u00a028(11), 1508\u20131516 (2012)","journal-title":"Bioinformatics"},{"key":"10_CR18","unstructured":"Donaldson, R., Gilbert, D.: A monte carlo model checker for probabilistic ltl with numerical constraints. University of Glasgow, Dep. of CS, Tech. Rep. (2008)"},{"key":"10_CR19","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":"10_CR20","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-540-88562-7_18","volume-title":"Computational Methods in Systems Biology","author":"E.M. Clarke","year":"2008","unstructured":"Clarke, E.M., Faeder, J.R., Langmead, C.J., Harris, L.A., Jha, S.K., Legay, A.: Statistical model checking in BioLab: Applications to the automated analysis of T-cell receptor signaling pathway. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 231\u2013250. Springer, Heidelberg (2008)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Maler, O.: On under-determined dynamical systems. In: Proceedings of the Ninth ACM International Conference on Embedded Software, pp. 89\u201396. ACM (2011)","DOI":"10.1145\/2038642.2038658"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: Machine learning biochemical networks from temporal logic properties. T. Comput. Syst. Biol. VI, 68\u201394 (2006)","DOI":"10.1007\/11880646_4"},{"key":"10_CR23","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-540-88562-7_19","volume-title":"Computational Methods in Systems Biology","author":"A. Rizk","year":"2008","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 251\u2013268. Springer, Heidelberg (2008)"},{"issue":"18","key":"10_CR24","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1093\/bioinformatics\/btq387","volume":"26","author":"G. Batt","year":"2010","unstructured":"Batt, G., Page, M., Cantone, I., Goessler, G., Monteiro, P., de Jong, H.: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics\u00a026(18), i603\u2013i610 (2010)","journal-title":"Bioinformatics"},{"issue":"3","key":"10_CR25","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1109\/TCBB.2011.110","volume":"9","author":"J. Barnat","year":"2012","unstructured":"Barnat, J., Brim, L., Krejci, A., Streck, A., Safranek, D., Vejnar, M., Vejpustek, T.: On parameter synthesis by parallel model checking. IEEE\/ACM T. Comput. Bi.\u00a09(3), 693\u2013705 (2012)","journal-title":"IEEE\/ACM T. Comput. Bi."},{"key":"10_CR26","unstructured":"Supplementary information and source code, http:\/\/www.comp.nus.edu.sg\/~rpsysbio\/SMC\/"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Hirsch, M., Smale, S., Devaney, R.: Differential equations, dynamical systems, and an introduction to chaos. Academic Press (2012)","DOI":"10.1016\/B978-0-12-382010-5.00015-4"},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-24622-0_8","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"T. H\u00e9rault","year":"2004","unstructured":"H\u00e9rault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 73\u201384. Springer, Heidelberg (2004)"},{"key":"10_CR29","doi-asserted-by":"publisher","first-page":"1368","DOI":"10.1016\/j.ic.2006.05.002","volume":"204","author":"H.L.S. Younes","year":"2006","unstructured":"Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with a focus on time-bounded properties. Inform. Comput.\u00a0204, 1368\u20131409 (2006)","journal-title":"Inform. Comput."},{"key":"10_CR30","unstructured":"Goldberg, D.: Genetic algorithms in search, optimization, and machine learning. Addison-Wesley (1989)"},{"issue":"3","key":"10_CR31","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1145\/1089014.1089020","volume":"31","author":"A. Hindmarsh","year":"2005","unstructured":"Hindmarsh, A., Brown, P., Grant, K., Lee, S., Serban, R., Shumaker, D., Woodward, C.: SUNDIALS: Suite of nonlinear and differential\/algebraic equation solvers. ACM T. Math. Software\u00a031(3), 363\u2013396 (2005)","journal-title":"ACM T. Math. Software"},{"issue":"8","key":"10_CR32","doi-asserted-by":"publisher","first-page":"1130","DOI":"10.1093\/bioinformatics\/bts088","volume":"28","author":"J. Vanlier","year":"2012","unstructured":"Vanlier, J., Tiemann, C., Hilbers, P., van Riel, N.: An integrated strategy for prediction uncertainty analysis. Bioinformatics\u00a028(8), 1130\u20131135 (2012)","journal-title":"Bioinformatics"},{"key":"10_CR33","doi-asserted-by":"publisher","first-page":"1071","DOI":"10.1111\/j.1365-2443.2006.01001.x","volume":"11","author":"A. Maedo","year":"2006","unstructured":"Maedo, A., Ozaki, Y., Sivakumaran, S., Akiyama, T., Urakubo, H., Usami, A., Sato, M., Kaibuchi, K., Kuroda, S.: Ca2\u2009+\u2009-independent phospholipase A2-dependent sustained Rho-kinase activation exhibits all-or-none response. Genes Cells\u00a011, 1071\u20131083 (2006)","journal-title":"Genes Cells"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40708-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,6]],"date-time":"2022-03-06T09:59:01Z","timestamp":1646560741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40708-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407079","9783642407086"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40708-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}