{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T20:38:51Z","timestamp":1757623131741,"version":"3.44.0"},"publisher-location":"Cham","reference-count":44,"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_10","type":"book-chapter","created":{"date-parts":[[2025,8,18]],"date-time":"2025-08-18T03:24:43Z","timestamp":1755487483000},"page":"174-194","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Rule-Based Modeling Approach for\u00a0Studying Animal Collectives: A\u00a0Case Study of\u00a0Juvenile Honeybee Thermotaxis"],"prefix":"10.1007","author":[{"given":"Matthieu","family":"Bougu\u00e9on","sequence":"first","affiliation":[]},{"given":"Tatjana","family":"Petrov","sequence":"additional","affiliation":[]},{"given":"Albin","family":"Salazar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,19]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Kermack, W.O., McKendrick, A.G.: A contribution to the mathematical theory of epidemics. Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character 115(772), 700\u2013721 (1927)","DOI":"10.1098\/rspa.1927.0118"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure jump Markov processes. J. Appl. Probab. 7(1), 49\u201358 (1970)","DOI":"10.2307\/3212147"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Heinrich, B.: The Hot-Blooded Insects: Strategies and Mechanisms of Thermoregulation. Harvard University Press (1993)","DOI":"10.4159\/harvard.9780674418516"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Myerscough, M.R.: A simple model for temperature regulation in honey bee swarms. J. Theor. Biol. 162(3), 381\u2013393 (1993)","DOI":"10.1006\/jtbi.1993.1094"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Watmough, J., Camazine, S.: Self-organized thermoregulation of honeybee clusters. J. Theor. Biol. 176(4), 391\u2013402 (1995)","DOI":"10.1006\/jtbi.1995.0207"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theor. Comput. Sci. 325(1), 69\u2013110 (2004)","DOI":"10.1016\/j.tcs.2004.03.065"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Grimm, V., Railsback, S.F.: Individual-Based Modeling and Ecology. Princeton University Press (2005)","DOI":"10.1515\/9781400850624"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-76637-7_10","volume-title":"Programming Languages and Systems","author":"V Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Scalable simulation of cellular signaling networks. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 139\u2013157. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-76637-7_10"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nat. Biotechnol. 25(11), 1239\u20131249 (2007)","DOI":"10.1038\/nbt1356"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Garnier, S., Gautrais, J., Theraulaz, G.: The biological principles of swarm intelligence. Swarm Intell. 1(1), 3\u201331 (2007)","DOI":"10.1007\/s11721-007-0004-y"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-540-68894-5_9","volume-title":"Formal Methods for Computational Systems Biology","author":"L Dematt\u00e9","year":"2008","unstructured":"Dematt\u00e9, L., Priami, C., Romanel, A.: The BlenX language: a tutorial. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 313\u2013365. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68894-5_9"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Theor. Comput. Sci. 410, 33\u201334 (2009). Concurrent Systems Biology: To Nadia Busi (1968\u20132007), pp.\u00a03065\u20133084","DOI":"10.1016\/j.tcs.2009.02.037"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Couzin, I.D.: Collective cognition in animal groups. Trends Cogn. Sci. 13(1), 36\u201343 (2009)","DOI":"10.1016\/j.tics.2008.10.002"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Feret, J., et al.: Internal coarse-graining of molecular systems. Proc. Nat. Acad. Sci. 106(16), 6453\u20136458 (2009)","DOI":"10.1073\/pnas.0809908106"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-642-11712-1_6","volume-title":"Transactions on Computational Systems Biology XII","author":"C Kuttler","year":"2010","unstructured":"Kuttler, C., Lhoussaine, C., Nebut, M.: Rule-based modeling of transcriptional attenuation at the tryptophan operon. In: Priami, C., Breitling, R., Gilbert, D., Heiner, M., Uhrmacher, A.M. (eds.) Transactions on Computational Systems Biology XII. LNCS, vol. 5945, pp. 199\u2013228. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11712-1_6"},{"key":"10_CR16","unstructured":"Stewart, D.: Spatial Biomodelling. Master\u2019s thesis. University of Edinburgh (2010)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/978-3-642-19718-5_18","volume-title":"Programming Languages and Systems","author":"M John","year":"2011","unstructured":"John, M., Lhoussaine, C., Niehren, J., Versari, C.: Biochemical reaction rules with constraints. In: Barthe, G. (ed.) ESOP 2011. LNCS, vol. 6602, pp. 338\u2013357. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19718-5_18"},{"key":"10_CR18","unstructured":"Bialek, W.: Biophysics: Searching for Principles. Princeton University Press (2012)"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.tcs.2011.12.059","volume":"431","author":"J Feret","year":"2012","unstructured":"Feret, J., et al.: Lumpability abstractions of rule-based systems. Theoret. Comput. Sci. 431, 137\u2013164 (2012)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Petrov, T., Feret, J., Koeppl, H.: Reconstructing species-based dynamics from reduced stochastic rule-based models. In: Proceedings of the 2012 Winter Simulation Conference (WSC), pp.\u00a01\u201315. IEEE (2012)","DOI":"10.1109\/WSC.2012.6465241"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Vicsek, T., Zafeiris, A.: Collective motion. Phys. Rep. 517(3\u20134), 71\u2013140 (2012)","DOI":"10.1016\/j.physrep.2012.03.004"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Brambilla, M., et al.: Swarm robotics: a review from the swarm engineering perspective. Swarm Intell. 7(1), 1\u201341 (2013)","DOI":"10.1007\/s11721-012-0075-2"},{"key":"10_CR23","doi-asserted-by":"publisher","unstructured":"Danos, V., et al.: Graphs, rewriting and pathway reconstruction for rule-based models. In: LIPIcs, Volume 18, FSTTCS 2012, vol. 18, pp.\u00a0276\u2013288 (2013). ISBN: 1868-8969. https:\/\/doi.org\/10.4230\/LIPICS.FSTTCS.2012.276","DOI":"10.4230\/LIPICS.FSTTCS.2012.276"},{"key":"10_CR24","doi-asserted-by":"publisher","unstructured":"Szopek, M., et al.: Dynamics of collective decision making of honeybees in complex temperature fields. PLoS ONE 8(10), e76250 (2013). ISBN: 1932-6203. https:\/\/doi.org\/10.1371\/journal.pone.0076250","DOI":"10.1371\/journal.pone.0076250"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Dorigo, M., Birattari, M., Brambilla, M.: Swarm robotics. Scholarpedia 9(1), 1463 (2014)","DOI":"10.4249\/scholarpedia.1463"},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1007\/s00285-013-0738-7","volume":"69","author":"A Ganguly","year":"2014","unstructured":"Ganguly, A., Petrov, T., Koeppl, H.: Markov chain aggregation and its applications to combinatorial reaction networks. J. Math. Biol. 69, 767\u2013797 (2014)","journal-title":"J. Math. Biol."},{"key":"10_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-319-25524-8_13","volume-title":"PRIMA 2015: Principles and Practice of Multi-Agent Systems","author":"D Kengyel","year":"2015","unstructured":"Kengyel, D., Hamann, H., Zahadat, P., Radspieler, G., Wotawa, F., Schmickl, T.: Potential of heterogeneity in collective behaviors: a case study on heterogeneous swarms. In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds.) PRIMA 2015. LNCS (LNAI), vol. 9387, pp. 201\u2013217. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25524-8_13"},{"key":"10_CR28","unstructured":"Trianni, V., Campo, A.: Fundamental collective behaviors in swarm robotics. Biol. Cybern. 113(1\u20132), 47\u201363 (2015)"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Harris, L.A., et al.: BioNetGen 2.2: advances in rule-based modeling. Bioinformatics 32(21), 3366\u20133368 (2016)","DOI":"10.1093\/bioinformatics\/btw469"},{"key":"10_CR30","doi-asserted-by":"publisher","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). ISBN: 978-3-319-67470-4 978-3-319-67471-1. https:\/\/doi.org\/10.1007\/978-3-319-67471-1_18","DOI":"10.1007\/978-3-319-67471-1_18"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"DeAngelis, D.L., Yurek, S.: Spatially explicit modeling in ecology: a review. Ecol. Modell. 351, 21\u201330 (2017)","DOI":"10.1007\/s10021-016-0066-z"},{"key":"10_CR32","doi-asserted-by":"publisher","unstructured":"Boutillier, P., et al.: The Kappa platform for rule-based modeling. Bioinformatics 34(13), i583\u2013i592 (2018). ISBN: 1367-4803, 1367-4811. https:\/\/doi.org\/10.1093\/bioinformatics\/bty272","DOI":"10.1093\/bioinformatics\/bty272"},{"key":"10_CR33","doi-asserted-by":"publisher","unstructured":"Hamann, H.: Swarm Robotics: A Formal Approach. Springer, Cham (2018). ISBN: 978-3-319-74526-8 978-3-319-74528-2. https:\/\/doi.org\/10.1007\/978-3-319-74528-2","DOI":"10.1007\/978-3-319-74528-2"},{"key":"10_CR34","doi-asserted-by":"publisher","unstructured":"Milios, D., Sanguinetti, G., Schnoerr, D.: Probabilistic model checking for continuous-time Markov chains via sequential Bayesian inference. In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 289\u2013305. Springer, Cham (2018). ISBN: 978-3-319-99154-2. https:\/\/doi.org\/10.1007\/978-3-319-99154-2_18","DOI":"10.1007\/978-3-319-99154-2_18"},{"key":"10_CR35","doi-asserted-by":"publisher","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). ISBN: 978-3-030-17183-4 978-3-030-17184-1. https:\/\/doi.org\/10.1007\/978-3-030-17184-1_7","DOI":"10.1007\/978-3-030-17184-1_7"},{"key":"10_CR36","unstructured":"Boutillier, P., et al.: The Kappa Language and Kappa Tools. (2019)"},{"key":"10_CR37","doi-asserted-by":"publisher","unstructured":"Danos, V., Heindel, T., Honorato-Zimmer, R., Stucki, S.: Rate equations for graphs. In: Abate, A., Petrov, T., Wolf, V. (eds.) CMSB 2020. LNCS, vol. 12314, pp. 3\u201326. Springer, Cham (2020). ISBN: 978-3-030-60327-4. https:\/\/doi.org\/10.1007\/978-3-030-60327-4_1","DOI":"10.1007\/978-3-030-60327-4_1"},{"key":"10_CR38","doi-asserted-by":"publisher","unstructured":"Troj\u00e1k, M., \u0160afr\u00e1nek, D., Mertov\u00e1, L., Brim, L.: Parameter synthesis and robustness analysis of rule-based models. In: Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (eds.) NFM 2020. LNCS, vol. 12229, pp. 41\u201359. Springer, Cham (2020). ISBN: 978-3-030-55754-6. https:\/\/doi.org\/10.1007\/978-3-030-55754-6_3","DOI":"10.1007\/978-3-030-55754-6_3"},{"key":"10_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2021.05.023","volume":"893","author":"T Petrov","year":"2021","unstructured":"Petrov, T., et al.: Long lived transients in gene regulation. Theoret. Comput. Sci. 893, 1\u201316 (2021)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR40","doi-asserted-by":"publisher","unstructured":"Waites, W., et al.: Rule-based epidemic models. J. Theor. Biol. 530 , 110851 (2021). ISBN: 00225193. https:\/\/doi.org\/10.1016\/j.jtbi.2021.110851","DOI":"10.1016\/j.jtbi.2021.110851"},{"key":"10_CR41","doi-asserted-by":"publisher","unstructured":"Waites, W., et al.: Compositional modelling of immune response and virus transmission dynamics. Philos. Trans. Roy. Soc. A Math. Phys. Eng. Sci. 380(2233), 20210307 (2022). ISBN: 1364-503X, 1471-2962. https:\/\/doi.org\/10.1098\/rsta.2021.0307","DOI":"10.1098\/rsta.2021.0307"},{"key":"10_CR42","unstructured":"Antonic, N., et al.: Collective robustness of heterogeneous decision-makers against stubborn individuals. In: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems. AAMAS 2024, pp.\u00a068\u201377. International Foundation for Autonomous Agents and Multiagent Systems, Auckland, New Zealand (2024). ISBN: 9798400704864"},{"key":"10_CR43","doi-asserted-by":"publisher","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), e1011858 (2024). ISBN: 1553-7358. https:\/\/doi.org\/10.1371\/journal.pcbi.1011858","DOI":"10.1371\/journal.pcbi.1011858"},{"key":"10_CR44","doi-asserted-by":"publisher","unstructured":"Klein, J., d\u2019Onofrio, A., Petrov, T.: Exploring consensus robustness in swarms with disruptive individuals. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems. LNCS, vol. 15220, pp.\u00a033\u201348. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-75107-3_3","DOI":"10.1007\/978-3-031-75107-3_3"}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T04:42:01Z","timestamp":1757392921000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-01436-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,19]]},"ISBN":["9783032014351","9783032014368"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-01436-8_10","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"}}]}}