{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T19:16:24Z","timestamp":1774984584951,"version":"3.50.1"},"publisher-location":"Cham","reference-count":67,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031751066","type":"print"},{"value":"9783031751073","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-75107-3_1","type":"book-chapter","created":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:01:50Z","timestamp":1729926110000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Rigorous Engineering of\u00a0Collective Adaptive Systems Introduction to\u00a0the\u00a05$$^{\\textrm{th}}$$ Track Edition"],"prefix":"10.1007","author":[{"given":"Martin","family":"Wirsing","sequence":"first","affiliation":[]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"J\u00e4hnichen","sequence":"additional","affiliation":[]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"issue":"5","key":"1_CR1","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1007\/s10009-023-00729-8","volume":"25","author":"Y Abd Alrahman","year":"2023","unstructured":"Abd Alrahman, Y., Azzopardi, S., Stefano, L.D., Piterman, N.: Language support for verifying reconfigurable interacting systems. Int. J. Softw. Tools Technol. Transf. 25(5), 765\u2013784 (2023)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Abd Alrahman, Y., Azzopardi, S., Stefano, L.D., Piterman, N.: Attributed point-to-point communication in R-Check. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 333\u2013350. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_20"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Altmann, P., et al.: Emergence in multi-agent systems - a safety perspective. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 104\u2013120. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_7"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Audrito, G., Damiani, F., Torta, G.: Towards real-time aggregate computing. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 49\u201368. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_4"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"A\u00dfmann, U., Gutsche, C.: RailCabs and Birds in Julia - context-role ensemble engineering in practice. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 191\u2013207. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_12"},{"key":"1_CR6","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-319-06410-9_7","volume-title":"FM 2014","author":"K Bae","year":"2014","unstructured":"Bae, K., \u00d6lveczky, P.C., Meseguer, J.: Definition, semantics, and analysis of multirate synchronous AADL. In: Jones, C.B., Pihlajasaari, P., Sun, J. (eds.) FM 2014. LNCS, vol. 8442, pp. 94\u2013109. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-319-06410-9_7"},{"issue":"1","key":"1_CR7","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1214\/aoms\/1177697196","volume":"41","author":"LE Baum","year":"1970","unstructured":"Baum, L.E., Petrie, T., Soules, G., Weiss, N.: A maximization technique occurring in the statistical analysis of probabilistic functions of Markov chains. Ann. Math. Statist. 41(1), 164\u2013171 (1970)","journal-title":"Ann. Math. Statist."},{"issue":"9","key":"1_CR8","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2015.261","volume":"48","author":"J Beal","year":"2015","unstructured":"Beal, J., Pianini, D., Viroli, M.: Aggregate programming for the internet of things. Computer 48(9), 22\u201330 (2015)","journal-title":"Computer"},{"key":"1_CR9","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-031-46002-9_23","volume-title":"AISoLA 2023","author":"L Belzner","year":"2023","unstructured":"Belzner, L., Gabor, T., Wirsing, M.: Large language model assisted software engineering: prospects, challenges, and a case study. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 355\u2013374. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-46002-9_23"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Bernadeschi, C., Lettieri, G., Rossi, F.: Statistical model checking of cooperative autonomous driving systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 316\u2013332. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_19"},{"key":"1_CR11","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-030-99524-9_15","volume-title":"TACAS 2022","author":"L Bortolussi","year":"2022","unstructured":"Bortolussi, L., Gallo, G.M., Kret\u00ednsk\u00fd, J., Nenzi, L.: Learning model checking and the kernel trick for signal temporal logic on stochastic processes. In: Fisman, D., Rosu, G. (eds.) TACAS 2022. LNCS, vol. 13243, pp. 281\u2013300. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99524-9_15"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Bourr, K., Bettini, L., Tiezzi, F.: Model-driven development of multi-robot systems: from BPMN models to X-KLAIM Code0. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 224\u2013242. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_14"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Bure\u0161, T., et al.: A life cycle for the development of autonomic systems: the e-mobility showcase. In: SASO Workshops, pp. 71\u201376 (2013)","DOI":"10.1109\/SASOW.2013.23"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Bure\u0161, T., Gerostathopoulos, I., Hn\u011btynka, P., Pacovsky, J.: Forming ensembles at runtime: a machine learning approach. In: [50], pp. 440\u2013456 (2020)","DOI":"10.1007\/978-3-030-61470-6_26"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Bure\u0161, 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_CR16","doi-asserted-by":"crossref","unstructured":"Bure\u0161, T., et al.: Attuning adaptation rules via a rule-specific neural network. In: [51], pp. 215\u2013230 (2022)","DOI":"10.1007\/978-3-031-19759-8_14"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. In: Bod\u00edk, R., Majumdar, R. (eds.) Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, 20\u201322 January 2016, pp. 137\u2013150. ACM (2016)","DOI":"10.1145\/2837614.2837649"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-662-54580-5_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: ERODE: a tool for the evaluation and reduction of ordinary differential equations. In: Legay, A., Margaria, T. (eds.) TACAS 2017. LNCS, vol. 10206, pp. 310\u2013328. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54580-5_19"},{"issue":"38","key":"1_CR19","doi-asserted-by":"publisher","first-page":"10029","DOI":"10.1073\/pnas.1702697114","volume":"114","author":"L Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. U.S.A. 114(38), 10029\u201310034 (2017)","journal-title":"Proc. Natl. Acad. Sci. U.S.A."},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-319-63121-9_23","volume-title":"Models, Algorithms, Logics and Tools","author":"L Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Syntactic Markovian bisimulation for chemical reaction networks. In: Aceto, L., Bacci, G., Bacci, G., Ing\u00f3lfsd\u00f3ttir, A., Legay, A., Mardare, R. (eds.) Models, Algorithms, Logics and Tools. LNCS, vol. 10460, pp. 466\u2013483. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63121-9_23"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Chen, Y., Sanders, J.: The evolving conscious agent, I. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 88\u2013103. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_6"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Chen, Y., Sanders, J.W.: A modal approach to consciousness of agents. In: [51], pp. 127\u2013141 (2022)","DOI":"10.1007\/978-3-031-19759-8_9"},{"key":"1_CR23","volume-title":"Implementing Mathematics with the Nuprl Proof Development System","author":"RL Constable","year":"1986","unstructured":"Constable, R.L., et al.: Implementing Mathematics with the Nuprl Proof Development System. Prentice Hall, Hoboken (1986)"},{"issue":"4","key":"1_CR24","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Mikucionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397\u2013415 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"4","key":"1_CR25","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. Transf. 22(4), 389\u2013397 (2020)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"De Nicola, R., J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems \u2013 introduction to the 2nd track edition. In: [49], pp. 3\u201312 (2018)","DOI":"10.1007\/978-3-030-03424-5_1"},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF01417909","volume":"3","author":"J Deneubourg","year":"1990","unstructured":"Deneubourg, J., Aron, S., Goss, S., Pasteels, J.: The self-organizing exploratory pattern of the Argentine ant. J. Insect Behav. 3, 159\u2013168 (1990)","journal-title":"J. Insect Behav."},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Fettke, P., Reisig, W.: Discrete models of continuous behavior of collective adaptive systems. In: [51], pp. 65 \u201381 (2022)","DOI":"10.1007\/978-3-031-19759-8_5"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Fettke, P., Reisig, W.: Once and for all: how to compose modules - the composition calculus. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 173\u2013190. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_11"},{"key":"1_CR30","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.peva.2018.09.005","volume":"129","author":"N Gast","year":"2019","unstructured":"Gast, N., Bortolussi, L., Tribastone, M.: Size expansions of mean field approximation: transient and steady-state analysis. Perform. Eval. 129, 60\u201380 (2019)","journal-title":"Perform. Eval."},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Giudice, N.D., Loreti, M., Quadrini, M., Rehman, A.: Monitoring local and global properties of collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 281\u2013296. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_17"},{"key":"1_CR32","unstructured":"Harrison, J.: The HOL Light system reference (2023). https:\/\/github.com\/jrh13\/hol-light\/. Accessed 13 July 2024"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Hennicker, R., Knapp, A., Wirsing, M.: Epistemic ensembles. In: [51], pp. 110\u2013126 (2022)","DOI":"10.1007\/978-3-031-19759-8_8"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Hennicker, R., Knapp, A., Wirsing, M.: Epistemic ensembles in semantic and symbolic environments. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 69\u201387. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_5"},{"key":"1_CR35","unstructured":"Hennicker, R., Knapp, A., Wirsing, M.: Symbolic realisation of epistemic processes. In: Bj\u00f8rner, N.S., Heule, M., Voronkov, A. (eds.) LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, 26\u201331 May 2024. EPiC Series in Computing, vol. 100, pp. 390\u2013407. EasyChair (2024)"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"H\u00f6lzl, M.M., Rauschmayer, A., Wirsing, M.: Engineering of software-intensive systems: state of the art and research challenges. In: [62], pp. 1\u201344. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-89437-7_1"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems \u2013 track introduction. In: [48], pp. 535\u2013538 (2016)","DOI":"10.1007\/978-3-319-47166-2_37"},{"key":"1_CR38","unstructured":"Kernbach, S., Schmickl, T., Timmis, J.: Collective adaptive systems: challenges beyond evolvability. CoRR abs\/1108.5643 (2011)"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Klein, J., d\u2019Onofrio, A., Petrov, T.: Exploring robustness in reaching consensus in robot swarms with disruptive individuals. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 33\u201348. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_3"},{"key":"1_CR40","unstructured":"Kosak, O.: Mission programming for flying ensembles: combining planning with self-organization. Ph.D. thesis, University of Augsburg, Germany (2021)"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Kosak, O., Kastenm\u00fcller, P., Wanninger, C., Reif, W.: An approach for extended swarm formation flight with drones: protease-X 2.0. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 263\u2013280. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_16"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Larsen, K., Toller, D., Tschaikowski, M., Tribastone, M., Vandin, A.: Optimality-preserving reduction of chemical reaction networks. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 13\u201332. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_2"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Lee, J., Bae, K., \u00d6lveczky, P.: Rigorous model engineering of multirate CPSs in MR-HybridSynchAADL. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 243\u2013262. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_15"},{"key":"1_CR44","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: [51], pp. 47\u201364 (2022)","DOI":"10.1007\/978-3-031-19759-8_4"},{"key":"1_CR45","doi-asserted-by":"crossref","unstructured":"Maggesi, M., Perini Brogi, C.: Rigorous analysis of idealised pathfinding ants in higher-order logic. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 297\u2013315. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_18"},{"key":"1_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12"},{"key":"1_CR47","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","year":"2014","unstructured":"Margaria, T., Steffen, B. (eds.): ISoLA 2014, Part I. LNCS, vol. 8802. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-662-45234-9"},{"key":"1_CR48","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","year":"2016","unstructured":"Margaria, T., Steffen, B. (eds.): ISoLA 2016, Part I. LNCS, vol. 9952. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2"},{"key":"1_CR49","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03424-5","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","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_CR50","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-61470-6","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","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_CR51","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19759-8","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","year":"2022","unstructured":"Margaria, T., Steffen, B. (eds.): ISoLA 2022, Part III. LNCS, vol. 13703. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19759-8"},{"key":"1_CR52","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2024.114537","volume":"998","author":"M Pasqua","year":"2024","unstructured":"Pasqua, M., Miculan, M.: Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems. Theor. Comput. Sci. 998, 114537 (2024)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR53","doi-asserted-by":"crossref","unstructured":"Pasqua, M., Miculan, M.: Local reasoning and attribute-based memory updates for enforcing global invariants in collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 351\u2013367. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_21"},{"key":"1_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/3-540-08342-1_30","volume-title":"Automata, Languages and Programming","author":"A Pnueli","year":"1977","unstructured":"Pnueli, A., Slutzki, G.: Simple programs and their decision problems. In: Salomaa, A., Steinby, M. (eds.) ICALP 1977. LNCS, vol. 52, pp. 380\u2013390. Springer, Heidelberg (1977). https:\/\/doi.org\/10.1007\/3-540-08342-1_30"},{"key":"1_CR55","series-title":"Monographs in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-28183-5","volume-title":"Adapting Proofs-as-Programs - The Curry-Howard Protocol","author":"IH Poernomo","year":"2005","unstructured":"Poernomo, I.H., Wirsing, M., Crossley, J.N.: Adapting Proofs-as-Programs - The Curry-Howard Protocol. Monographs in Computer Science, Springer, New York (2005). https:\/\/doi.org\/10.1007\/0-387-28183-5"},{"key":"1_CR56","unstructured":"Reisig, W.: Komposition von komponenten-modellen: der schl\u00fcssel zur konstruktion gro\u00dfer systeme. In: Bork, D., Karagiannis, D., Mayr, H.C. (eds.) Modellierung 2020, 19\u201321 Februar 2020, Wien, \u00d6sterreich. LNI, vol. P-302, p.\u00a011. Gesellschaft f\u00fcr Informatik e.V. (2020)"},{"key":"1_CR57","doi-asserted-by":"crossref","unstructured":"Saveri, G., Nenzi, L., Bortolussi, L., Silvetti, S.: Is machine learning model checking privacy preserving? In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 139\u2013155. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_9"},{"key":"1_CR58","doi-asserted-by":"crossref","unstructured":"S\u00fcrmeli, J., Yilmaz, S.: Establishing trust in dynamically formed ensembles. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 156\u2013172. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_10"},{"key":"1_CR59","unstructured":"The Coq Development Team. The Coq Reference Manual release 8.19.2 (2024). https:\/\/github.com\/coq\/coq\/releases\/tag\/V8.19.2. Accessed 13 July 2024"},{"key":"1_CR60","doi-asserted-by":"crossref","unstructured":"Tiezzi, F., Bourr, K., Bettini, L., Pugliese, R.: Programming multi-robot systems with X-KLAIM. In: [51], pp. 283\u2013300 (2022)","DOI":"10.1007\/978-3-031-19759-8_18"},{"key":"1_CR61","doi-asserted-by":"crossref","unstructured":"T\u00f6pfer, M., Khalyeyev, D., Bure\u0161, T., Hn\u011btynka, P., Pl\u00e1\u0161il, F.: How well do LLMs understand DEECo ensemble-based component architectures. pp. 208\u2013223, (2024)","DOI":"10.1007\/978-3-031-75107-3_13"},{"key":"1_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89437-7","volume-title":"Software-Intensive Systems and New Computing Paradigms","year":"2008","unstructured":"Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.): Software-Intensive Systems and New Computing Paradigms. LNCS, vol. 5380. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89437-7"},{"key":"1_CR63","doi-asserted-by":"crossref","unstructured":"Wirsing, M., De Nicola, R., H\u00f6lzl, M.M.: Rigorous engineering of autonomic ensembles \u2013 track introduction. In: [47], pp. 96\u201398 (2014)","DOI":"10.1007\/978-3-662-45234-9_7"},{"key":"1_CR64","doi-asserted-by":"crossref","unstructured":"Wirsing, M., De Nicola, R., J\u00e4hnichen, S.: Rigorous engineering of collective adaptive systems \u2013 introduction to the 4th track edition. In: [51], pp. 3\u201312 (2022)","DOI":"10.1007\/978-3-031-19759-8_1"},{"key":"1_CR65","doi-asserted-by":"crossref","unstructured":"Wirsing, M., De Nicola, R., J\u00e4hnichen, S.: Rigorous engineering of collective adaptive systems \u2013 introduction to the 3rd track edition. In: [50], pp. 161\u2013170 (2020)","DOI":"10.1007\/978-3-030-61470-6_10"},{"key":"1_CR66","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_CR67","doi-asserted-by":"crossref","unstructured":"\u00d3sk Gunnarsd\u00f3ttir, E., Ing\u00f3lfsd\u00f3ttir, A.: The EM-BDD algorithm for learning hidden Markov models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15220, pp. 121\u2013138. Springer, Cham (2024)","DOI":"10.1007\/978-3-031-75107-3_8"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75107-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,30]],"date-time":"2024-11-30T08:59:33Z","timestamp":1732957173000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75107-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"ISBN":["9783031751066","9783031751073"],"references-count":67,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75107-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"27 October 2024","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":"Crete","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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}