{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T21:28:21Z","timestamp":1767907701767,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642362484","type":"print"},{"value":"9783642362491","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-36249-1_4","type":"book-chapter","created":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T00:59:05Z","timestamp":1358211545000},"page":"80-111","source":"Crossref","is-referenced-by-count":8,"title":["Formal Modeling and Verification of Self-* Systems Based on Observer\/Controller-Architectures"],"prefix":"10.1007","author":[{"given":"Florian","family":"Nafz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan-Philipp","family":"Stegh\u00f6fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hella","family":"Seebach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Anders, G., Seebach, H., Nafz, F., Steghofer, J.-P., Reif, W.: Decentralized reconfiguration for self-organizing resource-flow systems based on local knowledge. In: 2011 8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe), pp. 20\u201331 (April 2011)","DOI":"10.1109\/EASe.2011.8"},{"key":"4_CR2","unstructured":"Anders, G., Siefert, F., Stegh\u00f6fer, J.P., Seebach, H., Nafz, F., Reif, W.: Structuring and Controlling Distributed Power Sources by Autonomous Virtual Power Plants. In: Proc. of the Power & Energy Student Summit 2010 (PESS 2010), pp. 40\u201342 (October 2010)"},{"key":"4_CR3","volume-title":"Proceedings of the 2012 Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO)","author":"G. Anders","year":"2012","unstructured":"Anders, G., Hinrichs, C., Siefert, F., Behrmann, P., Reif, W., Sonnenschein, M.: On the influence of inter-agent variation on multi-agent algorithms solving a dynamic task allocation problem under uncertainty. In: Proceedings of the 2012 Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), IEEE Computer Society, Los Alamitos (2012)"},{"key":"4_CR4","unstructured":"Balser, M.: Verifying Concurrent System with Symbolic Execution \u2013 Temporal Reasoning is Symbolic Execution with a Little Induction. Ph.D. thesis, University of Augsburg, Augsburg, Germany (2005)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-48257-1_23","volume-title":"Applied Formal Methods - FM-Trends 98","author":"M. Balser","year":"1999","unstructured":"Balser, M., Reif, W., Schellhorn, G., Stenzel, K.: KIV 3.0 for Provably Correct Systems. In: Hutter, D., Traverso, P. (eds.) FM-Trends 1998. LNCS, vol.\u00a01641, pp. 330\u2013337. Springer, Heidelberg (1999)"},{"issue":"4","key":"4_CR6","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/2000799.2000800","volume":"20","author":"A. Bauer","year":"2011","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol.\u00a020(4), 14 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"B\u00e4umler, S., Schellhorn, G., Tofan, B., Reif, W.: Proving linearizability with temporal logic. In: Formal Aspects of Computing, FAC (2009)","DOI":"10.1007\/s00165-009-0130-y"},{"issue":"2-3","key":"4_CR8","first-page":"285","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. European Journal on Artificial Interlligence (AI Communication)\u00a023(2-3), 285\u2013307 (2010)","journal-title":"European Journal on Artificial Interlligence (AI Communication)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In: Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China. ACM Press (2006)","DOI":"10.1145\/1134285.1134297"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/73007.73015","volume-title":"STOC 1989: 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 1989: Proceedings of the Twenty-first Annual ACM Symposium on Theory of Computing, pp. 86\u201397. ACM, New York (1989)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Branke, J., Mnif, M., M\u00fcller-Schloer, C., Prothmann, H.: Organic Computing - Addressing Complexity by Controlled Self-organization. In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006, pp. 185\u2013191. IEEE (2008)","DOI":"10.1109\/ISoLA.2006.19"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-02161-9_3","volume-title":"Software Engineering for Self-Adaptive Systems","author":"Y. Brun","year":"2009","unstructured":"Brun, Y., Di Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H., Litoiu, M., M\u00fcller, H., Pezz\u00e8, M., Shaw, M.: Engineering Self-Adaptive Systems through Feedback Loops. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 48\u201370. Springer, Heidelberg (2009)"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1145\/5956.5958","volume":"8","author":"M. Chandy","year":"1986","unstructured":"Chandy, M., Misra, J.: An example of stepwise refinement of distributed programs: quiescence detection. ACM Trans. Program. Lang. Syst.\u00a08, 326\u2013343 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"De Wolf, T., Holvoet, T.: Designing self-organising emergent systems based on information flows and feedback-loops. In: First International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2007, pp. 295\u2013298 (July 2007)","DOI":"10.1109\/SASO.2007.16"},{"key":"4_CR15","unstructured":"Dechter, R.: Constraint processing. Elsevier Morgan Kaufmann (2003)"},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/1998642.1998646","volume-title":"Proceedings of the 2011 Workshop on Organic Computing, OC 2011","author":"P. Fischer","year":"2011","unstructured":"Fischer, P., Nafz, F., Seebach, H., Reif, W.: Ensuring correct self-reconfiguration in safety-critical applications by verified result checking. In: Proceedings of the 2011 Workshop on Organic Computing, OC 2011, pp. 3\u201312. ACM, New York (2011)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/311531.311532","volume":"31","author":"F.C. G\u00e4rtner","year":"1999","unstructured":"G\u00e4rtner, F.C.: Fundamentals of fault-tolerant distributed computing in asynchronous environments. ACM Comput. Surv.\u00a031, 1\u201326 (1999)","journal-title":"ACM Comput. Surv."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-71156-8_14","volume-title":"Reliable Systems on Unreliable Networked Platforms","author":"H. Giese","year":"2007","unstructured":"Giese, H.: Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems. In: Kordon, F., Sztipanovits, J. (eds.) Monterey Workshop 2005. LNCS, vol.\u00a04322, pp. 258\u2013280. Springer, Heidelberg (2007)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"G\u00fcdemann, M., Ortmeier, F., Reif, W.: Safety and Dependability Analysis of Self-Adaptive Systems. In: Proceedings of ISoLA 2006. IEEE CS Press (2006)","DOI":"10.1109\/ISoLA.2006.38"},{"key":"4_CR20","unstructured":"IBM: An architectural blueprint for autonomic computing. Tech. rep., IBM Corporation (2006)"},{"issue":"4","key":"4_CR21","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C.B. Jones","year":"1983","unstructured":"Jones, C.B.: Tentative steps toward a development method for interfering programs. ACM Trans. Program. Lang. Syst.\u00a05(4), 596\u2013619 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/32.60317","volume":"16","author":"J. Kramer","year":"1990","unstructured":"Kramer, J., Magee, J.: The Evolving Philosophers Problem: Dynamic Change Management. IEEE Trans. Softw. Eng.\u00a016, 1293\u20131306 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"4_CR23","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1049\/ip-sen:19982297","volume":"145","author":"J. Kramer","year":"1998","unstructured":"Kramer, J., Magee, J.: Analysing dynamic change in distributed software architectures. IEE Proceedings Software\u00a0145(5), 146\u2013154 (1998)","journal-title":"IEE Proceedings Software"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J.: Analysing dynamic change in software architectures: A case study, pp. 91\u2013100 (1998)","DOI":"10.1049\/ip-sen:19982297"},{"issue":"5","key":"4_CR25","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M. Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Program.\u00a078(5), 293\u2013303 (2009)","journal-title":"J. Log. Algebr. Program."},{"issue":"4","key":"4_CR26","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"SE-7","author":"J. Misra","year":"1981","unstructured":"Misra, J., Chandy, K.M.: Proofs of Networks of Processes. IEEE Transactions on Software Engineering\u00a0SE-7(4), 417\u2013426 (1981)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR27","series-title":"Understanding Complex Systems","first-page":"81","volume-title":"Organic Computing","author":"C. M\u00fcller-Schloer","year":"2008","unstructured":"M\u00fcller-Schloer, C., Sick, B.: Controlled emergence and self-organization. In: Organic Computing. Understanding Complex Systems, vol.\u00a021, pp. 81\u2013103. Springer, Heidelberg (2008)"},{"key":"4_CR28","unstructured":"Murch, R.: Autonomic Computing. IBM Press (2004)"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","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 Nieto, J., Reif, W., Wang, G., Indulska, J. (eds.) ATC 2009. LNCS, vol.\u00a05586, pp. 17\u201331. Springer, Heidelberg (2009)"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Nafz, F., Ortmeier, F., Seebach, H., Stegh\u00f6fer, J.P., Reif, W.: A generic software framework for role-based Organic Computing systems. In: SEAMS 2009: ICSE 2009 Workshop Software Engineering for Adaptive and Self-Managing Systems (2009)","DOI":"10.1109\/SEAMS.2009.5069078"},{"key":"4_CR31","series-title":"Autonomic Systems","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-0348-0130-0_5","volume-title":"Organic Computing - A Paradigm Shift for Complex Systems","author":"F. Nafz","year":"2011","unstructured":"Nafz, F., Seebach, H., Stegh\u00f6fer, J.P., Anders, G., Reif, W.: Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach. In: M\u00fcller-Schloer, C., Schmeck, H., Ungerer, T. (eds.) Organic Computing - A Paradigm Shift for Complex Systems. Autonomic Systems, vol.\u00a01, pp. 79\u201393. Springer, Basel (2011)"},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","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.M., Zhang, D., Zhou, X. (eds.) ATC 2010. LNCS, vol.\u00a06407, pp. 17\u201331. Springer, Heidelberg (2010)"},{"key":"4_CR33","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1049\/iet-sen:20070046","volume":"2","author":"P. Pissias","year":"2008","unstructured":"Pissias, P., Coulson, G.: Framework for quiescence management in support of reconfigurable multi-threaded component-based systems. Iet Software\/IEE Proceedings - Software\u00a02, 348\u2013361 (2008)","journal-title":"Iet Software\/IEE Proceedings - Software"},{"key":"4_CR34","unstructured":"Richter, U., Mnif, M., Branke, J., M\u00fcller-Schloer, C., Schmeck, H.: Towards a generic observer\/controller architecture for Organic Computing. In: INFORMATIK 2006 \u2013 Informatik f\u00fcr Menschen!, vol.\u00a0P-93, pp. 112\u2013119 (2006)"},{"issue":"4","key":"4_CR35","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1524\/itit.2005.47.4.195","volume":"47","author":"F. Rochner","year":"2005","unstructured":"Rochner, F., M\u00fcller-Schloer, C.: Emergence in Technical Systems. it - Information Technology\u00a047(4), 195\u2013200 (2005)","journal-title":"it - Information Technology"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Schellhorn, G., Tofan, B., Ernst, G., Reif, W.: Interleaved programs and rely-guarantee reasoning with ITL. In: Proc. of Temporal Representation and Reasoning (TIME). IEEE, CPS (2011)","DOI":"10.1109\/TIME.2011.12"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Schmeck, H., M\u00fcller-Schloer, C., \u00c7akar, E., Mnif, M., Richter, U.: Adaptivity and self-organization in organic computing systems. ACM Trans. Auton. Adapt. Syst. 5, 10:1\u201310:32 (September 2010)","DOI":"10.1145\/1837909.1837911"},{"key":"4_CR38","first-page":"194","volume-title":"IEEE International Conference on Self-Adaptive and Self-Organizing System (SASO)","author":"H. Seebach","year":"2010","unstructured":"Seebach, H., Nafz, F., Stegh\u00f6fer, J.P., Reif, W.: A software engineering guideline for self-organizing resource-flow systems. In: IEEE International Conference on Self-Adaptive and Self-Organizing System (SASO), pp. 194\u2013203. IEEE Computer Society, Los Alamitos (2010)"},{"key":"4_CR39","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-0348-0130-0_9","volume-title":"Organic Computing - A Paradigm Shift for Complex Systems, Autonomic Systems","author":"H. Seebach","year":"2011","unstructured":"Seebach, H., Nafz, F., Stegh\u00f6fer, J.P., Reif, W.: How to Design and Implement Self-organising Resource-Flow Systems. In: M\u00fcller-Schloer, C., Schmeck, H., Ungerer, T. (eds.) Organic Computing - A Paradigm Shift for Complex Systems, Autonomic Systems, vol.\u00a01, pp. 145\u2013161. Springer, Basel (2011)"},{"issue":"1-2","key":"4_CR40","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. Artificial Intelligence\u00a0101(1-2), 165\u2013200 (1998)","journal-title":"Artificial Intelligence"},{"key":"4_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-642-02704-8_8","volume-title":"Autonomic and Trusted Computing","author":"G. Smith","year":"2009","unstructured":"Smith, G., Sanders, J.W.: Formal Development of Self-organising Systems. In: Gonz\u00e1lez Nieto, J., Reif, W., Wang, G., Indulska, J. (eds.) ATC 2009. LNCS, vol.\u00a05586, pp. 90\u2013104. Springer, Heidelberg (2009)"},{"key":"4_CR42","unstructured":"Sterman, J.D.: Business Dynamics \u2013 Systems Thinking and Modeling for a Complex World. McGraw-Hill (2000)"},{"key":"4_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-642-13321-3_21","volume-title":"Mathematics of Program Construction","author":"B. Tofan","year":"2010","unstructured":"Tofan, B., B\u00e4umler, S., Schellhorn, G., Reif, W.: Temporal Logic Verification of Lock-Freedom. In: Bolduc, C., Desharnais, J., Ktari, B. (eds.) MPC 2010. LNCS, vol.\u00a06120, pp. 377\u2013396. Springer, Heidelberg (2010)"},{"key":"4_CR44","series-title":"Computation in Cognitive Science","volume-title":"Foundations of Constraint Satisfaction","author":"E. Tsang","year":"1993","unstructured":"Tsang, E.: Foundations of Constraint Satisfaction. Computation in Cognitive Science. Academic Press, Inc., London and San Diego, USA (1993)"},{"key":"4_CR45","doi-asserted-by":"crossref","unstructured":"Vandewoude, Y., Ebraert, P., Berbers, Y., D\u2019Hondt, T.: An alternative to quiescence: Tranquility. In: 22nd IEEE International Conference on Software Maintenance, ICSM 2006, pp. 73\u201382 (September 2006)","DOI":"10.1109\/ICSM.2006.11"},{"issue":"6","key":"4_CR46","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1145\/268999.269003","volume":"44","author":"H. Wasserman","year":"1997","unstructured":"Wasserman, H., Blum, M.: Software reliability via run-time result-checking. J. ACM\u00a044(6), 826\u2013849 (1997)","journal-title":"J. ACM"},{"key":"4_CR47","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-45448-9_9","volume-title":"Intelligent Agents VIII","author":"M.J. Wooldridge","year":"2002","unstructured":"Wooldridge, M.J., Dunne, P.E.: The Computational Complexity of Agent Verification. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 115\u2013127. Springer, Heidelberg (2002)"},{"key":"4_CR48","first-page":"371","volume-title":"Proceedings of the 28th International Conference on Software Engineering, ICSE 2006","author":"J. Zhang","year":"2006","unstructured":"Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 371\u2013380. ACM, New York (2006)"},{"key":"4_CR49","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1145\/1509239.1509262","volume-title":"Proceedings of the 8th ACM International Conference on Aspect-oriented Software Development, AOSD 2009","author":"J. Zhang","year":"2009","unstructured":"Zhang, J., Goldsby, H.J., Cheng, B.H.: Modular verification of dynamically adaptive systems. In: Proceedings of the 8th ACM International Conference on Aspect-oriented Software Development, AOSD 2009, pp. 161\u2013172. ACM, New York (2009)"}],"container-title":["Lecture Notes in Computer Science","Assurances for Self-Adaptive Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36249-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,5]],"date-time":"2022-02-05T23:18:59Z","timestamp":1644103139000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36249-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642362484","9783642362491"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36249-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}