{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:18:09Z","timestamp":1742959089167,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319234007"},{"type":"electronic","value":"9783319234014"}],"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_21","type":"book-chapter","created":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T10:37:23Z","timestamp":1441103843000},"page":"251-263","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Parameter Synthesis by Parallel Coloured CTL Model Checking"],"prefix":"10.1007","author":[{"given":"Lubo\u0161","family":"Brim","sequence":"first","affiliation":[]},{"given":"Milan","family":"\u010ce\u0161ka","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Demko","sequence":"additional","affiliation":[]},{"given":"Samuel","family":"Pastva","sequence":"additional","affiliation":[]},{"given":"David","family":"\u0160afr\u00e1nek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,2]]},"reference":[{"issue":"3","key":"21_CR1","doi-asserted-by":"publisher","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":"21_CR2","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. Bio. Bioinform. 9(3), 693\u2013705 (2012)","journal-title":"IEEE\/ACM Trans. Comput. Bio. Bioinform."},{"issue":"3","key":"21_CR3","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1093\/bib\/bbp074","volume":"11","author":"J Barnat","year":"2010","unstructured":"Barnat, J., Brim, L., Safr\u00e1nek, D.: High-performance analysis of biological systems dynamics with the divine model checker. Brief. Bioinform. 11(3), 301\u2013312 (2010)","journal-title":"Brief. Bioinform."},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-71209-1_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G Batt","year":"2007","unstructured":"Batt, G., Belta, C., Weiss, R.: Model checking liveness properties of genetic regulatory networks. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 323\u2013338. Springer, Heidelberg (2007)"},{"issue":"18","key":"21_CR5","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., G\u00f6ssler, G., Monteiro, P., de Jong, H.: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics 26(18), 603\u2013610 (2010)","journal-title":"Bioinformatics"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1093\/bioinformatics\/bti1048","volume":"21","author":"G Batt","year":"2005","unstructured":"Batt, G., Ropers, D., Jong, H.D., Geiselmann, J., Mateescu, R., Schneider, D.: Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in escherichia coli. Bioinformatics 21, 19\u201328 (2005)","journal-title":"Bioinformatics"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-38874-3_3","volume-title":"Formal Methods for Dynamical Systems","author":"L Brim","year":"2013","unstructured":"Brim, L., \u010ce\u0161ka, M., \u0160afr\u00e1nek, D.: Model checking of biological systems. In: Bernardo, M., de Vink, E., Di Pierro, A., Wiklicky, H. (eds.) SFM 2013. LNCS, vol. 7938, pp. 63\u2013112. Springer, Heidelberg (2013)"},{"issue":"1","key":"21_CR8","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10009-004-0163-8","volume":"7","author":"L Brim","year":"2005","unstructured":"Brim, L., Yorav, K., Zidkova, J.: Assumption-based distribution of CTL model checking. STTT 7(1), 61\u201373 (2005)","journal-title":"STTT"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8, 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"doi-asserted-by":"crossref","unstructured":"Collins, P., Habets, L.C., van Schuppen, J.H., \u010cern\u00e1, I., Fabrikov\u00e1, J., \u0160afr\u00e1nek, D.: Abstraction of biochemical reaction systems on polytopes. In: IFAC World Congress, pp. 14869\u201314875. IFAC (2011)","key":"21_CR10","DOI":"10.3182\/20110828-6-IT-1002.03317"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science (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. 5307, pp. 269\u2013287. Springer, Heidelberg (2008)"},{"issue":"3","key":"21_CR12","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":"9","key":"21_CR13","doi-asserted-by":"publisher","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":"21_CR14","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. 5016, pp. 54\u201380. Springer, Heidelberg (2008)"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-3-319-12982-2_5","volume-title":"Computational Methods in Systems Biology","author":"F Fr\u00f6hlich","year":"2014","unstructured":"Fr\u00f6hlich, F., Theis, F.J., Hasenauer, J.: Uncertainty analysis for non-identifiable dynamical systems: profile likelihoods, bootstrapping and more. In: Mendes, P., Dada, J.O., Smallbone, K. (eds.) CMSB 2014. LNCS, vol. 8859, pp. 61\u201372. Springer, Heidelberg (2014)"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/978-3-319-12982-2_4","volume-title":"Computational Methods in Systems Biology","author":"A G\u00e1bor","year":"2014","unstructured":"G\u00e1bor, A., Banga, J.R.: Improved parameter estimation in kinetic models: selection and tuning of regularization methods. In: Mendes, P., Dada, J.O., Smallbone, K. (eds.) CMSB 2014. LNCS, vol. 8859, pp. 45\u201360. Springer, Heidelberg (2014)"},{"key":"21_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-540-95885-7_2","volume-title":"Membrane Computing","author":"D Gilbert","year":"2009","unstructured":"Gilbert, D., Breitling, R., Heiner, M., Donaldson, R.: An introduction to biomodel engineering, illustrated for signal transduction pathways. In: Corne, D.W., Frisco, P., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 13\u201328. Springer, Heidelberg (2009)"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"21","key":"21_CR19","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":"21_CR20","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/11905455_6","volume-title":"Transactions on Computational Systems Biology VII","author":"S Jha","year":"2006","unstructured":"Jha, S., Shyamasundar, R.K.: Adapting biochemical kripke structures for distributed model checking. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol. 4230, pp. 107\u2013122. Springer, Heidelberg (2006)"},{"key":"21_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-3-319-12982-2_8","volume-title":"Computational Methods in Systems Biology","author":"B Liu","year":"2014","unstructured":"Liu, B., Kong, S., Gao, S., Zuliani, P., Clarke, E.M.: Parameter synthesis for cardiac cell hybrid models using $$\\delta $$-decisions. In: Mendes, P., Dada, J.O., Smallbone, K. (eds.) CMSB 2014. LNCS, vol. 8859, pp. 99\u2013113. Springer, Heidelberg (2014)"},{"issue":"1","key":"21_CR22","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0959-437X(98)80057-9","volume":"8","author":"S Mittnacht","year":"1998","unstructured":"Mittnacht, S.: Control of prb phosphorylation. Curr. Opin. Genet. Dev. 8(1), 21\u201327 (1998)","journal-title":"Curr. Opin. Genet. Dev."},{"doi-asserted-by":"crossref","unstructured":"Monteiro, P.T., Ropers, D., Mateescu, R., Freitas, A.T., de Jong, H.: Temporal logic patterns for querying qualitative models of genetic regulatory networks. In: ECAI. FAIA, vol. 178, pp. 229\u2013233. IOS Press (2008)","key":"21_CR23","DOI":"10.1093\/bioinformatics\/btn275"},{"key":"21_CR24","doi-asserted-by":"publisher","first-page":"1440","DOI":"10.1093\/bioinformatics\/btu006","volume":"30","author":"A Raue","year":"2014","unstructured":"Raue, A., Karlsson, J., Saccomani, M.P., Jirstrand, M., Timmer, J.: Comparison of approaches for parameter identifiability analysis of biological systems. Bioinformatics 30, 1440\u20131448 (2014)","journal-title":"Bioinformatics"},{"issue":"12","key":"21_CR25","doi-asserted-by":"publisher","first-page":"169","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), 169\u2013178 (2009)","journal-title":"Bioinformatics"},{"issue":"10","key":"21_CR26","doi-asserted-by":"publisher","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"}],"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_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,21]],"date-time":"2023-01-21T00:00:51Z","timestamp":1674259251000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23401-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319234007","9783319234014"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23401-4_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"2 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}