{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T04:01:42Z","timestamp":1746504102692,"version":"3.40.4"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319129815"},{"type":"electronic","value":"9783319129822"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12982-2_9","type":"book-chapter","created":{"date-parts":[[2014,10,20]],"date-time":"2014-10-20T06:26:34Z","timestamp":1413786394000},"page":"114-128","source":"Crossref","is-referenced-by-count":2,"title":["Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock"],"prefix":"10.1007","author":[{"given":"Pauline","family":"Traynard","sequence":"first","affiliation":[]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","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":"9_CR2","doi-asserted-by":"crossref","unstructured":"Batt, G., Page, M., Cantone, I., Goessler, G., Monteiro, P., de Jong, H.: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics 26(18), i603\u2013i610 (2010)","DOI":"10.1093\/bioinformatics\/btq387"},{"key":"9_CR3","doi-asserted-by":"crossref","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 21(suppl.1), i19\u2013i28 (2005)","DOI":"10.1093\/bioinformatics\/bti1048"},{"issue":"3","key":"9_CR4","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(3), 339\u2013347 (2004)","journal-title":"Journal of Theoretical Biology"},{"key":"9_CR5","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":"9_CR6","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)"},{"key":"9_CR7","first-page":"238","volume-title":"POPL 1977: Proceedings of the 6th ACM Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977: Proceedings of the 6th ACM Symposium on Principles of Programming Languages, pp. 238\u2013252. ACM Press, New York (1977)"},{"issue":"2","key":"9_CR8","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.bulm.2003.08.010","volume":"66","author":"H. de Jong","year":"2004","unstructured":"de Jong, H., Gouz\u00e9, J.-L., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bulletin of Mathematical Biology\u00a066(2), 301\u2013340 (2004)","journal-title":"Bulletin of Mathematical Biology"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-642-39799-8_19","volume-title":"Computer Aided Verification","author":"A. Donz\u00e9","year":"2013","unstructured":"Donz\u00e9, A., Ferr\u00e8re, T., Maler, O.: Efficient robust monitoring for STL. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol.\u00a08044, pp. 264\u2013279. Springer, Heidelberg (2013)"},{"key":"9_CR10","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.\u00a06246, pp. 92\u2013106. Springer, Heidelberg (2010)"},{"key":"9_CR11","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 (January 2002)","DOI":"10.1142\/9789812799623_0038"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1016\/j.cell.2004.11.015","volume":"119","author":"N. Emi","year":"2004","unstructured":"Emi, N., Camille, S., Christoph, B., Thierry, L., Felix, N., Schibler, U.: Circadian gene expression in individual fibroblasts: cell-autonomous and self-sustained oscillators pass time to daughter cells. Cell\u00a0119, 693\u2013705 (2004)","journal-title":"Cell"},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.tcs.2008.07.004","volume":"408","author":"F. Fages","year":"2008","unstructured":"Fages, F., Rizk, A.: On temporal logic constraint solving for the analysis of numerical data time series. Theoretical Computer Science\u00a0408(1), 55\u201365 (2008)","journal-title":"Theoretical Computer Science"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Fages, F., Traynard, P.: Temporal logic modeling of dynamical behaviors: First-order patterns and solvers. In: del Cerro, L.F., Inoue, K. (eds.) Logical Modeling of Biological Systems, ch.8, pp. 307\u2013338. ISTE Ltd. (2014)","DOI":"10.1002\/9781119005223.ch8"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Heitzler, D., Durand, G., Gallay, N., Rizk, A., Ahn, S., Kim, J., Violin, J.D., Dupuy, L., Gauthier, C., Piketty, V., Cr\u00e9pieux, P., Poupon, A., Cl\u00e9ment, F., Fages, F., Lefkowitz, R.J., Reiter, E.: Competing G protein-coupled receptor kinases balance G protein and \u03b2-arrestin signaling. Molecular Systems Biology 8(590) (June 2012)","DOI":"10.1038\/msb.2012.22"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"7051","DOI":"10.1073\/pnas.1132112100","volume":"100","author":"J.-C. Leloup","year":"2003","unstructured":"Leloup, J.-C., Goldbeter, A.: Toward a detailed computational model for the mammalian circadian clock. Proceedings of the National Academy of Sciences\u00a0100, 7051\u20137056 (2003)","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-540-45187-7_17","volume-title":"CONCUR 2003 - Concurrency Theory","author":"N. Markey","year":"2003","unstructured":"Markey, N., Schnoebelen, P.: Model checking a path. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 251\u2013265. Springer, Heidelberg (2003)"},{"issue":"5643","key":"9_CR18","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1126\/science.1086271","volume":"302","author":"T. Matsuo","year":"2003","unstructured":"Matsuo, T., Yamaguchi, S., Mitsui, S., Emi, A., Shimoda, F., Okamura, H.: Control mechanism of the circadian clock for timing of cell division in vivo. Science\u00a0302(5643), 255\u2013259 (2003)","journal-title":"Science"},{"issue":"6","key":"9_CR19","doi-asserted-by":"publisher","first-page":"3600","DOI":"10.1016\/S0006-3495(03)74778-X","volume":"85","author":"Z. Qu","year":"2003","unstructured":"Qu, Z., MacLellan, W.R., Weiss, J.N.: Dynamics of the cell cycle: checkpoints, sizers, and timers. Biophysics Journal\u00a085(6), 3600\u20133611 (2003)","journal-title":"Biophysics Journal"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 12(25), il69\u2013il78 (2009)","DOI":"10.1093\/bioinformatics\/btp200"},{"issue":"26","key":"9_CR21","doi-asserted-by":"publisher","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. Theoretical Computer Science\u00a0412(26), 2827\u20132839 (2011)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"9_CR22","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/s10515-005-6205-y","volume":"12","author":"G. Ro\u015fu","year":"2005","unstructured":"Ro\u015fu, G., Havelund, K.: Rewriting-based techniques for runtime verification. Automated Software Engineering\u00a012(2), 151\u2013197 (2005)","journal-title":"Automated Software Engineering"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Stoma, S., Donz\u00e9, A., Bertaux, F., Maler, O., Batt, G.: STL-based analysis of TRAIL-induced apoptosis challenges the notion of type I\/type II cell line classification. PLoS Computational Biology 9(5), e1003056 (2013)","DOI":"10.1371\/journal.pcbi.1003056"}],"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-12982-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T06:39:30Z","timestamp":1746427170000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-12982-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319129815","9783319129822"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12982-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}