{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T00:16:24Z","timestamp":1773274584703,"version":"3.50.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319234007","type":"print"},{"value":"9783319234014","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23401-4_16","type":"book-chapter","created":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T10:37:23Z","timestamp":1441103843000},"page":"182-194","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models"],"prefix":"10.1007","author":[{"given":"Curtis","family":"Madsen","sequence":"first","affiliation":[]},{"given":"Fedor","family":"Shmarov","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Zuliani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,2]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1038\/nbt0708-771","volume":"26","author":"A Arkin","year":"2008","unstructured":"Arkin, A.: Setting the standard in synthetic biology. Nature Biotech. 26, 771\u2013774 (2008)","journal-title":"Nature Biotech."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Asarin, E., Dang, T., Frehse, G., Girard, A., Guernic, C.L., Maler, O.: Recent progress in continuous and hybrid reachability analysis. In: IEEE Conference on Computer Aided Control System Design, pp. 1582\u20131587 (2006)","DOI":"10.1109\/CACSD.2006.285494"},{"issue":"16","key":"16_CR3","doi-asserted-by":"publisher","first-page":"2311","DOI":"10.1093\/bioinformatics\/btr370","volume":"27","author":"E Balsa-Canto","year":"2011","unstructured":"Balsa-Canto, E., Banga, J.R.: AMIGO, a toolbox for advanced model identification in systems biology using global optimization. Bioinformatics 27(16), 2311\u20132313 (2011)","journal-title":"Bioinformatics"},{"issue":"3","key":"16_CR4","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 Trans. Comput. Biol. Bioinform. 9(3), 693\u2013705 (2012)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"issue":"18","key":"16_CR5","doi-asserted-by":"publisher","first-page":"2415","DOI":"10.1093\/bioinformatics\/btm362","volume":"23","author":"G Batt","year":"2007","unstructured":"Batt, G., Yordanov, B., Weiss, R., Belta, C.: Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23(18), 2415\u20132422 (2007)","journal-title":"Bioinformatics"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1002\/cncr.21989","volume":"107","author":"N Bruchovsky","year":"2006","unstructured":"Bruchovsky, N., Klotz, L., et al.: Final results of the Canadian prospective phase II trial of intermittent androgen suppression for men in biochemical recurrence after radiotherapy for locally advanced prostate cancer. Cancer 107, 389\u2013395 (2006)","journal-title":"Cancer"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Griggio, A., Mover, S., Tonetta, S.: Parameter synthesis with IC3. In: FMCAD, pp. 165\u2013168. IEEE (2013)","DOI":"10.1109\/FMCAD.2013.6679406"},{"issue":"3","key":"16_CR8","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1089\/cmb.2009.0172","volume":"17","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Clermont, G., Langmead, C.J.: Parameter synthesis in nonlinear dynamical systems: application to systems biology. J. Comput. Biol. 17(3), 325\u2013336 (2010)","journal-title":"J. Comput. Biol."},{"issue":"8","key":"16_CR9","doi-asserted-by":"publisher","first-page":"1329","DOI":"10.1007\/s00500-013-1003-0","volume":"17","author":"T D\u00f6tschel","year":"2013","unstructured":"D\u00f6tschel, T., Auer, E., Rauh, A., Aschemann, H.: Thermal behavior of high-temperature fuel cells: reliable parameter identification and interval-based sliding mode control. Soft Comput. 17(8), 1329\u20131343 (2013)","journal-title":"Soft Comput."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Dreossi, T., Dang, T.: Parameter synthesis for polynomial biological models. In: HSCC 2014, pp. 233\u2013242. ACM (2014)","DOI":"10.1145\/2562059.2562123"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Gao, S., Avigad, J., Clarke, E.M.: Delta-decidability over the reals. In: LICS, pp. 305\u2013314 (2012)","DOI":"10.1109\/LICS.2012.41"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-38574-2_14","volume-title":"Automated Deduction \u2013 CADE-24","author":"S Gao","year":"2013","unstructured":"Gao, S., Kong, S., Clarke, E.M.: dReal: an SMT solver for nonlinear theories over the reals. In: Bonacina, M.P. (ed.) CADE 2013. LNCS, vol. 7898, pp. 208\u2013214. Springer, Heidelberg (2013)"},{"issue":"24","key":"16_CR13","doi-asserted-by":"publisher","first-page":"3067","DOI":"10.1093\/bioinformatics\/btl485","volume":"22","author":"S Hoops","year":"2006","unstructured":"Hoops, S., Sahle, S., Gauges, R., Lee, C., Pahle, J., Simus, N., Singhal, M., Xu, L., Mendes, P., Kummer, U.: COPASI - a Complex PAthway SImulator. Bioinformatics 22(24), 3067\u20133074 (2006)","journal-title":"Bioinformatics"},{"issue":"4","key":"16_CR14","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M Hucka","year":"2003","unstructured":"Hucka, M., Finney, A., Sauro, H.M., et al.: The Systems Biology Markup Language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4), 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"issue":"6","key":"16_CR15","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/s00332-008-9031-0","volume":"18","author":"AM Ideta","year":"2008","unstructured":"Ideta, A.M., Tanaka, G., Takeuchi, T., Aihara, K.: A mathematical model of intermittent androgen suppression for prostate cancer. J. Nonlinear Sci. 18(6), 593\u2013614 (2008)","journal-title":"J. Nonlinear Sci."},{"issue":"21","key":"16_CR16","doi-asserted-by":"publisher","first-page":"2162","DOI":"10.1016\/j.tcs.2011.01.012","volume":"412","author":"SK Jha","year":"2011","unstructured":"Jha, S.K., Langmead, C.J.: Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. Theor. Comput. Sci. 412(21), 2162\u20132187 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3087.001.0001","volume-title":"Foundations of Systems Biology","author":"H Kitano","year":"2001","unstructured":"Kitano, H.: Foundations of Systems Biology. MIT Press, Cambridge (2001)"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1186\/1752-0509-4-92","volume":"4","author":"C Li","year":"2010","unstructured":"Li, C., et al.: BioModels Database: an enhanced, curated and annotated resource for published quantitative kinetic models. BMC Syst. Biol. 4, 92 (2010)","journal-title":"BMC Syst. Biol."},{"issue":"1","key":"16_CR19","doi-asserted-by":"publisher","first-page":"e8915","DOI":"10.1371\/journal.pone.0008915","volume":"5","author":"MP Little","year":"2010","unstructured":"Little, M.P., Heidenreich, W.F., Li, G.: Parameter identifiability and redundancy: theoretical considerations. PLoS ONE 5(1), e8915 (2010)","journal-title":"PLoS ONE"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Liu, B., Kong, S., Gao, S., Zuliani, P., Clarke, E.M.: Towards personalized cancer therapy using delta-reachability analysis. In: HSCC, pp. 227\u2013232. ACM (2015)","DOI":"10.1145\/2728606.2728634"},{"issue":"18","key":"16_CR21","doi-asserted-by":"publisher","first-page":"2037","DOI":"10.1093\/bioinformatics\/btn350","volume":"24","author":"T Maiwald","year":"2008","unstructured":"Maiwald, T., Timmer, J.: Dynamical modeling and multi-experiment fitting with PottersWheel. Bioinformatics 24(18), 2037\u20132043 (2008)","journal-title":"Bioinformatics"},{"key":"16_CR22","first-page":"88","volume":"14","author":"N Meslem","year":"2010","unstructured":"Meslem, N., Ramdani, N., Candau, Y.: Guaranteed parameter set estimation with monotone dynamical systems using hybrid automata. Reliable Comput. 14, 88\u2013104 (2010)","journal-title":"Reliable Comput."},{"issue":"4","key":"16_CR23","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1093\/bioinformatics\/bti799","volume":"22","author":"H Schmidt","year":"2006","unstructured":"Schmidt, H., Jirstrand, M.: Systems Biology Toolbox for MATLAB: a computational platform for research in systems biology. Bioinformatics 22(4), 514\u2013515 (2006)","journal-title":"Bioinformatics"},{"issue":"1","key":"16_CR24","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s00285-006-0037-7","volume":"54","author":"B Song","year":"2007","unstructured":"Song, B., Thomas, D.: Dynamics of starvation in humans. J. Math. Biol. 54(1), 27\u201343 (2007)","journal-title":"J. Math. Biol."},{"issue":"16","key":"16_CR25","doi-asserted-by":"publisher","first-page":"7328","DOI":"10.1073\/pnas.88.16.7328","volume":"88","author":"JJ Tyson","year":"1991","unstructured":"Tyson, J.J.: Modeling the cell division cycle: cdc2 and cyclin interactions. Proc. Nat. Acad. Sci. 88(16), 7328\u20137332 (1991)","journal-title":"Proc. Nat. Acad. Sci."},{"key":"16_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/978-3-319-12982-2_7","volume-title":"Computational Methods in Systems Biology","author":"M \u010ce\u0161ka","year":"2014","unstructured":"\u010ce\u0161ka, M., Dannenberg, F., Kwiatkowska, M., Paoletti, N.: Precise parameter synthesis for stochastic biochemical systems. In: Mendes, P., Dada, J.O., Smallbone, K. (eds.) CMSB 2014. LNCS, vol. 8859, pp. 86\u201398. Springer, Heidelberg (2014)"},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1007\/978-3-540-78929-1_39","volume-title":"Hybrid Systems: Computation and Control","author":"B Yordanov","year":"2008","unstructured":"Yordanov, B., Belta, C.: Parameter synthesis for piecewise affine systems from temporal logic specifications. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 542\u2013555. Springer, Heidelberg (2008)"},{"issue":"21","key":"16_CR28","doi-asserted-by":"publisher","first-page":"2704","DOI":"10.1093\/bioinformatics\/btl443","volume":"22","author":"Z Zi","year":"2006","unstructured":"Zi, Z., Klipp, E.: SBML-PET: a Systems Biology Markup Language-based parameter estimation tool. Bioinformatics 22(21), 2704\u20132705 (2006)","journal-title":"Bioinformatics"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23401-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T18:07:49Z","timestamp":1675274869000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23401-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319234007","9783319234014"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23401-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"2 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}