{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T11:21:21Z","timestamp":1768908081789,"version":"3.49.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319489889","type":"print"},{"value":"9783319489896","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48989-6_6","type":"book-chapter","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T01:31:19Z","timestamp":1478482279000},"page":"85-101","source":"Crossref","is-referenced-by-count":10,"title":["A Model Checking Approach to Discrete Bifurcation Analysis"],"prefix":"10.1007","author":[{"given":"Nikola","family":"Bene\u0161","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lubo\u0161","family":"Brim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Demko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Pastva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"\u0160afr\u00e1nek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,8]]},"reference":[{"key":"6_CR1","volume-title":"Handbook of Modal Logic","author":"C Areces","year":"2007","unstructured":"Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Elsevier, Amsterdam (2007)"},{"issue":"1","key":"6_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/1471-2105-12-490","volume":"12","author":"G Arellano","year":"2011","unstructured":"Arellano, G., Argil, J., Azpeitia, E., Ben\u00edtez, M., Carrillo, M., G\u00f3ngora, P., Rosenblueth, D.A., Alvarez-Buylla, E.R.: \u201cAntelope\": a hybrid-logic model checker for branching-time Boolean GRN analysis. BMC Bioinform. 12(1), 1\u201315 (2011). http:\/\/dx.doi.org\/10.1186\/1471-2105-12-490","journal-title":"BMC Bioinform."},{"issue":"3","key":"6_CR3","doi-asserted-by":"crossref","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., Safranek, D., Vejnar, M., Vejpustek, T.: On parameter synthesis by parallel model checking. IEEE\/ACM Trans. Computat. Biol. Bioinform. 9(3), 693\u2013705 (2012)","journal-title":"IEEE\/ACM Trans. Computat. Biol. Bioinform."},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-71209-1_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G Batt","year":"2007","unstructured":"Batt, G., Belta, C., Weiss, R.: Model checking liveness properties of genetic regulatory networks. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 323\u2013338. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71209-1_25"},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.scico.2010.07.002","volume":"76","author":"MH Beek ter","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76, 119\u2013135 (2011)","journal-title":"Sci. Comput. Program."},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-319-46520-3_13","volume-title":"Automated Technology for Verification and Analysis","author":"N Bene\u0161","year":"2016","unstructured":"Bene\u0161, N., Brim, L., Demko, M., Pastva, S., \u0160afr\u00e1nek, D.: Parallel SMT-based parameter synthesis with application to piecewise multi-affine systems. In: Artho, C., Legay, A., Peled, D. (eds.) ATVA 2016. LNCS, vol. 9938, pp. 192\u2013208. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-46520-3_13"},{"issue":"3","key":"6_CR7","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1093\/imanum\/10.3.379","volume":"10","author":"WJ Beyn","year":"1990","unstructured":"Beyn, W.J.: The numerical computation of connecting orbits in dynamical systems. IMA J. Num. Anal. 10(3), 379\u2013405 (1990)","journal-title":"IMA J. Num. Anal."},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-319-26916-0_4","volume-title":"Hybrid Systems Biology","author":"L Brim","year":"2015","unstructured":"Brim, L., Demko, M., Pastva, S., \u0160afr\u00e1nek, D.: High-performance discrete bifurcation analysis for piecewise-affine dynamical systems. In: Abate, A., \u0160afr\u00e1nek, D. (eds.) HSB 2015. LNCS, vol. 9271, pp. 58\u201374. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-26916-0_4"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-319-23401-4_21","volume-title":"Computational Methods in Systems Biology","author":"L Brim","year":"2015","unstructured":"Brim, L., \u010ce\u0161ka, M., Demko, M., Pastva, S., \u0160afr\u00e1nek, D.: Parameter synthesis by parallel coloured CTL model checking. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 251\u2013263. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-23401-4_21"},{"issue":"4","key":"6_CR10","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1007\/s00165-005-0071-z","volume":"17","author":"S Chaki","year":"2005","unstructured":"Chaki, S., Clarke, E., Ouaknine, J., Sharygina, N., Sinha, N.: Concurrent software verification with states, events, and deadlocks. Formal Aspects Comput. 17(4), 461\u2013483 (2005). http:\/\/dx.doi.org\/10.1007\/s00165-005-0071-z","journal-title":"Formal Aspects Comput."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001). http:\/\/books.google.de\/books?id=Nmc4wEaLXFEC","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Collins, P., Habets, L.C., van Schuppen, J.H., \u010cern\u00e1, I., Fabrikov\u00e1, J., \u0160afr\u00e1nek, D.: Abstraction of biochemical reaction systems on polytopes. In: IFAC World Congress, pp. 14869\u201314875. IFAC (2011)","DOI":"10.3182\/20110828-6-IT-1002.03317"},{"issue":"2","key":"6_CR13","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1145\/201019.201032","volume":"42","author":"R Nicola De","year":"1995","unstructured":"De Nicola, R., Vaandrager, F.: Three logics for branching bisimulation. J. ACM 42(2), 458\u2013487 (1995). http:\/\/doi.acm.org\/10.1145\/201019.201032","journal-title":"J. ACM"},{"key":"6_CR14","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1016\/j.cma.2015.07.017","volume":"296","author":"T Detroux","year":"2015","unstructured":"Detroux, T., Renson, L., Masset, L., Kerschen, G.: The harmonic balance method for bifurcation analysis of large-scale nonlinear mechanical systems. Comput. Methods Appl. Mech. Eng. 296, 18\u201338 (2015)","journal-title":"Comput. Methods Appl. Mech. Eng."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Gallet, E., Manceny, M., Le Gall, P., Ballarini, P.: Adapting LTL model checking for inferring biological parameters. In: Proceedings of the Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels (AFADL), pp. 46\u201360 (2014)","DOI":"10.1007\/978-3-319-11737-9_11"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Govaerts, W.: Numerical bifurcation analysis for ODEs. J. Comput. Appl. Math. 125(12), 57\u201368 (2000). (numerical Analysis 2000. Vol. VI: Ordinary Differential Equations and Integral Equations)","DOI":"10.1016\/S0377-0427(00)00458-1"},{"key":"6_CR17","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., 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). doi: 10.1007\/978-3-642-22110-1_31"},{"issue":"1","key":"6_CR18","first-page":"15","volume":"3","author":"Z Khalis","year":"2009","unstructured":"Khalis, Z., Comet, J.P., Richard, A., Bernot, G.: The SMBioNet method for discovering models of gene regulatory networks. Genes Genomes Genomics 3(1), 15\u201322 (2009)","journal-title":"Genes Genomes Genomics"},{"issue":"3","key":"6_CR19","doi-asserted-by":"crossref","first-page":"981","DOI":"10.1016\/j.jcss.2011.08.006","volume":"78","author":"O Kupferman","year":"2012","unstructured":"Kupferman, O., Pnueli, A., Vardi, M.Y.: Once and for all. J. Comput. Syst. Sci. 78(3), 981\u2013996 (2012). http:\/\/dx.doi.org\/10.1016\/j.jcss.2011.08.006","journal-title":"J. Comput. Syst. Sci."},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-88387-6_6","volume-title":"Automated Technology for Verification and Analysis","author":"R Mateescu","year":"2008","unstructured":"Mateescu, R., Monteiro, P.T., Dumas, E., Jong, H.: Computation tree regular logic for genetic regulatory networks. In: Cha, S.S., Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 48\u201363. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-88387-6_6"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-48294-6_22","volume-title":"Static Analysis","author":"M M\u00fcller-Olm","year":"1999","unstructured":"M\u00fcller-Olm, M., Schmidt, D., Steffen, B.: Model-checking: a tutorial introduction. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol. 1694, pp. 330\u2013354. Springer, Heidelberg (1999). doi: 10.1007\/3-540-48294-6_22"},{"issue":"12","key":"6_CR22","doi-asserted-by":"crossref","first-page":"i169","DOI":"10.1093\/bioinformatics\/btp200","volume":"25","author":"A Rizk","year":"2009","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25(12), i169\u2013i17 (2009)","journal-title":"Bioinformatics"},{"issue":"10","key":"6_CR23","doi-asserted-by":"crossref","first-page":"1506","DOI":"10.1093\/bioinformatics\/bth110","volume":"20","author":"M Swat","year":"2004","unstructured":"Swat, M., Kel, A., Herzel, H.: Bifurcation analysis of the regulatory modules of the mammalian G1\/S transition. Bioinformatics 20(10), 1506\u20131511 (2004)","journal-title":"Bioinformatics"}],"container-title":["Lecture Notes in Computer Science","FM 2016: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48989-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T05:52:04Z","timestamp":1568526724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48989-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319489889","9783319489896"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48989-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}