{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:47:22Z","timestamp":1725864442996},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319451763"},{"type":"electronic","value":"9783319451770"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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-319-45177-0_6","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T01:42:38Z","timestamp":1472866958000},"page":"82-97","source":"Crossref","is-referenced-by-count":5,"title":["High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study"],"prefix":"10.1007","author":[{"given":"Martin","family":"Demko","sequence":"first","affiliation":[]},{"given":"Nikola","family":"Bene\u0161","sequence":"additional","affiliation":[]},{"given":"Lubo\u0161","family":"Brim","sequence":"additional","affiliation":[]},{"given":"Samuel","family":"Pastva","sequence":"additional","affiliation":[]},{"given":"David","family":"\u0160afr\u00e1nek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1093\/bib\/bbp020","volume":"10","author":"P Ballarini","year":"2009","unstructured":"Ballarini, P., Guido, R., Mazza, T., Prandi, D.: Taming the complexity of biological pathways through parallel computing. Brief. Bioinform. 10(3), 278\u2013288 (2009)","journal-title":"Brief. Bioinform."},{"issue":"3","key":"6_CR2","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1109\/TCBB.2011.110","volume":"9","author":"J Barnat","year":"2012","unstructured":"Barnat, J., et al.: 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."},{"key":"6_CR3","unstructured":"Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB Standard: Version 2.5. Technical report, Department of Computer Science, The University of Iowa (2015)"},{"issue":"1","key":"6_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1371\/journal.pcbi.1004591","volume":"12","author":"E Bartocci","year":"2016","unstructured":"Bartocci, E., Li\u00f3, P.: Computational modeling, formal analysis, and tools for systems biology. PLoS Comput. Biol. 12(1), 1\u201322 (2016)","journal-title":"PLoS Comput. Biol."},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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. 4416, pp. 61\u201375. Springer, Heidelberg (2007)"},{"issue":"18","key":"6_CR6","doi-asserted-by":"crossref","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":"6_CR7","doi-asserted-by":"crossref","unstructured":"Bene\u0161, N., Brim, L., Demko, M., Pastva, S., \u0160afr\u00e1nek, D.: Parallel SMT-based parameter synthesis with application to piecewise multi-affine systems. In: ATVA 2016. LNCS. Springer (2016) (to appear)","DOI":"10.1007\/978-3-319-46520-3_13"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-3-319-26287-1_2","volume-title":"Hardware and Software: Verification and Testing","author":"S Bogomolov","year":"2015","unstructured":"Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., Grosu, R.: Abstraction-based parameter synthesis for multiaffine systems. In: Piterman, N., et al. (eds.) HVC 2015. LNCS, vol. 9434, pp. 19\u201335. Springer, Heidelberg (2015)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/978-3-319-23401-4_21","volume-title":"Computational Methods in Systems Biology","author":"L Brim","year":"2015","unstructured":"Brim, L., \u010ce\u0161ka, M., Demko, M., Pastva, S., \u0160afr\u00e1nek, D.: Parameter synthesis by parallel coloured CTL model checking. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 251\u2013263. Springer, Heidelberg (2015)"},{"issue":"14","key":"6_CR10","doi-asserted-by":"crossref","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L Calzone","year":"2006","unstructured":"Calzone, L., Fages, F., Soliman, S.: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14), 1805\u20131807 (2006)","journal-title":"Bioinformatics"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/978-3-319-19249-9_14","volume-title":"FM 2015: Formal Methods","author":"T Dang","year":"2015","unstructured":"Dang, T., Dreossi, T., Piazza, C.: Parameter synthesis through temporal logic specifications. In: Bj\u00f8rner, N., de Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 213\u2013230. Springer, Heidelberg (2015)"},{"issue":"9","key":"6_CR12","doi-asserted-by":"crossref","first-page":"e24246","DOI":"10.1371\/journal.pone.0024246","volume":"6","author":"A Donz\u00e9","year":"2011","unstructured":"Donz\u00e9, A., Fanchon, E., Gattepaille, L.M., Maler, O., Tracqui, P.: Robustness analysis and behavior discrimination in enzymatic reaction networks. PLoS ONE 6(9), e24246 (2011)","journal-title":"PLoS ONE"},{"key":"6_CR13","unstructured":"Dvo\u0159\u00e1k, P.: Engineering of the synthetic metabolic pathway for biodegradation of environmental pollutant. Ph.D. thesis, Masaryk University (2014)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1007\/978-3-642-22110-1_31","volume-title":"Computer Aided Verification","author":"R Grosu","year":"2011","unstructured":"Grosu, R., Batt, G., Fenton, F.H., Glimm, J., Le Guernic, C., Smolka, S.A., Bartocci, E.: From cardiac cells to genetic regulatory networks. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 396\u2013411. Springer, Heidelberg (2011)"},{"issue":"3","key":"6_CR16","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1021\/sb400147n","volume":"3","author":"NP Kurumbang","year":"2013","unstructured":"Kurumbang, N.P., et al.: Computer-assisted engineering of the synthetic pathway for biodegradation of a toxic persistent pollutant. ACS Synth. Biol. 3(3), 172\u2013181 (2013)","journal-title":"ACS Synth. Biol."},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Li, Y., Albarghouthi, A., Kincaid, Z., Gurfinkel, A., Chechik, M.: Symbolic optimization with SMT solvers. In: POPL 2014, pp. 607\u2013618. ACM (2014)","DOI":"10.1145\/2535838.2535857"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/978-3-319-23401-4_16","volume-title":"Computational Methods in Systems Biology","author":"C Madsen","year":"2015","unstructured":"Madsen, C., Shmarov, F., Zuliani, P.: BioPSy: an SMT-based tool for guaranteed parameter set synthesis of biological models. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 182\u2013194. Springer, Heidelberg (2015)"},{"key":"6_CR19","doi-asserted-by":"crossref","first-page":"1440","DOI":"10.1093\/bioinformatics\/btu006","volume":"30","author":"A Raue","year":"2014","unstructured":"Raue, A., et al.: Comparison of approaches for parameter identifiability analysis of biological systems. Bioinformatics 30, 1440\u20131448 (2014)","journal-title":"Bioinformatics"},{"issue":"12","key":"6_CR20","doi-asserted-by":"crossref","first-page":"i169","DOI":"10.1093\/bioinformatics\/btp200","volume":"25","author":"A Rizk","year":"2009","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25(12), i169\u2013i178 (2009)","journal-title":"Bioinformatics"},{"issue":"10","key":"6_CR21","doi-asserted-by":"crossref","first-page":"1506","DOI":"10.1093\/bioinformatics\/bth110","volume":"20","author":"M Swat","year":"2004","unstructured":"Swat, M., Kel, A., Herzel, H.: Bifurcation analysis of the regulatory modules of the mammalian G1\/S transition. Bioinformatics 20(10), 1506\u20131511 (2004)","journal-title":"Bioinformatics"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"}],"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-319-45177-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:58:07Z","timestamp":1498327087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45177-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319451763","9783319451770"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45177-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}