{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:18:12Z","timestamp":1748751492473,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030034238"},{"type":"electronic","value":"9783030034245"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-03424-5_15","type":"book-chapter","created":{"date-parts":[[2018,10,30]],"date-time":"2018-10-30T13:58:12Z","timestamp":1540907892000},"page":"221-240","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Engineering Sustainable and Adaptive Systems in Dynamic and Unpredictable Environments"],"prefix":"10.1007","author":[{"given":"Rui P.","family":"Cardoso","sequence":"first","affiliation":[]},{"given":"Rosaldo J. F.","family":"Rossetti","sequence":"additional","affiliation":[]},{"given":"Emma","family":"Hart","sequence":"additional","affiliation":[]},{"given":"David","family":"Burth\u00a0Kurka","sequence":"additional","affiliation":[]},{"given":"Jeremy","family":"Pitt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,31]]},"reference":[{"issue":"6","key":"15_CR1","doi-asserted-by":"publisher","first-page":"1301","DOI":"10.1093\/logcom\/exr018","volume":"22","author":"A Artikis","year":"2012","unstructured":"Artikis, A.: Dynamic specification of open agent systems. J. Log. Comput. 22(6), 1301\u20131334 (2012)","journal-title":"J. Log. Comput."},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1002\/widm.1124","volume":"4","author":"T Bartz-Beielstein","year":"2014","unstructured":"Bartz-Beielstein, T., Branke, J., Mehnen, J., Mersmann, O.: Evolutionary algorithms. Wiley Interdiscip. Rev. Data Min. Knowl. Discov. 4, 178\u2013195 (2014)","journal-title":"Wiley Interdiscip. Rev. Data Min. Knowl. Discov."},{"issue":"Suppl C","key":"15_CR3","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.asoc.2017.10.044","volume":"63","author":"S Bucking","year":"2018","unstructured":"Bucking, S., Dermardiros, V.: Distributed evolutionary algorithm for co-optimization of building and district systems for early community energy masterplanning. Appl. Soft Comput. 63(Suppl C), 14\u201322 (2018)","journal-title":"Appl. Soft Comput."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Capodieci, N., Hart, E., Cabri, G.: Designing self-aware adaptive systems: from autonomic computing to cognitive immune networks. In: Proceedings - IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops, SASOW 2013, pp. 59\u201364 (2014)","DOI":"10.1109\/SASOW.2013.17"},{"issue":"2","key":"15_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2897372","volume":"11","author":"N Capodieci","year":"2016","unstructured":"Capodieci, N., Hart, E., Cabri, G.: Artificial immunology for collective adaptive systems design and implementation. ACM Trans. Auton. Adapt. Syst. 11(2), 1\u201325 (2016)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"15_CR6","unstructured":"Di Marzo Serugendo, G., Gleizes, M.P., Karageorgos, A.: Self-organization in multi-agent systems. Knowl. Eng. Rev. 20, 165\u2013189 (2005)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"G\u00e4chter, S.: Conditional cooperation: behavioral regularities from the lab and the field and their policy implications about the centre or contact. Economics and Psychology. A Promising New Cross-Disciplinary Field, April 2006 (2006\u20133), pp. 19\u201350 (2007)","DOI":"10.7551\/mitpress\/2604.003.0006"},{"key":"15_CR8","unstructured":"Grefenstette, J.J.: Genetic algorithms for changing environments. In: PPSN, vol. 2, pp. 137\u2013144 (1992)"},{"issue":"4","key":"15_CR9","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1162\/EVCO_a_00183","volume":"24","author":"E Hart","year":"2016","unstructured":"Hart, E., Sim, K.: A hyper-heuristic ensemble method for static job-shop scheduling. Evol. Comput. 24(4), 609\u2013635 (2016)","journal-title":"Evol. Comput."},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"1335","DOI":"10.1016\/j.rser.2014.11.042","volume":"42","author":"Z Huang","year":"2015","unstructured":"Huang, Z., Yu, H., Peng, Z., Zhao, M.: Methods and tools for community energy planning: a review. Renew. Sustain. Energy Rev. 42, 1335\u20131348 (2015)","journal-title":"Renew. Sustain. Energy Rev."},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1016\/j.rser.2015.11.080","volume":"56","author":"BP Koirala","year":"2016","unstructured":"Koirala, B.P., Koliou, E., Friege, J., Hakvoort, R.A., Herder, P.M.: Energetic communities for community energy: a review of key issues and trends shaping integrated community energy systems. Renew. Sustain. Energy Rev. 56, 722\u2013744 (2016)","journal-title":"Renew. Sustain. Energy Rev."},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4(1), 67\u201395 (1986)","journal-title":"New Gener. Comput."},{"key":"15_CR13","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"JR Koza","year":"1992","unstructured":"Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge (1992)"},{"key":"15_CR14","first-page":"249","volume":"60","author":"E Ostrom","year":"2015","unstructured":"Ostrom, E.: Governing the commons: the evolution of institutions for collective action. South. Econ. J. 60, 249\u2013251 (2015)","journal-title":"South. Econ. J."},{"issue":"3","key":"15_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2629567","volume":"9","author":"J Pitt","year":"2014","unstructured":"Pitt, J., Busquets, D., Macbeth, S.: Distributive justice for self-organised common-pool resource management. ACM Trans. Auton. Adapt. Syst. 9(3), 1\u201339 (2014)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Pitt, J., Hart, E.: For flux sake: the confluence of socially-and biologically-inspired computing for engineering change in open systems. In: Proceedings - 2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems, FAS*W 2017, pp. 45\u201350 (2017)","DOI":"10.1109\/FAS-W.2017.119"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Pitt, J., Ober, J., Diaconescu, A.: Knowledge management processes and design principles for self-governing socio-technical systems. In: Proceedings - 2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp. 97\u2013102, Los Alamitos, CA, USA (2017)","DOI":"10.1109\/FAS-W.2017.127"},{"issue":"4","key":"15_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2382570.2382575","volume":"7","author":"J Pitt","year":"2012","unstructured":"Pitt, J., Schaumeier, J., Artikis, A.: Axiomatization of socio-economic principles for self-organizing institutions. ACM Trans. Auton. Adapt. Syst. 7(4), 1\u201339 (2012)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"15_CR19","unstructured":"Rescher, N.: Distributive Justice. G - Reference, Information and Interdisciplinary Subjects Series. University Press of America, New York (1982)"},{"issue":"1","key":"15_CR20","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1162\/EVCO_a_00121","volume":"23","author":"K Sim","year":"2015","unstructured":"Sim, K., Hart, E., Paechter, B.: A lifelong learning hyper-heuristic method for bin packing. Evol. Comput. 23(1), 37\u201367 (2015)","journal-title":"Evol. Comput."},{"issue":"12","key":"15_CR21","doi-asserted-by":"publisher","first-page":"1104","DOI":"10.1109\/TC.1980.1675516","volume":"29","author":"RG Smith","year":"1980","unstructured":"Smith, R.G.: The contract net protocol: high-level communication and control in a distributed problem solver. IEEE Trans. Comput. 29(12), 1104\u20131113 (1980)","journal-title":"IEEE Trans. Comput."},{"key":"15_CR22","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1109\/TSMC.2015.2504350","volume":"47","author":"D Ye","year":"2017","unstructured":"Ye, D., Zhang, M., Vasilakos, A.V.: A survey of self-organization mechanisms in multiagent systems. IEEE Trans. Syst. Man Cybern. Syst. 47, 441\u2013461 (2017)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03424-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,6]],"date-time":"2023-09-06T15:10:41Z","timestamp":1694013041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03424-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030034238","9783030034245"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03424-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"31 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/isola2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Equinocs","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"149","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"126","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"85% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"invitation-based event","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}