{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:52Z","timestamp":1740098932736,"version":"3.37.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319674704"},{"type":"electronic","value":"9783319674711"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-67471-1_16","type":"book-chapter","created":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T15:05:14Z","timestamp":1504191914000},"page":"265-282","source":"Crossref","is-referenced-by-count":4,"title":["Automated Property Synthesis of ODEs Based Bio-pathways Models"],"prefix":"10.1007","author":[{"given":"Jun","family":"Zhou","sequence":"first","affiliation":[]},{"given":"R.","family":"Ramanathan","sequence":"additional","affiliation":[]},{"given":"Weng-Fai","family":"Wong","sequence":"additional","affiliation":[]},{"given":"P. S.","family":"Thiagarajan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,1]]},"reference":[{"unstructured":"Abadi, M., Agarwal, A., Barham, P., Brevdo, E., Chen, Z., Citro, C., Corrado, G.S., Davis, A., Dean, J., Devin, M., Ghemawat, S., Goodfellow, I., Harp, A., Irving, G., Isard, M., Jia, Y., Jozefowicz, R., Kaiser, L., Kudlur, M., Levenberg, J., Man\u00e9, D., Monga, R., Moore, S., Murray, D., Olah, C., Schuster, M., Shlens, J., Steiner, B., Sutskever, I., Talwar, K., Tucker, P., Vanhoucke, V., Vasudevan, V., Vi\u00e9gas, F., Vinyals, O., Warden, P., Wattenberg, M., Wicke, M., Yu, Y., Zheng, X.: TensorFlow: large-scale machine learning on heterogeneous systems (2015). Software, tensorflow.org. http:\/\/tensorflow.org\/","key":"16_CR1"},{"issue":"11","key":"16_CR2","doi-asserted-by":"crossref","first-page":"1195","DOI":"10.1038\/ncb1497","volume":"8","author":"BB 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. 8(11), 1195\u20131203 (2006)","journal-title":"Nat. Cell Biol."},{"key":"16_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.tcs.2015.02.046","volume":"587","author":"E Bartocci","year":"2015","unstructured":"Bartocci, E., Bortolussi, L., Nenzi, L., Sanguinetti, G.: System design of stochastic models using robustness of temporal properties. Theor. Comput. Sci. 587, 3\u201325 (2015). Interactions between computer science and biology. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0304397515002224","journal-title":"Theor. Comput. Sci."},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-40196-1_7","volume-title":"Quantitative Evaluation of Systems","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Sanguinetti, G.: Learning and designing stochastic processes from logical constraints. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 89\u2013105. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40196-1_7"},{"issue":"3","key":"16_CR5","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1088\/1478-3967\/1\/3\/006","volume":"1","author":"KS Brown","year":"2004","unstructured":"Brown, K.S., Hill, C.C., Calero, G.A., Myers, C.R., Lee, K.H., Sethna, J.P., Cerione, R.A.: The statistical mechanics of complex signaling networks: nerve growth factor signaling. Phys. Biol. 1(3), 184 (2004)","journal-title":"Phys. Biol."},{"issue":"1","key":"16_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/1752-0509-5-66","volume":"5","author":"J Bucher","year":"2011","unstructured":"Bucher, J., Riedmaier, S., Schnabel, A., Marcus, K., Vacun, G., Weiss, T.S., Thasler, W.E., N\u00fcssler, A.K., Zanger, U.M., Reuss, M.: A systems biology approach to dynamic modeling and inter-subject variability of statin pharmacokinetics in human hepatocytes. BMC Syst. Biol. 5(1), 1 (2011)","journal-title":"BMC Syst. Biol."},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/978-3-662-45231-8_30","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"S Bufo","year":"2014","unstructured":"Bufo, S., Bartocci, E., Sanguinetti, G., Borelli, M., Lucangelo, U., Bortolussi, L.: Temporal logic based monitoring of assisted ventilation in intensive care patients. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 391\u2013403. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-45231-8_30"},{"doi-asserted-by":"crossref","unstructured":"Chen, G., Sabato, Z., Kong, Z.: Active learning based requirement mining for cyber-physical systems. In: 2016 IEEE 55th Conference on Decision and Control (CDC), pp. 4586\u20134593. IEEE (2016)","key":"16_CR8","DOI":"10.1109\/CDC.2016.7798967"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15297-9_9"},{"issue":"42","key":"16_CR10","doi-asserted-by":"crossref","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"GE Fainekos","year":"2009","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42), 4262\u20134291 (2009)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"16_CR11","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1016\/j.jtbi.2008.01.006","volume":"252","author":"A Goldbeter","year":"2008","unstructured":"Goldbeter, A., Pourqui\u00e9, O.: Modeling the segmentation clock as a network of coupled oscillations in the Notch, Wnt and FGF signaling pathways. J. Theor. Biol. 252(3), 574\u2013585 (2008)","journal-title":"J. Theor. Biol."},{"issue":"3","key":"16_CR12","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/1467247.1467271","volume":"52","author":"R Grosu","year":"2009","unstructured":"Grosu, R., Smolka, S.A., Corradini, F., Wasilewska, A., Entcheva, E., Bartocci, E.: Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM 52(3), 97\u2013105 (2009)","journal-title":"Commun. ACM"},{"issue":"3","key":"16_CR13","doi-asserted-by":"crossref","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. 391(3), 239\u2013257 (2008)","journal-title":"Theor. Comput. Sci."},{"issue":"21","key":"16_CR14","doi-asserted-by":"crossref","first-page":"6918","DOI":"10.1021\/bi981966e","volume":"38","author":"MF Hockin","year":"1999","unstructured":"Hockin, M.F., Cawthern, K.M., Kalafatis, M., Mann, K.G.: A model describing the inactivation of factor Va by APC: bond cleavage, fragment dissociation, and product inhibition. Biochemistry 38(21), 6918\u20136934 (1999)","journal-title":"Biochemistry"},{"doi-asserted-by":"crossref","unstructured":"Hoxha, B., Dokhanchi, A., Fainekos, G.: Mining parametric temporal logic properties in model-based design for cyber-physical systems. Int. J. Softw. Tools Technol. Transf. (2017). http:\/\/dx.doi.org\/10.1007\/s10009-017-0447-4","key":"16_CR15","DOI":"10.1007\/s10009-017-0447-4"},{"key":"16_CR16","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":"SK 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. 5688, pp. 218\u2013234. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-03845-7_15"},{"issue":"11","key":"16_CR17","doi-asserted-by":"crossref","first-page":"1704","DOI":"10.1109\/TCAD.2015.2421907","volume":"34","author":"X Jin","year":"2015","unstructured":"Jin, X., Donz\u00e9, A., Deshmukh, J.V., Seshia, S.A.: Mining requirements from closed-loop control models. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 34(11), 1704\u20131717 (2015)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circ. Syst."},{"key":"16_CR18","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1002\/psp4.3","volume":"4","author":"N Juty","year":"2015","unstructured":"Juty, N., Ali, R., Glont, M., Keating, S., Rodriguez, N., Swat, M.J., Wimalaratne, S.M., Hermjakob, H., Le Nov\u00e8re, N., Laibe, C., Chelliah, V.: BioModels: content, features, functionality and use. CPT Pharmacomet. Syst. Pharmacol. 4, 55\u201368 (2015)","journal-title":"CPT Pharmacomet. Syst. Pharmacol."},{"issue":"430","key":"16_CR19","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1080\/01621459.1995.10476572","volume":"90","author":"RE Kass","year":"1995","unstructured":"Kass, R.E., Raftery, A.E.: Bayes factors. J. Am. Stat. Assoc. 90(430), 773\u2013795 (1995)","journal-title":"J. Am. Stat. Assoc."},{"issue":"6","key":"16_CR20","doi-asserted-by":"crossref","first-page":"1583","DOI":"10.1046\/j.1432-1327.2000.01197.x","volume":"267","author":"BN Kholodenko","year":"2000","unstructured":"Kholodenko, B.N.: Negative feedback and ultrasensitivity can bring about oscillations in the mitogen-activated protein kinase cascades. Eur. J. Biochem. 267(6), 1583\u20131588 (2000)","journal-title":"Eur. J. Biochem."},{"issue":"4598","key":"16_CR21","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S Kirkpatrick","year":"1983","unstructured":"Kirkpatrick, S., Gelatt, C.D., Vecchi, M.P., et al.: Optimization by simulated annealing. Science 220(4598), 671\u2013680 (1983)","journal-title":"Science"},{"issue":"43","key":"16_CR22","doi-asserted-by":"crossref","first-page":"25320","DOI":"10.1074\/jbc.270.43.25320","volume":"270","author":"WJ Langlois","year":"1995","unstructured":"Langlois, W.J., Sasaoka, T., Saltiel, A.R., Olefsky, J.M.: Negative feedback regulation and desensitization of insulin-and epidermal growth factor-stimulated p21 $$^{\\text{ ras }}$$ activation. J. Biol. Chem. 270(43), 25320\u201325323 (1995)","journal-title":"J. Biol. Chem."},{"issue":"Suppl. 1","key":"16_CR23","doi-asserted-by":"crossref","first-page":"D689","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., et al.: Biomodels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Res. 34(Suppl. 1), D689\u2013D691 (2006)","journal-title":"Nucleic Acids Res."},{"unstructured":"LeCun, Y., Bengio, Y.: The handbook of brain theory and neural networks. In: Convolutional Networks for Images, Speech, and Time Series, pp. 255\u2013258. MIT Press, Cambridge (1998). http:\/\/dl.acm.org\/citation.cfm?id=303568.303704","key":"16_CR24"},{"issue":"1","key":"16_CR25","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1038\/msb.2010.6","volume":"6","author":"L Neumann","year":"2010","unstructured":"Neumann, L., Pforr, C., Beaudouin, J., Pappa, A., Fricker, N., Krammer, P.H., Lavrik, I.N., Eils, R.: Dynamics within the CD95 death-inducing signaling complex decide life and death of cells. Mol. Syst. Biol. 6(1), 352 (2010)","journal-title":"Mol. Syst. Biol."},{"issue":"1","key":"16_CR26","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1023\/A:1008350810199","volume":"19","author":"E Onba\u015fo\u011flu","year":"2001","unstructured":"Onba\u015fo\u011flu, E., \u00d6zdamar, L.: Parallel simulated annealing algorithms in global optimization. J. Glob. Optim. 19(1), 27\u201350 (2001). http:\/\/dx.doi.org\/10.1023\/A:1008350810199","journal-title":"J. Glob. Optim."},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-642-40708-6_10","volume-title":"Computational Methods in Systems Biology","author":"SK Palaniappan","year":"2013","unstructured":"Palaniappan, S.K., Gyori, B.M., Liu, B., Hsu, D., Thiagarajan, P.S.: Statistical model checking based calibration and analysis of bio-pathway models. In: Gupta, A., Henzinger, T.A. (eds.) CMSB 2013. LNCS, vol. 8130, pp. 120\u2013134. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40708-6_10"},{"issue":"26","key":"16_CR28","doi-asserted-by":"crossref","first-page":"2827","DOI":"10.1016\/j.tcs.2010.05.008","volume":"412","author":"A Rizk","year":"2011","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor. Comput. Sci. 412(26), 2827\u20132839 (2011). http:\/\/dx.doi.org\/10.1016\/j.tcs.2010.05.008","journal-title":"Theor. Comput. Sci."},{"key":"16_CR29","volume-title":"CRC Standard Curves and Surfaces","author":"D Seggern von","year":"1993","unstructured":"von Seggern, D.: CRC Standard Curves and Surfaces, 1st edn. CRC Press, Boca Raton (1993)","edition":"1"},{"key":"16_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-319-08010-9_33","volume-title":"Web-Age Information Management","author":"Y Zheng","year":"2014","unstructured":"Zheng, Y., Liu, Q., Chen, E., Ge, Y., Zhao, J.L.: Time series classification using multi-channels deep convolutional neural networks. In: Li, F., Li, G., Hwang, S., Yao, B., Zhang, Z. (eds.) WAIM 2014. LNCS, vol. 8485, pp. 298\u2013310. Springer, Cham (2014). doi: 10.1007\/978-3-319-08010-9_33"},{"unstructured":"Zhou, J., Ramanathan, R., Wong, W.F., Thiagarajan, P.S.: Automated property synthesis of ODEs based bio-pathways models. http:\/\/www.comp.nus.edu.sg\/~zhoujun\/full_report.pdf","key":"16_CR31"}],"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-67471-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T20:43:19Z","timestamp":1570048999000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67471-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319674704","9783319674711"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67471-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}