{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T20:38:58Z","timestamp":1757623138765,"version":"3.44.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032014351"},{"type":"electronic","value":"9783032014368"}],"license":[{"start":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T00:00:00Z","timestamp":1755561600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T00:00:00Z","timestamp":1755561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-01436-8_9","type":"book-chapter","created":{"date-parts":[[2025,8,18]],"date-time":"2025-08-18T03:25:31Z","timestamp":1755487531000},"page":"153-173","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reachability Analysis for\u00a0Parametric Rule-Based Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2601-2785","authenticated-orcid":false,"given":"J\u00e9r\u00f4me","family":"Feret","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0009-8117-2659","authenticated-orcid":false,"given":"Rebecca","family":"Ghidini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,19]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","unstructured":"Bene\u0161, N., Brim, L., Huvar, O., Pastva, S., \u0160afr\u00e1nek, D., Smij\u00e1kov\u00e1, E.: Aeon.py: Python library for attractor analysis in asynchronous Boolean networks. Bioinformatics 38(21), 4978\u20134980 (2022). https:\/\/doi.org\/10.1093\/BIOINFORMATICS\/BTAC624","DOI":"10.1093\/BIOINFORMATICS\/BTAC624"},{"key":"9_CR2","doi-asserted-by":"publisher","unstructured":"Bene\u0161, N., Brim, L., Pastva, S., \u0160afr\u00e1nek, D., Smij\u00e1kov\u00e1, E.: Phenotype control of partially specified Boolean networks. In: Pang, J., Niehren, J. (eds.) Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, 13\u201315 September 2023, Proceedings. LNCS, vol. 14137, pp. 18\u201335. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-42697-1_2","DOI":"10.1007\/978-3-031-42697-1_2"},{"issue":"17","key":"9_CR3","doi-asserted-by":"publisher","first-page":"3289","DOI":"10.1093\/BIOINFORMATICS\/BTH378","volume":"20","author":"ML Blinov","year":"2004","unstructured":"Blinov, M.L., Faeder, J.R., Goldstein, B., Hlavacek, W.S.: BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinform. 20(17), 3289\u20133291 (2004). https:\/\/doi.org\/10.1093\/BIOINFORMATICS\/BTH378","journal-title":"Bioinform."},{"issue":"7","key":"9_CR4","doi-asserted-by":"publisher","first-page":"1011858","DOI":"10.1371\/JOURNAL.PCBI.1011858","volume":"20","author":"M Bougu\u00e9on","year":"2024","unstructured":"Bougu\u00e9on, M., et al.: A rule-based multiscale model of hepatic stellate cell plasticity: critical role of the inactivation loop in fibrosis progression. PLoS Comput. Biol. 20(7), 1011858 (2024). https:\/\/doi.org\/10.1371\/JOURNAL.PCBI.1011858","journal-title":"PLoS Comput. Biol."},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-319-99429-1_17","volume-title":"Computational Methods in Systems Biology","author":"P Boutillier","year":"2018","unstructured":"Boutillier, P., et al.: KaSa: a static analyzer for Kappa. In: \u010ce\u0161ka, M., \u0160afr\u00e1nek, D. (eds.) CMSB 2018. LNCS, vol. 11095, pp. 285\u2013291. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99429-1_17"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-030-17184-1_7","volume-title":"Programming Languages and Systems","author":"P Boutillier","year":"2019","unstructured":"Boutillier, P., Cristescu, I., Feret, J.: Counters in Kappa: semantics, simulation, and static analysis. In: Caires, L. (ed.) ESOP 2019. LNCS, vol. 11423, pp. 176\u2013204. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17184-1_7"},{"key":"9_CR7","unstructured":"Boutillier, P., Feret, J., Fontana, W., Krivine, J.: Kappa git repository. https:\/\/github.com\/Kappa-Dev\/KappaTools"},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S0014-5793(00)02037-8","volume":"482","author":"FA Brightman","year":"2000","unstructured":"Brightman, F.A., Fell, D.A.: Differential feedback regulation of the MAPK cascade underlies the quantitative differences in EGF and NGF signalling in PC12 cells. FEBS Lett. 482(3), 169\u2013174 (2000). https:\/\/doi.org\/10.1016\/S0014-5793(00)02037-8","journal-title":"FEBS Lett."},{"issue":"3","key":"9_CR9","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"RE Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3), 293\u2013318 (1992). https:\/\/doi.org\/10.1145\/136035.136043","journal-title":"ACM Comput. Surv."},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-319-67471-1_18","volume-title":"Computational Methods in Systems Biology","author":"F Camporesi","year":"2017","unstructured":"Camporesi, F., Feret, J., L\u00fd, K.Q.: KaDE: a tool to compile kappa rules into (reduced) ODE models. In: Feret, J., Koeppl, H. (eds.) CMSB 2017. LNCS, vol. 10545, pp. 291\u2013299. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67471-1_18"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings\u00a0POPL 1977 (1977)","DOI":"10.1145\/512950.512973"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis framework. In: Proceedings\u00a0POPL 1979 (1979)","DOI":"10.1145\/567752.567778"},{"key":"9_CR13","unstructured":"Danos, V., et al.: Graphs, rewriting and pathway reconstruction for rule-based models. In: Proceedings\u00a0FSTTCS 2012. LIPIcs, vol.\u00a018 (2012)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-74407-8_3","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"V Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling of cellular signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 17\u201341. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74407-8_3"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-78163-9_11","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"V Danos","year":"2008","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Abstract interpretation of cellular signalling networks. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) VMCAI 2008. LNCS, vol. 4905, pp. 83\u201397. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78163-9_11"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. TCS 325(1) (2004)","DOI":"10.1016\/j.tcs.2004.03.065"},{"key":"9_CR17","doi-asserted-by":"publisher","unstructured":"Deeds, E.J., Krivine, J., Feret, J., Danos, V., Fontana, W.: Combinatorial complexity and compositional drift in protein interaction networks. PLoS ONE 7 (2012). https:\/\/doi.org\/10.1371\/journal.pone.0032032","DOI":"10.1371\/journal.pone.0032032"},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/J.TCS.2008.04.024","volume":"403","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403(1), 52\u201370 (2008). https:\/\/doi.org\/10.1016\/J.TCS.2008.04.024","journal-title":"Theor. Comput. Sci."},{"key":"9_CR19","unstructured":"Feret, J.: Analysis of mobile systems by abstract interpretation. Ph.D. thesis, \u00c9cole Polytechnique, Palaiseau, France (2005). https:\/\/tel.archives-ouvertes.fr\/pastel-00001303"},{"key":"9_CR20","unstructured":"Feret, J., Koeppl, H., Petrov, T.: Stochastic fragments: a framework for the exact reduction of the stochastic semantics of rule-based models. Int. J. Softw. Inf. 7(4), 527\u2013604 (2013). http:\/\/www.ijsi.org\/ch\/reader\/view_abstract.aspx?file_no=i173"},{"key":"9_CR21","doi-asserted-by":"publisher","unstructured":"Feret, J., L\u00fd, K.Q.: Reachability analysis via orthogonal sets of patterns. In: Sanguinetti, G., Safr\u00e1nek, D. (eds.) Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, 7 September 2016. ENTCS, vol.\u00a0335, pp. 27\u201348. Elsevier (2018). https:\/\/doi.org\/10.1016\/J.ENTCS.2018.03.007","DOI":"10.1016\/J.ENTCS.2018.03.007"},{"key":"9_CR22","doi-asserted-by":"publisher","unstructured":"Folschette, M., Paulev\u00e9, L., Magnin, M., Roux, O.F.: Under-approximation of reachability in multivalued asynchronous networks. In: Merelli, E., Troina, A. (eds.) Proceedings of the Fourth International Workshop on Interactions between Computer Science and Biology, CS2Bio 2013, Florence, Italy, 6 June 2013. ENTCS, vol.\u00a0299, pp. 33\u201351. Elsevier (2013). https:\/\/doi.org\/10.1016\/J.ENTCS.2013.11.004","DOI":"10.1016\/J.ENTCS.2013.11.004"},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/J.TCS.2015.08.040","volume":"608","author":"M Folschette","year":"2015","unstructured":"Folschette, M., Paulev\u00e9, L., Magnin, M., Roux, O.F.: Sufficient conditions for reachability in automata networks with priorities. Theor. Comput. Sci. 608, 66\u201383 (2015). https:\/\/doi.org\/10.1016\/J.TCS.2015.08.040","journal-title":"Theor. Comput. Sci."},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/11924661_15","volume-title":"Programming Languages and Systems","author":"R Gori","year":"2006","unstructured":"Gori, R., Levi, F.: An analysis for proving temporal properties of biological systems. In: Kobayashi, N. (ed.) APLAS 2006. LNCS, vol. 4279, pp. 234\u2013252. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11924661_15"},{"issue":"5","key":"9_CR25","doi-asserted-by":"publisher","first-page":"1562","DOI":"10.1109\/TCBB.2019.2906164","volume":"16","author":"R Harmer","year":"2019","unstructured":"Harmer, R., Cornec, Y.L., L\u00e9gar\u00e9, S., Oshurko, E.: Bio-curation for cellular signalling: the KAMI project. IEEE ACM Trans. Comput. Biol. Bioinform. 16(5), 1562\u20131573 (2019). https:\/\/doi.org\/10.1109\/TCBB.2019.2906164","journal-title":"IEEE ACM Trans. Comput. Biol. Bioinform."},{"key":"9_CR26","doi-asserted-by":"publisher","unstructured":"Husson, A., Krivine, J.: A tractable logic for molecular biology. In: Bogaerts, B., et al. (eds.) Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, 20\u201325 September 2019. EPTCS, vol.\u00a0306, pp. 101\u2013113 (2019). https:\/\/doi.org\/10.4204\/EPTCS.306.17","DOI":"10.4204\/EPTCS.306.17"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-642-35873-9_22","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"M John","year":"2013","unstructured":"John, M., Nebut, M., Niehren, J.: Knockout prediction for reaction networks with partial kinetic information. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 355\u2013374. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35873-9_22"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-39799-8_4","volume-title":"Computer Aided Verification","author":"L Paulev\u00e9","year":"2013","unstructured":"Paulev\u00e9, L., Andrieux, G., Koeppl, H.: Under-approximating cut sets for reachability in large scale automata networks. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 69\u201384. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_4"},{"issue":"4","key":"9_CR29","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1017\/S0960129511000739","volume":"22","author":"L Paulev\u00e9","year":"2012","unstructured":"Paulev\u00e9, L., Magnin, M., Roux, O.F.: Static analysis of biological regulatory networks dynamics using abstract interpretation. Math. Struct. Comput. Sci. 22(4), 651\u2013685 (2012). https:\/\/doi.org\/10.1017\/S0960129511000739","journal-title":"Math. Struct. Comput. Sci."},{"issue":"4","key":"9_CR30","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1038\/nbt0402-370","volume":"20","author":"B Schoeberl","year":"2002","unstructured":"Schoeberl, B., Eichler-Jonsson, C., Gilles, E.D., M\u00fcller, G.: Computational modeling of the dynamics of the map kinase cascade activated by surface and internalized EGF receptors. Nat. Biotechnol. 20(4), 370\u2013375 (2002)","journal-title":"Nat. Biotechnol."},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific J.\u00a0Math. 5(2) (1955)","DOI":"10.2140\/pjm.1955.5.285"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"Vesel\u00fd, V., \u0160mij\u00e1kov\u00e1, E., Pastva, S., Bene\u0161, N., \u0160afr\u00e1nek, D.: AEON 2025: robust control of partially-specified Boolean networks (tool paper). In: Fages, F., Peres, S. (eds.) Computational Methods in Systems Biology - 23rd International Conference, CMSB 2025, Lyon, France, 10\u201312 September 2025, Proceedings. LNCS (2025)","DOI":"10.1007\/978-3-032-01436-8_4"}],"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-032-01436-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T04:42:27Z","timestamp":1757392947000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-01436-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,19]]},"ISBN":["9783032014351","9783032014368"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-01436-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,19]]},"assertion":[{"value":"19 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lyon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb2025.sciencesconf.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}