{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T08:54:18Z","timestamp":1761987258541,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319231280"},{"type":"electronic","value":"9783319231297"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-23129-7_1","type":"book-chapter","created":{"date-parts":[[2015,8,27]],"date-time":"2015-08-27T09:03:18Z","timestamp":1440666198000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Biological Immunity and Software Resilience: Two Faces of the Same Coin?"],"prefix":"10.1007","author":[{"given":"Marco","family":"Autili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amleto","family":"Di Salle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Gallo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Perucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,28]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Bio-pepa: A framework for the modelling and analysis of biological systems. Theoretical Computer Science, 410(33\u201334), 3065\u20133084 (2009)","DOI":"10.1016\/j.tcs.2009.02.037"},{"issue":"9","key":"1_CR2","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/1810891.1810910","volume":"53","author":"J Armstrong","year":"2010","unstructured":"Armstrong, J.: Erlang. Commun. ACM 53(9), 68\u201375 (2010)","journal-title":"Commun. ACM"},{"key":"1_CR3","unstructured":"Chandra, A.: Synergy between biology and systems resilience, master\u2019s thesis, missouri university of science and technology (2010)"},{"issue":"4","key":"1_CR4","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya, C.: Petri net modelling of biological networks. Briefings Bioinform. 8(4), 210\u2013219 (2007)","journal-title":"Briefings Bioinform."},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"BHC Cheng","year":"2009","unstructured":"Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 1\u201326. Springer, Heidelberg (2009)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-540-68413-8_8","volume-title":"Formal Methods in Systems Biology","author":"V Danos","year":"2008","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-Based modelling, symmetries, refinements. In: Fisher, J. (ed.) FMSB 2008. LNCS (LNBI), vol. 5054, pp. 103\u2013122. Springer, Heidelberg (2008)"},{"issue":"3","key":"1_CR7","doi-asserted-by":"publisher","first-page":"03","DOI":"10.1371\/journal.pone.0032032","volume":"7","author":"EJ Deeds","year":"2012","unstructured":"Deeds, E.J., Krivine, J., Feret, J., Danos, V., Fontana, W.: Combinatorial complexity and compositional drift in protein interaction networks. PLoS ONE 7(3), 03 (2012)","journal-title":"PLoS ONE"},{"key":"1_CR8","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)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Faeder, J., Blinov, M., Hlavacek, W.: Rule-based modeling of biochemical systems with bionetgen. In: Maly, I.V. (ed.) Systems Biology, volume 500 of Methods in Molecular Biology, pp. 113\u2013167. Humana Press (2009)","DOI":"10.1007\/978-1-59745-525-1_5"},{"issue":"13","key":"1_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0167-2789(86)90240-X","volume":"22","author":"J Farmer","year":"1986","unstructured":"Farmer, J., Packard, N.H., Perelson, A.S.: The immune system, adaptation, and machine learning. Physica D 22(13), 187\u2013204 (1986)","journal-title":"Physica D"},{"issue":"16","key":"1_CR11","doi-asserted-by":"publisher","first-page":"6453","DOI":"10.1073\/pnas.0809908106","volume":"106","author":"J Feret","year":"2009","unstructured":"Feret, J., Danos, V., Krivine, J., Harmer, R., Fontana, W.: Internal coarse-graining of molecular systems. Proc. Nat. Acad. Sci. 106(16), 6453\u20136458 (2009)","journal-title":"Proc. Nat. Acad. Sci."},{"issue":"25","key":"1_CR12","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"2\u20133","key":"1_CR13","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.tcs.2008.09.019","volume":"410","author":"P Haller","year":"2009","unstructured":"Haller, P., Odersky, M.: Scala actors: unifying thread-based and event-based programming. Theoret. Comput. Sci. 410(2\u20133), 202\u2013220 (2009)","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR14","first-page":"2004","volume":"2\u20134","author":"S Hardy","year":"2004","unstructured":"Hardy, S., Robillard, P.N.: Pn: Modeling and simulation of molecular biology systems using petri nets: modeling goals of various approaches. J. Bioinform. Comput. Biol. 2\u20134, 2004 (2004)","journal-title":"J. Bioinform. Comput. Biol."},{"key":"1_CR15","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: Proceedings of the 3rd International Joint Conference on Artificial Intelligence. pp. 235\u2013245. Standford, CA, August 1973"},{"key":"1_CR16","unstructured":"Hofmeyr, S.A.: An interpretative introduction to the immune system. In: Design Principles for the Immune System and Other Distributed Autonomous Systems, pp. 3\u201326. Oxford University Press (2000)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-3-319-12241-0_6","volume-title":"Software Engineering for Resilient Systems","author":"A H\u00f6ller","year":"2014","unstructured":"H\u00f6ller, A., Kajtazovic, N., Preschern, C., Kreiner, C.: Formal fault tolerance analysis of algorithms for redundant systems in early design stages. In: Majzik, I., Vieira, M. (eds.) SERENE 2014. LNCS, vol. 8785, pp. 71\u201385. Springer, Heidelberg (2014)"},{"key":"1_CR18","unstructured":"Majzik, I., Vieira, M. (eds.): SERENE 2014. LNCS, vol. 8785. Springer, Heidelberg (2014)"},{"key":"1_CR19","volume-title":"Immunobiology: The Immune System in Health and Disease","author":"C Janeway Jr.","year":"2013","unstructured":"Janeway Jr., C., Travers, P., Walport, M., et al.: Immunobiology: The Immune System in Health and Disease, 5th edn. Garland Science, USA (2013)","edition":"5"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1186\/1471-2105-7-56","volume":"7","author":"S Klamt","year":"2006","unstructured":"Klamt, S., Saez-Rodriguez, J., Lindquist, J.A., Simeoni, L., Gilles, E.D.: A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinform. 7, 56 (2006)","journal-title":"BMC Bioinform."},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-68413-8_4","volume-title":"Formal Methods in Systems Biology","author":"E Krepska","year":"2008","unstructured":"Krepska, E., Bonzanni, N., Feenstra, A., Fokkink, W.J., Kielmann, T., Bal, H.E., Heringa, J.: Design issues for qualitative modelling of biological cells with petri nets. In: Fisher, J. (ed.) FMSB 2008. LNCS (LNBI), vol. 5054, pp. 48\u201362. Springer, Heidelberg (2008)"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-3-319-12241-0_5","volume-title":"Software Engineering for Resilient Systems","author":"L Laibinis","year":"2014","unstructured":"Laibinis, L., Klionskiy, D., Troubitsyna, E., Dorokhov, A., Lilius, J., Kupriyanov, M.: Modelling resilience of data processing capabilities of CPS. In: Majzik, I., Vieira, M. (eds.) SERENE 2014. LNCS, vol. 8785, pp. 55\u201370. Springer, Heidelberg (2014)"},{"issue":"9","key":"1_CR23","doi-asserted-by":"publisher","first-page":"888","DOI":"10.1002\/bies.10329","volume":"25","author":"A Lawen","year":"2003","unstructured":"Lawen, A.: Apoptosisan introduction. BioEssays 25(9), 888\u2013896 (2003)","journal-title":"BioEssays"},{"issue":"15","key":"1_CR24","doi-asserted-by":"publisher","first-page":"3216","DOI":"10.1021\/bi902202q","volume":"49","author":"MK Morris","year":"2010","unstructured":"Morris, M.K., Saez-Rodriguez, J., Sorger, P.K., Lauffenburger, D.A.: Logic-based models for the analysis of cell signaling networks. Biochem. 49(15), 3216\u20133224 (2010)","journal-title":"Biochem."},{"issue":"4","key":"1_CR25","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1016\/j.cub.2009.12.060","volume":"20","author":"JC Nieh","year":"2010","unstructured":"Nieh, J.C.: A negative feedback signal that is triggered by peril curbs honey bee recruitment. Curr. Biol. 20(4), 310\u2013315 (2010)","journal-title":"Curr. Biol."},{"issue":"2","key":"1_CR26","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/j.jtbi.2003.11.016","volume":"227","author":"JA Papin","year":"2004","unstructured":"Papin, J.A., Palsson, B.O.: Topological analysis of mass-balanced signaling networks: a framework to obtain network properties including crosstalk. J. Theoret. Biol. 227(2), 283\u2013297 (2004)","journal-title":"J. Theoret. Biol."},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Sackmann, A., Heiner, M., Koch, I.: Application of petri net based analysis techniques to signal transduction pathways, BMC Bioinform. 7\u2013482 (2006)","DOI":"10.1186\/1471-2105-7-482"},{"issue":"2","key":"1_CR28","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1038\/nmeth.1546","volume":"8","author":"MW Sneddon","year":"2011","unstructured":"Sneddon, M.W., Faeder, J.R., Emonet, T.: Efficient modeling, simulation and coarse-graining of biological complexity with NFsim. Nat. Meth. 8(2), 177\u2013183 (2011)","journal-title":"Nat. Meth."},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Srivastavawz, R., Youw, L., Summersy, J., Yin, J.: on stochastic vs. deterministic modeling of intracellular viral kinetics (2002)","DOI":"10.1006\/jtbi.2002.3078"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Wang, R.-S., Saadatpour, A., Albert, R.: Boolean modeling in systems biology: an overview of methodology and applications. Phys. Biol. 9(5) (2012)","DOI":"10.1088\/1478-3975\/9\/5\/055001"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Watanabe, Y., Ishiguro, A., Shirai, Y., Uchikawa, Y.: Emergent construction of behavior arbitration mechanism based on the immune system. In: The 1998 IEEE International Conference on Evolutionary Computation Proceedings, IEEE World Congress on Computational Intelligence, pp. 481\u2013486 (1998)","DOI":"10.1109\/ICEC.1998.699855"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23129-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T05:34:22Z","timestamp":1748583262000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23129-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319231280","9783319231297"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23129-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"28 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}