{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:54:15Z","timestamp":1725807255794},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319117362"},{"type":"electronic","value":"9783319117379"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11737-9_11","type":"book-chapter","created":{"date-parts":[[2014,10,15]],"date-time":"2014-10-15T00:52:14Z","timestamp":1413334334000},"page":"155-170","source":"Crossref","is-referenced-by-count":7,"title":["An LTL Model Checking Approach for Biological Parameter Inference"],"prefix":"10.1007","author":[{"given":"Emmanuelle","family":"Gallet","sequence":"first","affiliation":[]},{"given":"Matthieu","family":"Manceny","sequence":"additional","affiliation":[]},{"given":"Pascale","family":"Le Gall","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Ballarini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (2008)"},{"issue":"3","key":"11_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., Safr\u00e1nek, D., Vejnar, M., Vejpustek, T.: On parameter synthesis by parallel model checking. IEEE\/ACM Trans. Comput. Biology Bioinform.\u00a09(3), 693\u2013705 (2012)","journal-title":"IEEE\/ACM Trans. Comput. Biology Bioinform."},{"issue":"3","key":"11_CR3","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","volume":"229","author":"G. Bernot","year":"2004","unstructured":"Bernot, G., Comet, J.-P., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: extending Thomas\u2019 asynchronous logical approach with temporal logic. Journal of Theoretical Biology\u00a0229(3), 339\u2013347 (2004)","journal-title":"Journal of Theoretical Biology"},{"key":"11_CR4","unstructured":"Bodden, E.: LTL2BA4J Software. RWTH Aachen University (2011), \n                  \n                    http:\/\/www.sable.mcgill.ca\/~ebodde\/rv\/ltl2ba4j\/"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1186\/1471-2105-11-385","volume":"11","author":"F. Corblin","year":"2010","unstructured":"Corblin, F., Fanchon, E., Trilling, L.: Applications of a formal approach to decipher discrete genetic networks. BMC Bioinformatics\u00a011, 385 (2010)","journal-title":"BMC Bioinformatics"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.biosystems.2009.07.007","volume":"98","author":"F. Corblin","year":"2009","unstructured":"Corblin, F., Tripodi, S., Fanchon, E., Ropers, D., Trilling, L.: A declarative constraint-based method for analyzing discrete genetic regulatory networks. BioSystems\u00a098, 91\u2013104 (2009)","journal-title":"BioSystems"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1186\/1471-2105-7-272","volume":"7","author":"D. Filopon","year":"2006","unstructured":"Filopon, D., M\u00e9rieau, A., Bernot, G., Comet, J.-P., Leberre, R., Guery, B., Polack, B., Guespin, J.: Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa. BMC Bioinformatics\u00a07, 272\u2013282 (2006)","journal-title":"BMC Bioinformatics"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Fromentin, J., Comet, J.-P., Le Gall, P., Roux, O.: Analysing gene regulatory networks by both constraint programming and model-checking. In: 29th IEEE Engineering in Medicine and Biology Society, EMBC 2007, pp. 4595\u20134598 (2007)","DOI":"10.1109\/IEMBS.2007.4353363"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-44585-4_6","volume-title":"Computer Aided Verification","author":"P. Gastin","year":"2001","unstructured":"Gastin, P., Oddoux, D.: Fast LTL to b\u00fcchi automata translation. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 53\u201365. Springer, Heidelberg (2001)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11754008_1","volume-title":"Testing of Communicating Systems","author":"C. Gaston","year":"2006","unstructured":"Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic execution techniques for test purpose definition. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 1\u201318. Springer, Heidelberg (2006)"},{"key":"11_CR12","unstructured":"Khalis, Z., Comet, J.-P., Richard, A., Bernot, G.: The SMBioNet method for discovering models of gene regulatory networks. Genes, Genomes and Genomics 3(special issue 1), 15\u201322 (2009)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-33636-2_13","volume-title":"Computational Methods in Systems Biology","author":"H. Klarner","year":"2012","unstructured":"Klarner, H., Streck, A., \u0160afr\u00e1nek, D., Kol\u010d\u00e1k, J., Siebert, H.: Parameter identification and model ranking of thomas networks. In: Gilbert, D., Heiner, M. (eds.) CMSB 2012. LNCS, vol.\u00a07605, pp. 207\u2013226. Springer, Heidelberg (2012)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Mateus, D., Gallois, J.-P., Comet, J.-P., Le Gall, P.: Symbolic modeling of genetic regulatory networks. Journal of Bioinformatics and Computational Biology\u00a05(2B), 627\u2013640 (2007)","DOI":"10.1142\/S0219720007002850"},{"key":"11_CR15","first-page":"46","volume-title":"Proceedings of the 18th Annual Symposium on Foundations of Computer Science, SFCS 1977","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, SFCS 1977, pp. 46\u201357. IEEE Computer Society, Washington, DC (1977)"},{"key":"11_CR16","unstructured":"Richard, A.: SMBioNet User manual (2010), \n                  \n                    http:\/\/www.i3s.unice.fr\/~richard\/smbionet\/"},{"issue":"5","key":"11_CR17","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1007\/BF02460695","volume":"55","author":"E. Snoussi","year":"1993","unstructured":"Snoussi, E., Thomas, R.: Logical identification of all steady states: the concept of feedback loop characteristic states. Bull. Math. Biol.\u00a055(5), 973\u2013991 (1993)","journal-title":"Bull. Math. Biol."},{"key":"11_CR18","first-page":"144","volume":"2","author":"D. Thieffry","year":"1993","unstructured":"Thieffry, D., Colet, M., Thomas, R.: Formalisation of regulatory networks: a logical method and its automation. Math. Modelling and Sci. Computing\u00a02, 144\u2013151 (1993)","journal-title":"Math. Modelling and Sci. Computing"},{"issue":"2","key":"11_CR19","first-page":"277","volume":"57","author":"D. Thieffry","year":"1995","unstructured":"Thieffry, D., Thomas, R.: Dynamical behaviour of biological regulatory networks - II. immunity control in bacteriophage lambda. Bull. Math. Biol.\u00a057(2), 277\u2013297 (1995)","journal-title":"Bull. Math. Biol."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11737-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T04:29:53Z","timestamp":1559017793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11737-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319117362","9783319117379"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11737-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}