{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:13:51Z","timestamp":1792185231723,"version":"4.4.0"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031197581","type":"print"},{"value":"9783031197598","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-19759-8_1","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T09:07:32Z","timestamp":1666170452000},"page":"3-12","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Rigorous Engineering of\u00a0Collective Adaptive Systems Introduction to\u00a0the\u00a04th Track Edition"],"prefix":"10.1007","author":[{"given":"Martin","family":"Wirsing","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"J\u00e4hnichen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Alberts, E., Gerostathopoulos, I.: Measuring convergence inertia: online learning in self-adaptive systems with context shifts. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 231\u2013248. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_15"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Audrito, G., Damiani, F., Torta, G.: Bringing aggregate programming towards the cloud. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 301\u2013317. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_19"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Chiang, J., Junttila, T., Lafuente, A.L., Mirelli, M., Vandin, A.: Formal analysis of lending pools in decentralized finance. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 335\u2013355. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_21"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bellomo, N., et al.: What is life? a perspective of the mathematical kinetic theory of active particles. Math. Models Methods Appl. Sci. 31(9), 1821\u20131866 (2021)","DOI":"10.1142\/S0218202521500408"},{"issue":"4","key":"1_CR5","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/s10009-021-00623-1","volume":"23","author":"L Bortolussi","year":"2021","unstructured":"Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S.A., Stoller, S.D.: Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Int. J. Softw. Tools Technol. Transfer 23(4), 615\u2013640 (2021). https:\/\/doi.org\/10.1007\/s10009-021-00623-1","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Bozga, M., Sifakis, J.: Correct by design coordination of autonomous driving systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 13\u201329. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_2"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Brandst\u00e4tter, A., Smolka, S.A., Stoller, S.D., Tiwari, A., Grosu, R.: Towards drone flocking using relative distance measurements. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 97\u2013109. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_7"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Bure\u0161, T., et al.: Attuning adaptation rules via a rule-specific neural network. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 215\u2013230. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_14"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Bures, T., Gerostathopoulos, I., Hn\u011btynka, P., Keznikl, J., Kit, M., Pl\u00e1\u0161il, F.: DEECO: an ensemble-based component system. In: Kruchten, P., Giannakopoulou, D., Tivoli, M. (eds.) CBSE 2013, Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering, part of Comparch 2013, Vancouver, BC, Canada, 17\u201321 June 2013, pp. 81\u201390. ACM (2013)","DOI":"10.1145\/2465449.2465462"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Cairoli, F., Paoletti, N., Bortolussi, L.: Neural predictive monitoring for collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 30\u201346. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_3"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Di Stefano, L., Inverso, O., Valiani, S.: Modelling flocks of birds from the bottom u. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 82\u201396. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_6"},{"issue":"4","key":"1_CR12","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s10009-020-00565-0","volume":"22","author":"R De Nicola","year":"2020","unstructured":"De Nicola, R., J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transfer 22(4), 389\u2013397 (2020). https:\/\/doi.org\/10.1007\/s10009-020-00565-0","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"De Nicola, R., J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems - introduction to the 2nd track edition. In: [28], pp. 3\u201312 (2018)","DOI":"10.1007\/978-3-030-03424-5_1"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Fettke, P., Reisig, W.: Discrete models of continuous behavior of collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 65\u201381. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_5"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Hennicker, R., Knapp, A., Wirsing, M.: Epistemic ensembles. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 110\u2013126. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_8"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Hennicker, R., Wirsing, M.: Dynamic logic for ensembles. In: [28], pp. 32\u201347 (2018)","DOI":"10.1007\/978-3-030-03424-5_3"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Hennicker, R., Wirsing, M.: A dynamic logic for systems with predicate-based communication. In: [29], pp. 224\u2013242 (2020)","DOI":"10.1007\/978-3-030-61470-6_14"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-89437-7_1","volume-title":"Software-Intensive Systems and New Computing Paradigms","author":"M H\u00f6lzl","year":"2008","unstructured":"H\u00f6lzl, M., Rauschmayer, A., Wirsing, M.: Engineering of software-intensive systems: state of the art and research challenges. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Software-Intensive Systems and New Computing Paradigms. LNCS, vol. 5380, pp. 1\u201344. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89437-7_1"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems - track introduction. In: [27], pp. 535\u2013538 (2016)","DOI":"10.1007\/978-3-319-47166-2_37"},{"key":"1_CR20","unstructured":"Kernbach, S., Schmickl, T., Timmis, J.: Collective adaptive systems: challenges beyond evolvability. CoRR abs\/1108.5643 (2011)"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/978-3-030-81685-8_23","volume-title":"Computer Aided Verification","author":"J Lee","year":"2021","unstructured":"Lee, J., Kim, S., Bae, K., \u00d6lveczky, P.C.: Hybrid\u00a0SynchAADL: modeling and formal analysis of virtually synchronous CPSs in AADL. In: Silva, A., Leino, K.R.M. (eds.) CAV 2021. LNCS, vol. 12759, pp. 491\u2013504. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-81685-8_23"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Lee, J., Kim, S., Bae, K., \u00d6lveczky, P.C.: An extension of HybridSynchAADL and its application to collaborating autonomous UAVs. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 47\u201364. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_4"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Leguizamon-Robayo, A., Tschaikowski, M.: Efficient estimation of agent networks. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 199\u2013214. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_13"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Lion, B., Arbab, F., Talcott, C.L.: A semantic model for interacting cyber-physical systems. In: Lange, J., Mavridou, A., Safina, L., Scalas, A. (eds.), Proceedings of 14th Interaction and Concurrency Experience, ICE 2021, vol. 347 of EPTCS, pp. 77\u201395 (2021)","DOI":"10.4204\/EPTCS.347.5"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Lion, B., Arbab, F., Talcott, C.L.: A rewriting framework for cyber-physical systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 356\u2013372. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_22"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","year":"2014","unstructured":"Margaria, T., Steffen, B. (eds.): ISoLA 2014, Part I. LNCS, vol. 8802. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45234-9"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"E1","DOI":"10.1007\/978-3-319-47166-2_67","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"T Margaria","year":"2016","unstructured":"Margaria, T., Steffen, B.: Erratum to: leveraging applications of formal methods, verification and validation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016, Part I. LNCS, vol. 9952, pp. E1\u2013E1. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_67"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03424-5","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation Distributed Systems","year":"2018","unstructured":"Margaria, T., Steffen, B. (eds.): ISoLA 2018, Part III. LNCS, vol. 11246. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03424-5"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-61470-6","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles","year":"2020","unstructured":"Margaria, T., Steffen, B. (eds.): ISoLA 2020, Part II. LNCS, vol. 12477. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61470-6"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Monica, S., Bergenti, F., Zambonelli, F.: Towards a kinetic framework to model the collective dynamics of large agent systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 165\u2013180. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_11"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Murgia, M., Pinciroli, R., Trubiani, C., Tuosto, E.: On model-based performance analysis of collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 266\u2013282. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_17"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Piterman, N., Abd Alrahman, Y., Azzopardi, S.: Model checking reconfigurable interacting systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 373\u2013389. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_23"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Ritz, F., et al.: Capturing dependencies within machine learning via a formal process model. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 249\u2013265. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_16"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"ter Beek, M., Basile, D., Ciancia, V.: An experimental toolchain for strategy synthesis with spatial properties. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 142\u2013164. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_10"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Tiezzi, F., Bourr, K., Bettini, L., Pugliese, R.: Programming multi-robot systems with X-KLAIM. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 283\u2013300. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_18"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"T\u00f6pfer, M., Abdullah, M., Bure\u0161, T., Hn\u011btynka, P., Kruli\u0161, M.: Ensemble-based modeling abstractions for modern self-optimizing systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 318\u2013334. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_20"},{"issue":"3","key":"1_CR37","doi-asserted-by":"publisher","first-page":"999","DOI":"10.1109\/TAC.2019.2913711","volume":"65","author":"M Tschaikowski","year":"2020","unstructured":"Tschaikowski, M.: Over-approximation of fluid models. IEEE Trans. Autom. Control. 65(3), 999\u20131013 (2020)","journal-title":"IEEE Trans. Autom. Control."},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Wirsing, M., De Nicola, R., H\u00f6lzl, M.M.: Rigorous engineering of autonomic ensembles - track introduction. In: [26], pp. 96\u201398 (2014)","DOI":"10.1007\/978-3-662-45234-9_7"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Wirsing, M., De Nicola, R., J\u00e4hnichen, S.: Rigorous engineering of collective adaptive systems - introduction to the 3rd track edition. In: [29], pp. 161\u2013170 (2020)","DOI":"10.1007\/978-3-030-61470-6_10"},{"key":"1_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16310-9","volume-title":"Software Engineering for Collective Autonomic Systems","year":"2015","unstructured":"Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16310-9"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Yifeng, C., Sanders, J.W.: A modal approach to consciousness of agents. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13703, pp. 127\u2013141. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19759-8_9"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19759-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T23:18:00Z","timestamp":1666221480000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19759-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197581","9783031197598"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19759-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","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":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}