{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:18:03Z","timestamp":1763468283805},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319269153"},{"type":"electronic","value":"9783319269160"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-26916-0_11","type":"book-chapter","created":{"date-parts":[[2016,1,9]],"date-time":"2016-01-09T00:44:21Z","timestamp":1452300261000},"page":"195-210","source":"Crossref","is-referenced-by-count":4,"title":["Model Checking Tap Withdrawal in C. Elegans"],"prefix":"10.1007","author":[{"given":"Md. Ariful","family":"Islam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"De Francisco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chuchu","family":"Fan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sayan","family":"Mitra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,10]]},"reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-71493-4_16","volume-title":"Hybrid Systems: Computation and Control","author":"A Donz\u00e9","year":"2007","unstructured":"Donz\u00e9, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 174\u2013189. Springer, Heidelberg (2007)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Mitra, S., Viswanathan, M.: Verification of annotated models from executions. In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, Canada. IEEE, September\u2013October 2013","DOI":"10.1109\/EMSOFT.2013.6658604"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/978-3-662-46681-0_5","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"PS Duggirala","year":"2015","unstructured":"Duggirala, P.S., Mitra, S., Viswanathan, M., Potok, M.: C2E2: a verification tool for stateflow models. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 68\u201382. Springer, Heidelberg (2015)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-06410-9_16","volume-title":"FM 2014: Formal Methods","author":"PS Duggirala","year":"2014","unstructured":"Duggirala, P.S., Wang, L., Mitra, S., Viswanathan, M., Mu\u00f1oz, C.: Temporal precedence checking for switched models and its application to a parallel landing protocol. In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014. LNCS, vol. 8442, pp. 215\u2013229. Springer, Heidelberg (2014)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Fan, C., Mitra, S.: Bounded verification using on-the-fly discrepancy computation. Technical report UILU-ENG-15-2201, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, February 2015","DOI":"10.1007\/978-3-319-24953-7_32"},{"key":"11_CR6","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)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1113\/jphysiol.1952.sp004764","volume":"117","author":"AL Hodgkin","year":"1952","unstructured":"Hodgkin, A.L., Huxley, A.F.: A quantitative description of membrane current and its application to conduction and excitation in nerve. J. Physio. 117, 500\u2013544 (1952)","journal-title":"J. Physio."},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/978-3-319-08867-9_25","volume-title":"Computer Aided Verification","author":"Z Huang","year":"2014","unstructured":"Huang, Z., Fan, C., Mereacre, A., Mitra, S., Kwiatkowska, M.: Invariant verification of nonlinear hybrid automata networks of cardiac cells. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 373\u2013390. Springer, Heidelberg (2014)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Islam, M.A., Murthy, A., Girard, A., Smolka, S.A., Grosu, R.: Compositionality results for cardiac cell dynamics. In: Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control. ACM (2014)","DOI":"10.1145\/2562059.2562138"},{"key":"11_CR10","unstructured":"Iyengar, S.M., Talcott, C., Mozzachiodi, R., Cataldo, E., Baxter, D.A.:Executable symbolic models of neural processes. Netw. tools appl. biol. NETTAB07 (2007)"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1016\/S0005-1098(98)00019-3","volume":"34","author":"W Lohmiller","year":"1998","unstructured":"Lohmiller, W., Slotine, J.J.E.: On contraction analysis for non-linear systems. Automatica 34, 683\u2013696 (1998)","journal-title":"Automatica"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Murthy, A., Islam, M.A., Grosu, R. Smolka, S.A.: Computing bisimulation functions using SOS optimization and delta-decidability over the reals. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. ACM (2015)","DOI":"10.1145\/2728606.2728609"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-540-88562-7_27","volume-title":"Computational Methods in Systems Biology","author":"A Tiwari","year":"2008","unstructured":"Tiwari, A., Talcott, C.: Analyzing a discrete model of aplysia central pattern. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 347\u2013366. Springer, Heidelberg (2008)"},{"key":"11_CR14","unstructured":"Varshney, L.R.: Individual differences (2015). \n                      http:\/\/blog.openworm.org\/post\/107263481195\/individual-differences"},{"issue":"3","key":"11_CR15","doi-asserted-by":"crossref","first-page":"2434","DOI":"10.1523\/JNEUROSCI.15-03-02434.1995","volume":"15","author":"SR Wicks","year":"1995","unstructured":"Wicks, S.R., Rankin, C.H.: Integration of mechanosensory stimuli in caenorhabditis elegans. J. Neurosci. 15(3), 2434\u20132444 (1995)","journal-title":"J. Neurosci."},{"issue":"12","key":"11_CR16","doi-asserted-by":"crossref","first-page":"4017","DOI":"10.1523\/JNEUROSCI.16-12-04017.1996","volume":"16","author":"SR Wicks","year":"1996","unstructured":"Wicks, S.R., Roehrig, C.J., Rankin, C.H.: A dynamic network simulation of the nematode tap withdrawal circuit: predictions concerning synaptic function using behavioral criteria. J. Neurosci. 16(12), 4017\u20134031 (1996)","journal-title":"J. Neurosci."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26916-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T04:59:12Z","timestamp":1559365152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26916-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319269153","9783319269160"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26916-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}