{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:12:14Z","timestamp":1747807934910,"version":"3.40.3"},"publisher-location":"Basel","reference-count":15,"publisher":"Springer Basel","isbn-type":[{"type":"print","value":"9783034801294"},{"type":"electronic","value":"9783034801300"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-0348-0130-0_5","type":"book-chapter","created":{"date-parts":[[2011,4,29]],"date-time":"2011-04-29T13:39:33Z","timestamp":1304084373000},"page":"79-93","source":"Crossref","is-referenced-by-count":16,"title":["Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach"],"prefix":"10.1007","author":[{"given":"Florian","family":"Nafz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hella","family":"Seebach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan-Philipp","family":"Stegh\u00f6fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerrit","family":"Anders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Ackermann, J.: Formal description of OCL specification patterns for behavioral specification of software components. In: Workshop on Tool Support for OCL and Related Formalisms, Technical Report LGL-REPORT-2005-001, pp. 15\u201329, EPFL (2005)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Anders, G., Seebach, H., Nafz, F., Stegh\u00f6fer, J.-P., Reif, W.: Decentralized reconfiguration for self-organizing resource-flow systems based on local knowledge. In: Proceedings of EASe 2011, Las Vegas, USA (2011, to appear)","DOI":"10.1109\/EASe.2011.8"},{"key":"5_CR3","series-title":"LNCS","first-page":"330","volume-title":"Proc. Int. Wsh. Applied Formal Methods","author":"M. Balser","year":"1999","unstructured":"Balser, M., Reif, W., Schellhorn, G., Stenzel, K.: KIV 3.0 for provably correct systems. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) Proc. Int. Wsh. Applied Formal Methods. LNCS, vol. 1641, pp. 330\u2013337. Springer, Berlin (1999)"},{"issue":"2\u20133","key":"5_CR4","doi-asserted-by":"crossref","first-page":"285","DOI":"10.3233\/AIC-2010-0458","volume":"23","author":"S. B\u00e4umler","year":"2010","unstructured":"B\u00e4umler, S., Balser, M., Nafz, F., Reif, W., Schellhorn, G.: Interactive verification of concurrent systems using symbolic execution. AI Commun. 23(2\u20133), 285\u2013307 (2010)","journal-title":"AI Commun."},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/73007.73015","volume-title":"STOC \u201989: Proceedings of the Twenty-First Annual ACM Symposium on Theory of Computing","author":"M. Blum","year":"1989","unstructured":"Blum, M., Kanna, S.: Designing programs that check their work. In: STOC \u201989: Proceedings of the Twenty-First Annual ACM Symposium on Theory of Computing, pp. 86\u201397. ACM, New York (1989)"},{"key":"5_CR6","first-page":"185","volume-title":"ISoLA","author":"J. Branke","year":"2006","unstructured":"Branke, J., Mnif, M., M\u00fcller-Schloer, C., Prothmann, H., Richter, U., Rochner, F., Schmeck, H.: Organic computing\u2014addressing complexity by controlled self-organization. In: ISoLA, pp. 185\u2013191 (2006)"},{"key":"5_CR7","volume-title":"Genetic Algorithms in Search, Optimization, and Machine Learning","author":"D.E. Goldberg","year":"1989","unstructured":"Goldberg, D.E.: Genetic Algorithms in Search, Optimization, and Machine Learning, 1st edn. Addison-Wesley, Reading (1989)","edition":"1"},{"key":"5_CR8","volume-title":"Proceedings of ISoLA 2006","author":"M. G\u00fcdemann","year":"2006","unstructured":"G\u00fcdemann, M., Ortmeier, F., Reif, W.: Safety and dependability analysis of self-adaptive systems. In: Proceedings of ISoLA 2006. IEEE Comput. Soc., Los Alamitos (2006)"},{"key":"5_CR9","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-02704-8_3","volume-title":"Autonomic and Trusted Computing","author":"F. Nafz","year":"2009","unstructured":"Nafz, F., Ortmeier, F., Seebach, H., Stegh\u00f6fer, J.-P., Reif, W.: A universal self-organization mechanism for role-based organic computing systems. In: Gonz\u00e1lez\u00a0Nieto, J., Reif, W., Wang, G., Indulska, J. (eds.) Autonomic and Trusted Computing. LNCS, vol. 5586, pp. 17\u201331. Springer, Berlin (2009)"},{"key":"5_CR10","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-16576-4_2","volume-title":"Autonomic and Trusted Computing","author":"F. Nafz","year":"2010","unstructured":"Nafz, F., Seebach, H., Stegh\u00f6fer, J.-P., B\u00e4umler, S., Reif, W.: A formal framework for compositional verification of organic computing systems. In: Xie, B., Branke, J., Sadjadi, S., Zhang, D., Zhou, X. (eds.) Autonomic and Trusted Computing. LNCS, vol. 6407, pp. 17\u201331. Springer, Berlin (2010)"},{"issue":"1","key":"5_CR11","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1613\/jair.2695","volume":"34","author":"T. Rahwan","year":"2009","unstructured":"Rahwan, T., Ramchurn, S., Jennings, N., Giovannucci, A.: An anytime algorithm for optimal coalition structure generation. J. Artif. Intell. Res. 34(1), 521\u2013567 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"5_CR12","unstructured":"Richter, U., Mnif, M., Branke, J., M\u00fcller-Schloer, C., Schmeck, H.: Towards a generic observer\/controller architecture for Organic Computing. INFORMATIK 2006 \u2013 Informatik f\u00fcr Menschen! P-93, pp. 112\u2013119 (2006)"},{"issue":"1\u20132","key":"5_CR13","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00045-9","volume":"101","author":"O. Shehory","year":"1998","unstructured":"Shehory, O., Kraus, S.: Methods for task allocation via agent coalition formation. Artif. Intell. 101(1\u20132), 165\u2013200 (1998)","journal-title":"Artif. Intell."},{"key":"5_CR14","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: a relational model finder. In: Grumberg, O., Huth, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. LNCS, vol. 4424, pp. 632\u2013647. Springer, Berlin (2007)."},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1023\/A:1006558104682","volume":"13","author":"E. Tsang","year":"1999","unstructured":"Tsang, E.: A Glimpse of constraint satisfaction. Artif. Intell. Rev. 13, 215\u2013227 (1999)","journal-title":"Artif. Intell. Rev."}],"container-title":["Organic Computing \u2014 A Paradigm Shift for Complex Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-0348-0130-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T14:00:50Z","timestamp":1674482450000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-0348-0130-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783034801294","9783034801300"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-0348-0130-0_5","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}