{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T05:42:15Z","timestamp":1736314935581,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540329923"},{"type":"electronic","value":"9783540329930"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11687818_2","type":"book-chapter","created":{"date-parts":[[2006,2,23]],"date-time":"2006-02-23T07:33:24Z","timestamp":1140680004000},"page":"13-28","source":"Crossref","is-referenced-by-count":9,"title":["Experiments on the Automatic Evolution of Protocols Using Genetic Programming"],"prefix":"10.1007","author":[{"given":"Lidia","family":"Yamamoto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Tschudin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1109\/32.153379","volume":"18","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Waldinger, R.: Fundamentals of Deductive Program Synthesis. IEEE Transactions on Software Engineering\u00a018, 674\u2013704 (1992)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055923","volume-title":"Genetic Programming, An Introduction","author":"W. Banzhaf","year":"1998","unstructured":"Banzhaf, W., Nordin, P., Keller, R.E., Francone, F.D.: Genetic Programming, An Introduction. Morgan Kaufmann Publishers, Inc., San Francisco (1998)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Sipper, M., Sanchez, E., Mange, D., Tomassini, M., Perez-Uribe, A., Stauffer, A.: A Phylogenetic, Ontogenetic, and Epigenetic View of Bio-Inspired Hardware Systems. IEEE Transactions on Evolutionary Computation\u00a01 (1997)","DOI":"10.1109\/4235.585894"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/3-540-45561-2_31","volume-title":"Real-World Applications of Evolutionary Computing","author":"B. Andersson","year":"2000","unstructured":"Andersson, B., Svensson, P., Nordin, P., Nordahl, M.: On-line Evolution of Control for a Four-Legged Robot Using Genetic Programming. In: Oates, M.J., Lanzi, P.L., Li, Y., Cagnoni, S., Corne, D.W., Fogarty, T.C., Poli, R., Smith, G.D. (eds.) EvoIASP 2000, EvoWorkshops 2000, EvoFlight 2000, EvoSCONDI 2000, EvoSTIM 2000, EvoTEL 2000, and EvoROB\/EvoRobot 2000. LNCS, vol.\u00a01803, pp. 319\u2013326. Springer, Heidelberg (2000)"},{"key":"2_CR5","volume-title":"Proceedings of AlifeIV","author":"L. Steels","year":"1994","unstructured":"Steels, L.: Emergent functionality in robotic agents through on-line evolution. In: Proceedings of AlifeIV. MIT Press, Cambridge (1994)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-24854-5_14","volume-title":"Genetic and Evolutionary Computation \u2013 GECCO 2004","author":"T. Nakano","year":"2004","unstructured":"Nakano, T., Suda, T.: Adaptive and Evolvable Network Services. In: Deb, K., et al. (eds.) GECCO 2004. LNCS, vol.\u00a03102, pp. 151\u2013162. Springer, Heidelberg (2004)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1109\/12.88466","volume":"40","author":"R.L. Probert","year":"1991","unstructured":"Probert, R.L., Saleh, K.: Synthesis of Communication Protocols: Survey and Assessment. IEEE Transactions on Computers\u00a040, 468\u2013476 (1991)","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR8","unstructured":"Perrig, A., Song, D.: A First Step towards the Automatic Generation of Security Protocols. In: Proc. Network and Distributed System Security (NDSS 2000) (2000)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-44585-4_21","volume-title":"Computer Aided Verification","author":"D. Song","year":"2001","unstructured":"Song, D., Perrig, A., Phan, D.: AGVI \u2013 Automatic Generation, Verification, and Implementation of Security Protocols. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, p. 241. Springer, Heidelberg (2001)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-45561-2_23","volume-title":"Real-World Applications of Evolutionary Computing","author":"N. Sharples","year":"2000","unstructured":"Sharples, N., Wakeman, I.: Protocol construction using genetic search techniques. In: Oates, M.J., Lanzi, P.L., Li, Y., Cagnoni, S., Corne, D.W., Fogarty, T.C., Poli, R., Smith, G.D. (eds.) EvoIASP 2000, EvoWorkshops 2000, EvoFlight 2000, EvoSCONDI 2000, EvoSTIM 2000, EvoTEL 2000, and EvoROB\/EvoRobot 2000. LNCS, vol.\u00a01803, pp. 235\u2013246. Springer, Heidelberg (2000)"},{"key":"2_CR11","unstructured":"Sharples, N.: Evolutionary Approaches to Adaptive Protocol Design. PhD dissertation, University of Sussex, UK (2001)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Ara\u00fajo, S.G., Pedroza, A.C.P., Mesquita, A.C.: Evolutionary Synthesis of Communication Protocols. In: 10th International Conference on Telecommunications (ICT 2003), vol.\u00a02, pp. 986\u2013993 (2003)","DOI":"10.1109\/ICTEL.2003.1191573"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1147\/sj.421.0045","volume":"42","author":"K. Whisnant","year":"2003","unstructured":"Whisnant, K., Kalbarczyk, Z.T., Iyer, R.K.: A system model for dynamically reconfigurable software. IBM Systems Journal\u00a042, 45\u201359 (2003)","journal-title":"IBM Systems Journal"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Ruf, L., Keller, R., Plattner, B.: A Scalable High-performance Router Platform Supporting Dynamic Service Extensibility On Network And Host Processors. In: Proceedings of the 2004 ACS\/IEEE International Conference on Pervasive Services (ICPS 2004), Beirut, Lebanon, pp. 19\u201323 (2004)","DOI":"10.1109\/PERSER.2004.1356798"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/32.67579","volume":"17","author":"N.C. Hutchinson","year":"1991","unstructured":"Hutchinson, N.C., Peterson, L.L.: The x-Kernel: An architecture for implementing network protocols. IEEE Transactions on Software Engineering\u00a017, 64\u201376 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR16","unstructured":"Plagemann, T.: A Framework for Dynamic Protocol Configuration. PhD dissertation, Swiss Federal Institute of Technology Zurich, Zurich, Switzerland (1994)"},{"key":"2_CR17","volume-title":"Proc. of the Ninth Workshop on Hot Topics in Operating Systems","author":"P. Patel","year":"2003","unstructured":"Patel, P., Wetherall, D., Lepreau, J., Whitaker, A.: TCP Meets Mobile Code. In: Proc. of the Ninth Workshop on Hot Topics in Operating Systems. IEEE Computer Society, Los Alamitos (2003)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/11520184_15","volume-title":"Autonomic Communication","author":"C. Tschudin","year":"2005","unstructured":"Tschudin, C., Yamamoto, L.: A Metabolic Approach to Protocol Resilience. In: Smirnov, M. (ed.) WAC 2004. LNCS, vol.\u00a03457, pp. 191\u2013206. Springer, Heidelberg (2005)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Ban\u00e2tre, J.P., M\u00e9tayer, D.L.: Gamma and the Chemical Reaction Model. Internal Publication PI-984, INRIA, France (1996)","DOI":"10.1142\/9781848161023_0001"},{"key":"2_CR20","unstructured":"Ban\u00e2tre, J.P., Radenac, Y., Fradet, P.: Chemical Specification of Autonomic Systems. In: Proc 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE 2004), pp. 72\u201379 (2004)"},{"key":"2_CR21","unstructured":"Tschudin, C.: Fraglets - a Metabolistic Execution Model for Communication Protocols. In: Proc. 2nd Annual Symposium on Autonomous Intelligent Networks and Systems (AINS), Menlo Park, USA (2003)"},{"key":"2_CR22","unstructured":"Luke, S.: Issues in Scaling Genetic Programming: Breeding Strategies, Tree Generation, and Code Bloat. PhD dissertation, University of Maryland, USA (2000)"}],"container-title":["Lecture Notes in Computer Science","Autonomic Communication"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11687818_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T21:16:01Z","timestamp":1736284561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11687818_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540329923","9783540329930"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11687818_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}