{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,26]],"date-time":"2026-10-26T16:48:22Z","timestamp":1793033302925,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540885610","type":"print"},{"value":"9783540885627","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88562-7_19","type":"book-chapter","created":{"date-parts":[[2008,10,4]],"date-time":"2008-10-04T09:12:53Z","timestamp":1223111573000},"page":"251-268","source":"Crossref","is-referenced-by-count":56,"title":["On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology"],"prefix":"10.1007","author":[{"given":"Aur\u00e9lien","family":"Rizk","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gr\u00e9gory","family":"Batt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Formal Models and Sematics","first-page":"995","volume-title":"Handbook of Theoretical Computer Science","author":"E. Emerson","year":"1990","unstructured":"Emerson, E.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Sematics, vol.\u00a0B, pp. 995\u20131072. MIT Press, Cambridge (1990)"},{"key":"19_CR2","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., S\u00f6nmez, M.K.: Pathway logic: Symbolic analysis of biological signaling. In: Proceedings of the seventh Pacific Symposium on Biocomputing, pp. 400\u2013412 (2002)","DOI":"10.1142\/9789812799623_0038"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-540-36481-1_13","volume-title":"Computational Methods in Systems Biology","author":"N. Chabrier","year":"2003","unstructured":"Chabrier, N., Fages, F.: Symbolic model checking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 149\u2013162. Springer, Heidelberg (2003)"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Sch\u00e4chter, V.: Modeling and querying biochemical interaction networks. Theoretical Computer Science\u00a0325, 25\u201344 (2004)","journal-title":"Theoretical Computer Science"},{"key":"19_CR6","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.: A fruitful application of formal methods to biological regulatory networks: Extending thomas\u2019 asynchronous logical approach with temporal logic. Journal of Theoretical Biology\u00a0229, 339\u2013347 (2004)","journal-title":"Journal of Theoretical Biology"},{"key":"19_CR7","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/11880646_3","volume-title":"Transactions on Computational Systems Biology VI","author":"M. Calder","year":"2006","unstructured":"Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of signalling pathways using the continuous time markow chains. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 44\u201367. Springer, Heidelberg (2006) (CMSB 2005 Special Issue)"},{"key":"19_CR8","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11885191_3","volume-title":"Computational Methods in Systems Biology","author":"J. Heath","year":"2006","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, pp. 32\u201347. Springer, Heidelberg (2006)"},{"key":"19_CR9","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11880646_4","volume-title":"Transactions on Computational Systems Biology VI","author":"L. Calzone","year":"2006","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: Machine learning biochemical networks from temporal logic properties. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 68\u201394. Springer, Heidelberg (2006) (CMSB 2005 Special Issue)"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1385\/CBB:38:3:271","volume":"38","author":"M. Antoniotti","year":"2003","unstructured":"Antoniotti, M., Policriti, A., Ugel, N., Mishra, B.: Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics\u00a038, 271\u2013286 (2003)","journal-title":"Cell Biochemistry and Biophysics"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1093\/bioinformatics\/bti1048","volume":"21","author":"G. Batt","year":"2005","unstructured":"Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Mateescu, R., Page, M., Schneider, D.: Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli. Bioinformatics\u00a021, i19\u2013i28 (2005)","journal-title":"Bioinformatics"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11680093_1","volume-title":"Logic Based Program Synthesis and Transformation","author":"F. Fages","year":"2006","unstructured":"Fages, F.: Temporal logic constraints in the biochemical abstract machine BIOCHAM (invited talk). In: Hill, P.M. (ed.) LOPSTR 2005. LNCS, vol.\u00a03901, pp. 1\u20135. Springer, Heidelberg (2006)"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"2703","DOI":"10.1091\/mbc.10.8.2703","volume":"10","author":"K.W. Kohn","year":"1999","unstructured":"Kohn, K.W.: Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell\u00a010, 2703\u20132734 (1999)","journal-title":"Molecular Biology of the Cell"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Fages, F., Rizk, A.: On temporal logic constraint solving for the analysis of numerical data time series. Theoretical Computer Science (2008) (CMSB 2007 special issue)","DOI":"10.1016\/j.tcs.2008.07.004"},{"key":"19_CR15","doi-asserted-by":"publisher","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\u00a023, 2415\u20132422 (2007)","journal-title":"Bioinformatics"},{"key":"19_CR16","volume-title":"Modeling dynamic phenomena in molecular and cellular biology","author":"L.A. Segel","year":"1984","unstructured":"Segel, L.A.: Modeling dynamic phenomena in molecular and cellular biology. Cambridge University Press, Cambridge (1984)"},{"key":"19_CR17","volume-title":"System Modeling in Cellular Biology: From Concepts to Nuts and Bolts","year":"2006","unstructured":"Szallasi, Z., Stelling, J., Periwal, V. (eds.): System Modeling in Cellular Biology: From Concepts to Nuts and Bolts. MIT Press, Cambridge (2006)"},{"key":"19_CR18","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"Hucka, M., et al.: The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics\u00a019, 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"key":"19_CR19","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry\u00a04, 64\u201373 (2004)","journal-title":"Journal of Biological Physics and Chemistry"},{"key":"19_CR20","doi-asserted-by":"publisher","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\u00a022, 1805\u20131807 (2006)","journal-title":"BioInformatics"},{"key":"19_CR21","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-75140-3_14","volume-title":"Computational Methods in Systems Biology","author":"D. Gilbert","year":"2007","unstructured":"Gilbert, D., Heiner, M., Lehrack, S.: A unifying framework for modelling and analysing biochemical pathways using petri nets. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 200\u2013216. Springer, Heidelberg (2007)"},{"key":"19_CR22","unstructured":"Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid petri net representation of gene regulatory network. In: Proceedings of the 5th Pacific Symposium on Biocomputing, pp. 338\u2013349 (2000)"},{"key":"19_CR23","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name passing calculus to representation and simulation of molecular processes. Information Processing Letters\u00a080, 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"key":"19_CR24","unstructured":"Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. Transactions on Computational Systems Biology, Special issue of BioConcur 2004 (to appear, 2004)"},{"key":"19_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-540-75454-1_22","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"D. Nickovic","year":"2007","unstructured":"Nickovic, D., Maler, O.: Amt: a property-based monitoring tool for analog systems. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol.\u00a04763, pp. 304\u2013319. Springer, Heidelberg (2007)"},{"key":"19_CR26","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1038\/msb4100179","volume":"3","author":"H. Kitano","year":"2007","unstructured":"Kitano, H.: Towards a theory of biological robustness. Molecular Systems Biology\u00a03, 137 (2007)","journal-title":"Molecular Systems Biology"},{"key":"19_CR27","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1162\/106365601750190398","volume":"9","author":"N. Hansen","year":"2001","unstructured":"Hansen, N., Ostermeier, A.: Completely derandomized self-adaptation in evolution strategies. Evolutionary Computation\u00a09, 159\u2013195 (2001)","journal-title":"Evolutionary Computation"},{"key":"19_CR28","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1091\/mbc.11.1.369","volume":"11","author":"K.C. Chen","year":"2000","unstructured":"Chen, K.C., Csik\u00e1sz-Nagy, A., Gy\u00f6rffy, B., Val, J., Nov\u00e0k, B., Tyson, J.J.: Kinetic analysis of a molecular model of the budding yeast cell cycle. Molecular Biology of the Cell\u00a011, 369\u2013391 (2000)","journal-title":"Molecular Biology of the Cell"},{"key":"19_CR29","doi-asserted-by":"publisher","first-page":"5818","DOI":"10.1073\/pnas.97.11.5818","volume":"97","author":"A. Levchenko","year":"2000","unstructured":"Levchenko, A., Bruck, J., Sternberg, P.W.: Scaffold proteins biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. PNAS\u00a097, 5818\u20135823 (2000)","journal-title":"PNAS"},{"key":"19_CR30","doi-asserted-by":"publisher","first-page":"1819","DOI":"10.1371\/journal.pcbi.0030184","volume":"3","author":"L. Qiao","year":"2007","unstructured":"Qiao, L., Nachbar, R.B., Kevrekidis, I.G., Shvartsman, S.Y.: Bistability and oscillations in the huang-ferrell model of mapk signaling. PLoS Computational Biology\u00a03, 1819\u20131826 (2007)","journal-title":"PLoS Computational Biology"},{"key":"19_CR31","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68413-8_7","volume-title":"Formal Methods in Systems Biology","author":"F. Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: From reaction models to influence graphs and back: a theorem. In: Fisher, J. (ed.) FMSB 2008. LNCS (LNBI), vol.\u00a05054. Springer, Heidelberg (2008)"},{"key":"19_CR32","doi-asserted-by":"crossref","unstructured":"Ventura, A.C., Sepulchre, J.A., Merajver, S.D.: A hidden feedback in signaling cascades is revealed. PLoS Computational Biology (to appear, 2008)","DOI":"10.1371\/journal.pcbi.1000041"},{"key":"19_CR33","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1364644.1364651","volume":"35","author":"M. Kwiatkowska","year":"2008","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Using probabilistic model checking in systems biology. SIGMETRICS Performance Evaluation Review\u00a035, 14\u201321 (2008)","journal-title":"SIGMETRICS Performance Evaluation Review"},{"key":"19_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-27836-8_11","volume-title":"Automata, Languages and Programming","author":"L. Alfaro de","year":"2004","unstructured":"de Alfaro, L., Faella, M., Stoelinga, M.: Linear and branching metrics for quantitative transition systems. In: D\u00edaz, J., Karhum\u00e4ki, J., Lepist\u00f6, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol.\u00a03142, pp. 97\u2013109. Springer, Heidelberg (2004)"},{"key":"19_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/11940197_12","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"G. Fainekos","year":"2006","unstructured":"Fainekos, G., Pappas, G.: Robustness of temporal logic specifications. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol.\u00a04262, pp. 178\u2013192. Springer, Heidelberg (2006)"},{"key":"19_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-75454-1_12","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"G. Fainekos","year":"2007","unstructured":"Fainekos, G., Pappas, G.: Robust sampling for MITL specifications. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol.\u00a04763, pp. 147\u2013162. Springer, Heidelberg (2007)"},{"key":"19_CR37","doi-asserted-by":"crossref","unstructured":"Dang, T., Donze, A., Maler, O., Shalev, N.: Sensitive state space exploration (submitted, 2008), http:\/\/www-verimag.imag.fr\/~maler\/","DOI":"10.1109\/CDC.2008.4739371"},{"key":"19_CR38","unstructured":"Chaves, M., Sontag, E., Sengupta, A.: Shape, size and robustness: feasible regions in the parameter space of biochemical networks (submitted, 2008) arXiv:0710.4269v1"}],"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-540-88562-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T10:55:46Z","timestamp":1738407346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88562-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540885610","9783540885627"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88562-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}