{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T10:02:15Z","timestamp":1779789735393,"version":"3.53.1"},"reference-count":75,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:00:00Z","timestamp":1774915200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:00:00Z","timestamp":1774915200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005722","name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005722","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2026,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Adaptive systems are designed to modify their behaviour at runtime in response to dynamically changing and open-ended environments as well as evolving requirements. Such systems may operate as individual adaptive entities or as collective adaptive systems composed of multiple collaborating components. Rigorous engineering of these systems requires appropriate methods, models, and tools that ensure reliability, correctness, and alignment with their intended purpose. This paper introduces the second part of the special section on Rigorous Engineering of Collective Adaptive Systems. It presents seven selected contributions and positions them within four major research directions: (i) Large Ensembles and Collective Dynamics, (ii) Knowledge, Consciousness and Emergence, (iii) Automated Reasoning for Better Interaction, and (iv) Analysing Collective Adaptive Systems. Together, they illustrate current progress and emerging challenges in the rigorous engineering of collective adaptive systems.<\/jats:p>","DOI":"10.1007\/s10009-026-00859-9","type":"journal-article","created":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:30:26Z","timestamp":1774945826000},"page":"123-129","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Rigorous engineering of collective adaptive systems \u2013 3rd special section: part II"],"prefix":"10.1007","volume":"28","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"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,3,31]]},"reference":[{"key":"859_CR1","doi-asserted-by":"crossref","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019)","DOI":"10.1016\/j.ic.2019.104457"},{"issue":"5","key":"859_CR2","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., Di Stefano, L., 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":"859_CR3","doi-asserted-by":"crossref","unstructured":"Abd Alrahman, Y., Azzopardi, S., Di Stefano, L., Piterman, N.: A compositional reconfigurable semantics for a multi-mode interaction in R-Check. In this issue (2026)","DOI":"10.1007\/s10009-026-00861-1"},{"key":"859_CR4","doi-asserted-by":"crossref","unstructured":"Abd Alrahman, Y., Azzopardi, S., Di Stefano, L., Piterman, N.: Attributed point-to-point communication in R-Check. In: Margaria and Steffen [56], pp.\u00a0333\u2013350","DOI":"10.1007\/978-3-031-75107-3_20"},{"key":"859_CR5","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"WADT 2002, Revised Selected Papers","author":"L.F. Andrade","year":"2002","unstructured":"Andrade, L.F., Baldan, P., Baumeister, H., Bruni, R., Corradini, A., De Nicola, R., Fiadeiro, J.L., Gadducci, F., Gnesi, S., et al.: AGILE: software architecture for mobility. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002, Revised Selected Papers. Lecture Notes in Computer Science, vol.\u00a02755, pp.\u00a01\u201333. Springer, Berlin (2002)"},{"issue":"7","key":"859_CR6","doi-asserted-by":"publisher","first-page":"1822","DOI":"10.1073\/pnas.0308265100","volume":"101","author":"D. Angeli","year":"2004","unstructured":"Angeli, D., Ferrell, J.J.E., Sontag, E.D.: Detection of multistability, bifurcations, and hysteresis in a large class of biological positive-feedback systems. Proc. Natl. Acad. Sci. 101(7), 1822\u20131827 (2004)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"859_CR7","first-page":"153","volume-title":"IEEE International Conference on Autonomic Computing and Self-Organizing Systems","author":"G. Audrito","year":"2020","unstructured":"Audrito, G.: FCPP: an efficient and extensible field calculus framework. In: IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020, Washington, DC, USA, August 17-21, 2020, pp.\u00a0153\u2013159. IEEE (2020)"},{"key":"859_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.111976","volume":"210","author":"G. Audrito","year":"2024","unstructured":"Audrito, G., Casadei, R., Damiani, F., Salvaneschi, G., Viroli, M.: The exchange calculus (XC): a functional programming language design for distributed collective systems. J. Syst. Softw. 210, 111976 (2024)","journal-title":"J. Syst. Softw."},{"key":"859_CR9","doi-asserted-by":"crossref","unstructured":"Audrito, G., Damiani, F., Torta, G.: Composable models and guarantees for aggregate systems. In this issue (2026)","DOI":"10.1007\/s10009-026-00860-2"},{"key":"859_CR10","doi-asserted-by":"crossref","unstructured":"Audrito, G., Damiani, F., Torta, G.: Towards real-time aggregate computing. In: Margaria and Steffen [55], pp.\u00a049\u201368","DOI":"10.1007\/978-3-031-75107-3_4"},{"key":"859_CR11","volume-title":"The Stanford Encyclopedia of Philosophy","author":"A. Baltag","year":"2018","unstructured":"Baltag, A., Renne, B.: Dynamic epistemic logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Fall 2018th edn. Metaphysics Research Lab, Stanford University (2018)"},{"issue":"9","key":"859_CR12","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":"859_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2022.103842","volume":"316","author":"V. Belle","year":"2023","unstructured":"Belle, V., Bolander, T., Herzig, A., Nebel, B.: Epistemic planning: perspectives on the special issue. Artif. Intell. 316, 103842 (2023)","journal-title":"Artif. Intell."},{"key":"859_CR14","unstructured":"Bengio, Y.: The consciousness prior (2019). arXiv:1709.08568v2, cs.LG"},{"key":"859_CR15","doi-asserted-by":"crossref","unstructured":"Bernadeschi, C., Fagiolini, A., Lettieri, G., Pagani, D., Rossi, F.: Statistical model checking of a dynamic vehicle platoon. In this issue (2026)","DOI":"10.1007\/s10009-026-00862-0"},{"key":"859_CR16","doi-asserted-by":"crossref","unstructured":"Bernadeschi, C., Lettieri, G., Rossi, F.: Statistical model checking of cooperative autonomous driving systems. In: Margaria and Steffen [56], pp.\u00a0316\u2013332","DOI":"10.1007\/978-3-031-75107-3_19"},{"key":"859_CR17","series-title":"EPTCS","first-page":"16","volume-title":"QAPL 2015","author":"L. Bortolussi","year":"2015","unstructured":"Bortolussi, L., De Nicola, R., Galpin, V., Gilmore, S., Hillston, J., Latella, D., Loreti, M., Massink, M.: CARMA: collective adaptive resource-sharing Markovian agents. In: QAPL 2015. EPTCS, vol.\u00a0194, pp.\u00a016\u201331 (2015)"},{"key":"859_CR18","first-page":"71","volume":"2013","author":"T. Bure\u0161","year":"2013","unstructured":"Bure\u0161, T., De Nicola, R., Gerostathopoulos, I., Hoch, N., Kit, M., Koch, N., Monreale, G.V., Montanari, U., Pugliese, R., \u0160erbed\u017eija, N., Wirsing, M., Zambonelli, F.: A life cycle for the development of autonomic systems: the e-mobility showcase. SASO Workshops 2013, 71\u201376 (2013)","journal-title":"SASO Workshops"},{"key":"859_CR19","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2837614.2837649","volume-title":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"L. Cardelli","year":"2016","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, January 20\u00a0- 22, 2016, pp.\u00a0137\u2013150. ACM (2016)"},{"key":"859_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/978-3-662-54580-5_19","volume-title":"Proceedings, Part II","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.) Proceedings, Part II, Tools and Algorithms for the Construction and Analysis of Systems\u00a0- 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017. Lecture Notes in Computer Science, vol.\u00a010206, pp.\u00a0310\u2013328 (2017)"},{"issue":"38","key":"859_CR21","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. USA 114(38), 10029\u201310034 (2017)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"859_CR22","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\u00a0- Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday","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\u00a0- Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol.\u00a010460, pp.\u00a0466\u2013483. Springer, Berlin (2017)"},{"issue":"1","key":"859_CR23","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s11047-019-09761-7","volume":"19","author":"L. Cardelli","year":"2020","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M.: From electric circuits to chemical networks. Nat. Comput. 19(1), 237\u2013248 (2020)","journal-title":"Nat. Comput."},{"key":"859_CR24","doi-asserted-by":"crossref","unstructured":"Casadei, R., Viroli, M., Audrito, G., Damiani, F.: FScaFi: a core calculus for collective adaptive systems programming. In: Margaria and Steffen [54], pp.\u00a0344\u2013360","DOI":"10.1007\/978-3-030-61470-6_21"},{"key":"859_CR25","series-title":"CDMTCS Research Report Series","volume-title":"To a Mathematical Theory of Evolution and Biological Creativity","author":"G. Chaitin","year":"2011","unstructured":"Chaitin, G.: To a Mathematical Theory of Evolution and Biological Creativity. CDMTCS Research Report Series, vol.\u00a0391. University of Auckland (2011)"},{"key":"859_CR26","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/s10009-023-00732-z","volume":"25","author":"Y. Chen","year":"2023","unstructured":"Chen, Y., Sanders, J.W.: A modal approach to conscious social agents. Int. J. Softw. Tools Technol. Transf. 25, 707\u2013716 (2023)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"859_CR27","unstructured":"Chen, Y., Sanders, J.: The evolving conscious agent, II. In this issue (2026)"},{"key":"859_CR28","doi-asserted-by":"crossref","unstructured":"Chen, Y., Sanders, J.: The evolving conscious agent, I. In: Margaria and Steffen [57], pp.\u00a088\u2013103","DOI":"10.1007\/978-3-031-75107-3_6"},{"key":"859_CR29","unstructured":"Chen, Y., Sanders, J.W.: A modal approach to consciousness of agents. In: Margaria and Steffen [55], pp.\u00a0127\u2013141"},{"key":"859_CR30","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.scico.2015.11.005","volume":"117","author":"F. Damiani","year":"2016","unstructured":"Damiani, F., Viroli, M., Beal, J.: A type-sound calculus of computational fields. Sci. Comput. Program. 117, 17\u201344 (2016)","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"859_CR31","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":"2","key":"859_CR32","first-page":"7:1","volume":"9","author":"R. De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. 9(2), 7:1\u20137:29 (2014)","journal-title":"ACM Trans. Auton. Adapt."},{"issue":"4","key":"859_CR33","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":"859_CR34","unstructured":"De Nicola, R., J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive ensembles\u00a0\u2013 track introduction. In: Margaria and Steffen [53], pp.\u00a03\u201312"},{"key":"859_CR35","series-title":"Lecture Notes in Computer Science","first-page":"143","volume-title":"WADT 2012, Revised Selected Papers","author":"J. Eckhardt","year":"2012","unstructured":"Eckhardt, J., M\u00fchlbauer, T., Meseguer, J., Wirsing, M.: Statistical model checking for composite actor systems. In: Mart\u00ed-Oliet, N., Palomino, M. (eds.) WADT 2012, Revised Selected Papers. Lecture Notes in Computer Science, vol.\u00a07841, pp.\u00a0143\u2013160. Springer, Berlin (2012)"},{"key":"859_CR36","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":"859_CR37","series-title":"EPiC Series in Computing","doi-asserted-by":"crossref","first-page":"390","DOI":"10.29007\/h8h3","volume-title":"LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26\u201331, 2024","author":"R. Hennicker","year":"2024","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, May 26\u201331, 2024. EPiC Series in Computing, vol.\u00a0100, pp.\u00a0390\u2013407. EasyChair (2024)"},{"key":"859_CR38","unstructured":"Hennicker, R., Knapp, A., Wirsing, M.: Epistemic ensembles in semantic, symbolic, and distributed environments. In this issue (2026)"},{"key":"859_CR39","doi-asserted-by":"crossref","unstructured":"Hennicker, R., Knapp, A., Wirsing, M.: Epistemic ensembles. In: Margaria and Steffen [55], pp.\u00a0110\u2013126","DOI":"10.1007\/978-3-031-19759-8_8"},{"key":"859_CR40","doi-asserted-by":"crossref","unstructured":"Hennicker, R., Knapp, A., Wirsing, M.: Epistemic ensembles in semantic and symbolic environments. In: Margaria and Steffen [57], pp.\u00a069\u201387","DOI":"10.1007\/978-3-031-75107-3_5"},{"key":"859_CR41","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)"},{"key":"859_CR42","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Engineering of Software-Intensive Systems: State of the Art and Research Challenges","author":"M.M. H\u00f6lzl","year":"2008","unstructured":"H\u00f6lzl, M.M., Rauschmayer, A., Wirsing, M.: Software-intensive systems and new computing paradigms\u00a0- challenges and visions. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M.M., Rauschmayer, A. (eds.) Engineering of Software-Intensive Systems: State of the Art and Research Challenges. Lecture Notes in Computer Science, vol.\u00a05380, pp.\u00a01\u201344. Springer, Berlin (2008)"},{"key":"859_CR43","doi-asserted-by":"crossref","unstructured":"Ilieva, M., Tschaikowski, M., Vandin, A., Uchida, S.: The current status of gene expression profilings in covid-19 patients. Clin. Transl. Discov. 2(3) (2022)","DOI":"10.1002\/ctd2.104"},{"key":"859_CR44","doi-asserted-by":"crossref","unstructured":"J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems\u00a0\u2013 track introduction. In: Margaria and Steffen [52], pp.\u00a0535\u2013538","DOI":"10.1007\/978-3-319-47166-2_37"},{"key":"859_CR45","unstructured":"Kernbach, S., Schmickl, T., Timmis, J.: Collective adaptive systems: challenges beyond evolvability (2011). arXiv:1108.5643"},{"key":"859_CR46","doi-asserted-by":"crossref","unstructured":"Larsen, K., Toller, D., Tschaikowski, M., Tribastone, M., Vandin, A.: Optimality-preserving reduction of Chemical Reaction Networks. In this issue (2026)","DOI":"10.1007\/s10009-026-00854-0"},{"key":"859_CR47","unstructured":"Larsen, K., Toller, D., Tschaikowski, M., Tribastone, M., Vandin, A.: Optimality-preserving reduction of Chemical Reaction Networks. In: Margaria and Steffen [57]"},{"key":"859_CR48","volume-title":"Contributions to Statistical Model Checking","author":"A. Legay","year":"2015","unstructured":"Legay, A.: Contributions to Statistical Model Checking. Univ. Rennes (2015)"},{"key":"859_CR49","doi-asserted-by":"crossref","unstructured":"Lluch-Lafuente, A., Loreti, M., Montanari, U.: Asynchronous distributed execution of fixpoint-based computational fields. Log. Methods Comput. Sci. 13(1) (2017)","DOI":"10.23638\/LMCS-13(1:13)2017"},{"issue":"4","key":"859_CR50","doi-asserted-by":"publisher","first-page":"15:1","DOI":"10.1145\/1538942.1538945","volume":"18","author":"M. Mamei","year":"2009","unstructured":"Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: the TOTA approach. ACM Trans. Softw. Eng. Methodol. 18(4), 15:1\u201315:56 (2009)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"859_CR51","series-title":"Lecture Notes in Computer Science.","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change\u00a0- 6th International Symposium, ISoLA 2014, Part I","year":"2014","unstructured":"Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change\u00a0- 6th International Symposium, ISoLA 2014, Part I. Lecture Notes in Computer Science., vol.\u00a08802. Springer, Berlin (2014)"},{"key":"859_CR52","series-title":"Lecture Notes in Computer Science.","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques\u00a0- 7th International Symposium, ISoLA 2016, Part I","year":"2016","unstructured":"Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques\u00a0- 7th International Symposium, ISoLA 2016, Part I. Lecture Notes in Computer Science., vol.\u00a09952. Springer, Berlin (2016)"},{"key":"859_CR53","series-title":"Lecture Notes in Computer Science.","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques\u00a0- 8th International Symposium, ISoLA 2018, Part III","year":"2018","unstructured":"Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques\u00a0- 8th International Symposium, ISoLA 2018, Part III. Lecture Notes in Computer Science., vol.\u00a011246. Springer, Berlin (2018)"},{"key":"859_CR54","series-title":"Lecture Notes in Computer Science.","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques\u00a0- 9th International Symposium, ISoLA 2020, Part II","year":"2020","unstructured":"Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques\u00a0- 9th International Symposium, ISoLA 2020, Part II. Lecture Notes in Computer Science., vol.\u00a012477. Springer, Berlin (2020)"},{"key":"859_CR55","series-title":"Lecture Notes in Computer Science.","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques\u00a0- 8th International Symposium, ISoLA 2022, Part III","year":"2022","unstructured":"Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques\u00a0- 8th International Symposium, ISoLA 2022, Part III. Lecture Notes in Computer Science., vol.\u00a013703. Springer, Berlin (2022)"},{"key":"859_CR56","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings, Part I","year":"2025","unstructured":"Margaria, T., Steffen, B. (eds.): Proceedings, Part I, Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola\u00a0- 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024. Lecture Notes in Computer Science, vol.\u00a015219. Springer (2025)"},{"key":"859_CR57","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings, Part II","year":"2025","unstructured":"Margaria, T., Steffen, B. (eds.): Proceedings, Part II, Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems\u00a0- 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024. Lecture Notes in Computer Science, vol.\u00a015220. Springer (2025)"},{"key":"859_CR58","volume-title":"Communicating and Mobile Systems\u00a0- the Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems\u00a0- the Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"859_CR59","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.comcom.2023.09.019","volume":"212","author":"M. Palmieri","year":"2023","unstructured":"Palmieri, M., Quadri, C., Fagiolini, A., Bernardeschi, C.: Co-simulated digital twin on the network edge: a vehicle platoon. Comput. Commun. 212, 35\u201347 (2023)","journal-title":"Comput. Commun."},{"key":"859_CR60","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":"859_CR61","doi-asserted-by":"crossref","unstructured":"Pasqua, M., Miculan, M.: Attribute-based memory updates with priorities for collective adaptive systems. In this issue (2026)","DOI":"10.1007\/s10009-026-00856-y"},{"key":"859_CR62","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 and Steffen [56], pp.\u00a0351\u2013367","DOI":"10.1007\/978-3-031-75107-3_21"},{"key":"859_CR63","doi-asserted-by":"crossref","unstructured":"S\u00fcrmeli, J.: Epistemic logic in ensemble specification. In: Margaria and Steffen [54], pp.\u00a0329\u2013343","DOI":"10.1007\/978-3-030-61470-6_20"},{"key":"859_CR64","first-page":"51","volume-title":"Lecture Notes in Computer Science","author":"M. Tribastone","year":"2010","unstructured":"Tribastone, M., Mayer, P., Wirsing, M.: Performance prediction of service-oriented systems with layered queueing networks. In: Lecture Notes in Computer Science, vol.\u00a06416, pp.\u00a051\u201365. Springer, Berlin (2010)"},{"key":"859_CR65","volume-title":"Probably Approximately Correct: Nature\u2019s Algorithms for Learning and Prospering in a Complex World","author":"L. Valiant","year":"2013","unstructured":"Valiant, L.: Probably Approximately Correct: Nature\u2019s Algorithms for Learning and Prospering in a Complex World. Basic Books, Inc. (2013)"},{"key":"859_CR66","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jal.2016.12.001","volume":"20","author":"H. van Ditmarsch","year":"2017","unstructured":"van Ditmarsch, H., van Eijck, J., Pardo, P., Ramezanian, R., Schwarzentruber, F.: Epistemic protocols for dynamic gossip. J. Appl. Log. 20, 1\u201331 (2017)","journal-title":"J. Appl. Log."},{"key":"859_CR67","first-page":"170","volume-title":"Communications in Computer and Information Science","author":"M. Wirsing","year":"2008","unstructured":"Wirsing, M., H\u00f6lzl, M.M., Acciai, L., Banti, F., Clark, A., Fantechi, A., Gilmore, S., Gnesi, S., G\u00f6nczy, L., Koch, N., Lapadula, A., Mayer, P., Mazzanti, F., Pugliese, R., Schroeder, A., Tiezzi, F., Tribastone, M., Varr\u00f3, D.: Sensoria patterns: augmenting service engineering with formal analysis, transformation and dynamicity. In: Communications in Computer and Information Science, vol.\u00a017, pp.\u00a0170\u2013190. Springer, Berlin (2008)"},{"key":"859_CR68","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"FMCO 2011","author":"M. Wirsing","year":"2013","unstructured":"Wirsing, M., H\u00f6lzl, M.M., Tribastone, M., Zambonelli, F.: ASCENS: engineering autonomic service-component ensembles. In: FMCO 2011. Lecture Notes in Computer Science, vol.\u00a07542, pp.\u00a01\u201324. Springer, Berlin (2013)"},{"issue":"5","key":"859_CR69","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/s10009-023-00734-x","volume":"25","author":"M. Wirsing","year":"2023","unstructured":"Wirsing, M., J\u00e4hnichen, S., De Nicola, R.: Rigorous engineering of collective adaptive systems\u00a0- 2nd special section. Int. J. Softw. Tools Technol. Transf. 25(5), 617\u2013624 (2023)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"859_CR70","doi-asserted-by":"crossref","unstructured":"Wirsing, M., J\u00e4hnichen, S., De Nicola, R., Tribastone, M.: Rigorous engineering of collective adaptive systems\u00a0- 3rd special section, part I. Int. J. Softw. Tools Technol. Transf. (2026)","DOI":"10.1007\/s10009-026-00859-9"},{"key":"859_CR71","doi-asserted-by":"crossref","unstructured":"Wirsing, M., De Nicola, R., H\u00f6lzl, M.M.: Rigorous engineering of autonomic ensembles\u00a0\u2013 track introduction. In: Margaria and Steffen [51], pp.\u00a096\u201398","DOI":"10.1007\/978-3-662-45234-9_7"},{"key":"859_CR72","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: Margaria and Steffen [54], pp.\u00a0161\u2013170","DOI":"10.1007\/978-3-030-61470-6_10"},{"key":"859_CR73","doi-asserted-by":"crossref","unstructured":"Wirsing, M., De Nicola, R., J\u00e4hnichen, S.: Rigorous engineering of collective adaptive systems introduction to the 4th track edition. In: Margaria and Steffen [55], pp.\u00a03\u201312","DOI":"10.1007\/978-3-031-19759-8_1"},{"key":"859_CR74","doi-asserted-by":"crossref","unstructured":"Wirsing, M., De Nicola, R., J\u00e4hnichen, S., Tribastone, M.: Rigorous engineering of collective adaptive systems introduction to the 5th track edition. In: Margaria and Steffen [57], pp.\u00a01\u201312","DOI":"10.1007\/978-3-031-75107-3_1"},{"key":"859_CR75","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-45657-0_17","volume-title":"Proceedings","author":"H.L.S. Younes","year":"2002","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) Proceedings, Computer Aided Verification, 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002. Lecture Notes in Computer Science, vol.\u00a02404, pp.\u00a0223\u2013235. Springer (2002)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00859-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-026-00859-9","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00859-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T09:03:21Z","timestamp":1779786201000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-026-00859-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,31]]},"references-count":75,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,4]]}},"alternative-id":["859"],"URL":"https:\/\/doi.org\/10.1007\/s10009-026-00859-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,31]]},"assertion":[{"value":"9 March 2026","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 March 2026","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}