{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:46:46Z","timestamp":1742914006373,"version":"3.40.3"},"publisher-location":"Cham","reference-count":71,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031737084"},{"type":"electronic","value":"9783031737091"}],"license":[{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"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-73709-1_1","type":"book-chapter","created":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T10:12:01Z","timestamp":1728382321000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Introduction to\u00a0the\u00a0REoCAS Colloquium in\u00a0Honor of\u00a0Rocco De Nicola\u2019s 70th Birthday"],"prefix":"10.1007","author":[{"given":"Mirco","family":"Tribastone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"J\u00e4hnichen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,9]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2019.104457","volume":"268","author":"Y Abd Alrahman","year":"2019","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268, 104457 (2019)","journal-title":"Inf. Comput."},{"key":"1_CR2","doi-asserted-by":"publisher","unstructured":"Aceto, L.,\u00a0Gorla, D.,\u00a0Lybech, S.: Preventing out-of-gas exceptions by typing. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 409\u2013426. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_25","DOI":"10.1007\/978-3-031-73709-1_25"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-40020-2_1","volume-title":"Recent Trends in Algebraic Development Techniques","author":"L Andrade","year":"2003","unstructured":"Andrade, L., et al.: AGILE: software architecture for mobility. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002. LNCS, vol. 2755, pp. 1\u201333. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-40020-2_1"},{"key":"1_CR4","doi-asserted-by":"publisher","unstructured":"Barbanera, F.,\u00a0Dezani-Ciancaglini, M.: Asynchronous multiparty sessions with internal delegation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 322\u2013339. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_20","DOI":"10.1007\/978-3-031-73709-1_20"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Bartocci, E.: The ProbInG project: computing automatically invariants for probabilistic loops. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 152\u2013167. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_10","DOI":"10.1007\/978-3-031-73709-1_10"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-54624-2_10","volume-title":"Specification, Algebra, and Software","author":"L Belzner","year":"2014","unstructured":"Belzner, L., De Nicola, R., Vandin, A., Wirsing, M.: Reasoning (on) service component ensembles in rewriting logic. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 188\u2013211. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54624-2_10"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Bettini, L., Ferrari, G.-L.,\u00a0Loreti, M.,\u00a0Pugliese, R.,\u00a0Tiezzi, F.,\u00a0Tuosto, E.: Klaim in the making. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 27\u201349. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_3","DOI":"10.1007\/978-3-031-73709-1_3"},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Bistarelli, S.,\u00a0Santini,: Local spaces in soft concurrent constraint programming oriented to security. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 373\u2013391. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_23","DOI":"10.1007\/978-3-031-73709-1_23"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/11841197_3","volume-title":"Web Services and Formal Methods","author":"M Boreale","year":"2006","unstructured":"Boreale, M., et al.: SCC: a service centered calculus. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38\u201357. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11841197_3"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-68863-1_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M Boreale","year":"2008","unstructured":"Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 19\u201338. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68863-1_3"},{"key":"1_CR11","doi-asserted-by":"publisher","unstructured":"Boreale, M.,\u00a0Collodi, L.: Language equivalence from nondeterministic to weighted automata - and back. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 75\u201393. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_6","DOI":"10.1007\/978-3-031-73709-1_6"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21485-2","volume-title":"Models, Languages, and Tools for Concurrent and Distributed Programming","year":"2019","unstructured":"Boreale, M., Corradini, F., Loreti, M., Pugliese, R. (eds.): Models, Languages, and Tools for Concurrent and Distributed Programming. LNCS, vol. 11665. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21485-2"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Boreale, M.,\u00a0De Nicola, R.,\u00a0Pugliese, R.: Proof techniques for cryptographic processes. In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, 2\u20135 July 1999, pp. 157\u2013166. IEEE Computer Society (1999)","DOI":"10.1109\/LICS.1999.782608"},{"key":"1_CR14","unstructured":"Bortolussi, L., et al.: CARMA: collective adaptive resource-sharing markovian agents. In:\u00a0Bertrand, N.,\u00a0Tribastone, M. (eds.) Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11\u201312 April 2015, vol. 194 of EPTCS, pp. 16\u201331 (2015)"},{"key":"1_CR15","doi-asserted-by":"publisher","unstructured":"Bottoni, P.,\u00a0Labella, A.,\u00a0Perelli, G.: Strategies in spatio-temporal logics for multi-agent systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 287\u2013305. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_18","DOI":"10.1007\/978-3-031-73709-1_18"},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Bruni, R.: A process algebraic view of in\/out prisoners: from TAPAs to CAAL. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 94\u2013110. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_7","DOI":"10.1007\/978-3-031-73709-1_7"},{"key":"1_CR17","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 2013, pp. 71\u201376 (2013)","DOI":"10.1109\/SASOW.2013.23"},{"key":"1_CR18","doi-asserted-by":"publisher","unstructured":"Busch, D.,\u00a0Smyth, S.,\u00a0Tegeler, T.,\u00a0Steffen, B.: Code-centric code generation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 340\u2013355. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_21","DOI":"10.1007\/978-3-031-73709-1_21"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-20401-2_8","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","author":"L Caires","year":"2011","unstructured":"Caires, L., De Nicola, R., Pugliese, R., Vasconcelos, V.T., Zavattaro, G.: Core calculi for service-oriented computing. In: Wirsing, M., H\u00f6lzl, M. (eds.) Rigorous Software Engineering for Service-Oriented Systems. LNCS, vol. 6582, pp. 153\u2013188. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20401-2_8"},{"issue":"1","key":"1_CR20","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1140\/epjds\/s13688-021-00289-4","volume":"10","author":"G Caldarelli","year":"2021","unstructured":"Caldarelli, G., De Nicola, R., Petrocchi, M., Pratelli, M., Saracco, F.: Flow of online misinformation during the peak of the COVID-19 pandemic in italy. EPJ Data Sci. 10(1), 34 (2021)","journal-title":"EPJ Data Sci."},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-89287-8_4","volume-title":"Transactions on Petri Nets and Other Models of Concurrency I","author":"F Calzolai","year":"2008","unstructured":"Calzolai, F., De Nicola, R., Loreti, M., Tiezzi, F.: TAPAs: a tool for the analysis of process algebras. In: Jensen, K., van der Aalst, W.M.P., Billington, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency I. LNCS, vol. 5100, pp. 54\u201370. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89287-8_4"},{"issue":"4","key":"1_CR22","doi-asserted-by":"publisher","first-page":"044109","DOI":"10.1063\/1.2159468","volume":"124","author":"Y Cao","year":"2006","unstructured":"Cao, Y., Gillespie, D.T., Petzold, L.R.: Efficient step size selection for the tau-leaping simulation method. J. Chem. Phys. 124(4), 044109 (2006)","journal-title":"J. Chem. Phys."},{"key":"1_CR23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.111983","volume":"210","author":"R Casaluce","year":"2024","unstructured":"Casaluce, R., Burattin, A., Chiaromonte, F., Lluch-Lafuente, A., Vandin, A.: White-box validation of quantitative product lines by statistical model checking and process mining. J. Syst. Softw. 210, 111983 (2024)","journal-title":"J. Syst. Softw."},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Casaluce, R.,\u00a0Tschaikowski, M.,\u00a0Vandin, A.: White-box validation of collective adaptive systems by statistical model checking and process mining. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 204\u2013222. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_13","DOI":"10.1007\/978-3-031-73709-1_13"},{"key":"1_CR25","doi-asserted-by":"publisher","unstructured":"Ceragioli, L.,\u00a0Gadducci, F.,\u00a0Lomurno, G.,\u00a0Tedeschi, G.: Testing quantum processes. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 132\u2013151. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_9","DOI":"10.1007\/978-3-031-73709-1_9"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2018.05.008","volume":"166","author":"F Corradini","year":"2018","unstructured":"Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F.: A formal approach to modeling and verification of business process collaborations. Sci. Comput. Program. 166, 35\u201370 (2018)","journal-title":"Sci. Comput. Program."},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Corradini, F.,\u00a0Fornari, F.,\u00a0Polini, A.,\u00a0Re, B.,\u00a0Tiezzi, F.,\u00a0Vandin, A.: Bprove: a formal verification framework for business process models. In:\u00a0Rosu, G., Penta, M.D., Nguyen, T.N. (eds.) Proceedings of 32nd IEEE\/ACM International Conference on Automated Software Engineering, ASE 2017, pp. 217\u2013228. IEEE Computer Society (2017)","DOI":"10.1109\/ASE.2017.8115635"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Corradini, F.,\u00a0Fornari, F.,\u00a0Polini, A.,\u00a0Re, B.,\u00a0Tiezzi, F.,\u00a0Vandin, A. Bprove: tool support for business process verification. In:\u00a0Rosu, G., Penta, M.D., Nguyen, T.N. (eds.) Proceedings of 32nd IEEE\/ACM International Conference on Automated Software Engineering, ASE 2017, pp. 937\u2013942. IEEE Computer Society, 2017","DOI":"10.1109\/ASE.2017.8115708"},{"key":"1_CR29","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111007","volume":"180","author":"F Corradini","year":"2021","unstructured":"Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F., Vandin, A.: A formal approach for the analysis of BPMN collaboration models. J. Syst. Softw. 180, 111007 (2021)","journal-title":"J. Syst. Softw."},{"key":"1_CR30","doi-asserted-by":"publisher","unstructured":"Corradini,F.,\u00a0Fornari, F.,\u00a0Re, B.,\u00a0Rossi, L.,\u00a0Polini, A.,\u00a0Tiezzi, F.,\u00a0Vandin, A.: Formal approaches for modeling and analysis of business process collaborations. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 50\u201361. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_4","DOI":"10.1007\/978-3-031-73709-1_4"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Corradini, F.,\u00a0Muzi, C.,\u00a0Re, B.,\u00a0Rossi, L.,\u00a0Tiezzi, F.: BPMN 2.0 OR-join semantics: global and local characterisation. Inf. Syst. 105, 101934 (2022)","DOI":"10.1016\/j.is.2021.101934"},{"key":"1_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-319-28934-2_9","volume-title":"Formal Aspects of Component Software","author":"F Corradini","year":"2016","unstructured":"Corradini, F., Polini, A., Re, B., Tiezzi, F.: An operational semantics of BPMN collaboration. In: Braga, C., \u00d6lveczky, P.C. (eds.) FACS 2015. LNCS, vol. 9539, pp. 161\u2013180. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-28934-2_9"},{"key":"1_CR33","doi-asserted-by":"publisher","unstructured":"Costa, G., et al.: Systems security modeling and analysis at IMT Lucca. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 13\u201326. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_2","DOI":"10.1007\/978-3-031-73709-1_2"},{"issue":"2","key":"1_CR34","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R De Nicola","year":"1987","unstructured":"De Nicola, R.: Extensional equivalences for transition systems. Acta Informatica 24(2), 211\u2013237 (1987)","journal-title":"Acta Informatica"},{"issue":"5","key":"1_CR35","first-page":"675","volume":"25","author":"R De Nicola","year":"2023","unstructured":"De Nicola, R., Di Stefano, L., Inverso, O., Valiani, S.: Modelling flocks of birds and colonies of ants from the bottom up. JSTTT 25(5), 675\u2013691 (2023)","journal-title":"JSTTT"},{"key":"1_CR36","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2019.100511","volume":"111","author":"R De Nicola","year":"2020","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R., Tiezzi, F.: A formal approach to the engineering of domain-specific distributed systems. J. Log. Algebraic Methods Program. 111, 100511 (2020)","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"5","key":"1_CR37","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R De Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G.-L., Pugliese, R.: KLAIM: a kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"1_CR38","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R De Nicola","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoret. Comput. Sci. 34(1), 83\u2013133 (1984)","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"De Nicola, R.,\u00a0Katoen, J.,\u00a0Latella, D.,\u00a0Massink, M.: Towards a logic for performance and mobility. In:\u00a0Cerone, A.,\u00a0Wiklicky, H. (eds.) Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, 2\u20133 April 2005, vol. 153 of Electronic Notes in Theoretical Computer Science, pp. 161\u2013175. Elsevier (2005)","DOI":"10.1016\/j.entcs.2005.10.037"},{"issue":"1","key":"1_CR40","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/963927.963930","volume":"5","author":"R De Nicola","year":"2004","unstructured":"De Nicola, R., Loreti, M.: A modal logic for mobile agents. ACM Trans. Comput. Logic (TOCL) 5(1), 79\u2013128 (2004)","journal-title":"ACM Trans. Comput. Logic (TOCL)"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Nicola, R. D., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. Syst. (TAAS) 9(2), 7:1\u20137:29 (2014)","DOI":"10.1145\/2619998"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Melgratti, H.: Multiparty testing preorders. Logical Methods Comput. Sci. 19 (2023)","DOI":"10.46298\/lmcs-19(1:1)2023"},{"issue":"6","key":"1_CR43","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipm.2021.102685","volume":"58","author":"R De Nicola","year":"2021","unstructured":"De Nicola, R., Petrocchi, M., Pratelli, M.: On the efficacy of old features for the detection of new bots. Inf. Process. Manag. 58(6), 102685 (2021)","journal-title":"Inf. Process. Manag."},{"key":"1_CR44","doi-asserted-by":"publisher","unstructured":"De\u00a0Palma, G.,\u00a0Giallorenzo, S.,\u00a0Mauro, J.,\u00a0Trentin, M.,\u00a0Zavattaro, G.: Function-as-a-service allocation policies made formal. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 306\u2013321. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_19","DOI":"10.1007\/978-3-031-73709-1_19"},{"key":"1_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/978-3-030-65310-1_29","volume-title":"Service-Oriented Computing","author":"G De Palma","year":"2020","unstructured":"De Palma, G., Giallorenzo, S., Mauro, J., Zavattaro, G.: Allocation priority policies for serverless function-execution scheduling optimisation. In: Kafeza, E., Benatallah, B., Martinelli, F., Hacid, H., Bouguettaya, A., Motahari, H. (eds.) ICSOC 2020. LNCS, vol. 12571, pp. 416\u2013430. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-65310-1_29"},{"key":"1_CR46","doi-asserted-by":"publisher","unstructured":"De\u00a0Sanctis, M.,\u00a0Inverardi, P.: Engineering ethical-aware collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 238\u2013252. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_15","DOI":"10.1007\/978-3-031-73709-1_15"},{"key":"1_CR47","doi-asserted-by":"publisher","unstructured":"Di\u00a0Stefano, L.,\u00a0Inverso, O.: Emerging synchrony in applauding audiences: formal analysis and specification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 253\u2013270. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_16","DOI":"10.1007\/978-3-031-73709-1_16"},{"key":"1_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-44829-2_16","volume-title":"Model Checking Software","author":"S Eker","year":"2003","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker and its implementation. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol. 2648, pp. 230\u2013234. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44829-2_16"},{"key":"1_CR49","doi-asserted-by":"publisher","first-page":"94723","DOI":"10.1109\/ACCESS.2021.3093952","volume":"9","author":"J Hajny","year":"2021","unstructured":"Hajny, J., Ricci, S., Piesarskas, E., Levillain, O., Galletta, L., De Nicola, R.: Framework, tools and good practices for cybersecurity curricula. IEEE Access 9, 94723\u201394747 (2021)","journal-title":"IEEE Access"},{"key":"1_CR50","doi-asserted-by":"publisher","unstructured":"Incerto, E.,\u00a0Trubiani, C.: Flocks of birds: a quantitative evaluation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 271\u2013286. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_17","DOI":"10.1007\/978-3-031-73709-1_17"},{"key":"1_CR51","doi-asserted-by":"publisher","unstructured":"Konsta, A.-M.,\u00a0Di\u00a0Federico, G.,\u00a0Lluch\u00a0Lafuente, A.,\u00a0Burattin, A.: Attack tree generation via process mining. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 356\u2013372. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_22","DOI":"10.1007\/978-3-031-73709-1_22"},{"key":"1_CR52","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. LNCS, vol. 8802. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45234-9"},{"key":"1_CR53","doi-asserted-by":"publisher","unstructured":"Margaria, T., Steffen, B. (eds.): ISoLA 2014. LNCS, vol. 13703. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-031-19759-8","DOI":"10.1007\/978-3-031-19759-8"},{"key":"1_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-21485-2_1","volume-title":"Models, Languages, and Tools for Concurrent and Distributed Programming","author":"U Montanari","year":"2019","unstructured":"Montanari, U.: From tuscany to scotland and back. In: Boreale, M., Corradini, F., Loreti, M., Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming. LNCS, vol. 11665, pp. 3\u20136. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21485-2_1"},{"key":"1_CR55","doi-asserted-by":"publisher","unstructured":"Mousavi, M.R.,\u00a0Peters, K.,\u00a0Schmitt, A.: Towards a formal testing theory for quantum processes. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 111\u2013131. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_8","DOI":"10.1007\/978-3-031-73709-1_8"},{"key":"1_CR56","doi-asserted-by":"publisher","unstructured":"Perini\u00a0Brogi, C.,\u00a0Maggesi, M.: Analysing collective adaptive systems by proving theorems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 223\u2013237. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_14","DOI":"10.1007\/978-3-031-73709-1_14"},{"key":"1_CR57","doi-asserted-by":"crossref","unstructured":"Randone, F.,\u00a0Bortolussi, L.,\u00a0Incerto, E.,\u00a0Tribastone, M.: Inference of probabilistic programs with moment-matching Gaussian mixtures. Proc. ACM Program. Lang. 8(POPL), 1882\u20131912 (2024)","DOI":"10.1145\/3632905"},{"key":"1_CR58","doi-asserted-by":"publisher","unstructured":"Randone, F.,\u00a0Doz, R.,\u00a0Cairoli, F.,\u00a0Bortolussi, L.: Towards a probabilistic programming approach to analyse collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 168\u2013185. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_11","DOI":"10.1007\/978-3-031-73709-1_11"},{"key":"1_CR59","doi-asserted-by":"publisher","unstructured":"Rubino, F.,\u00a0Bodei, C., Ferrari, G.-L.: Riding the data storms: specifying and analysing IoT security requirements with SURFING. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 392\u2013408. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_24","DOI":"10.1007\/978-3-031-73709-1_24"},{"key":"1_CR60","doi-asserted-by":"publisher","unstructured":"Sangiorgi, D.: An abstract account of up-to techniques for inductive behavioural relations. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 62\u201374. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_5","DOI":"10.1007\/978-3-031-73709-1_5"},{"key":"1_CR61","unstructured":"Sebastio, S.,\u00a0Vandin, A.: Multivesta: statistical model checking for discrete event simulators. In:\u00a0Horv\u00e1th, A.,\u00a0Buchholz, P.,\u00a0Cortellessa, V.,\u00a0Muscariello, L., Squillante, M.S. (eds.) 7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools \u201913, Torino, Italy, 10\u201312 December 2013, pp. 310\u2013315. ICST\/ACM (2013)"},{"key":"1_CR62","doi-asserted-by":"publisher","first-page":"5482","DOI":"10.1109\/ACCESS.2021.3139456","volume":"10","author":"S Soderi","year":"2022","unstructured":"Soderi, S., De Nicola, R.: 6G networks physical layer security using RGB visible light communications. IEEE Access 10, 5482\u20135496 (2022)","journal-title":"IEEE Access"},{"key":"1_CR63","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H.,\u00a0Fantechi, A.,\u00a0Gnesi, S.,\u00a0Lenzini, G.,\u00a0Petrocchi, M.: Can AI help with the formalization of railway cybersecurity requirements? In: Margaria, T., Steffen, B. (eds.) ISoLA 2024, pp. 186\u2013203. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-73709-1_12","DOI":"10.1007\/978-3-031-73709-1_12"},{"key":"1_CR64","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.future.2019.04.001","volume":"99","author":"RB Uriarte","year":"2019","unstructured":"Uriarte, R.B., De Nicola, R., Scoca, V., Tiezzi, F.: Defining and guaranteeing dynamic service levels in clouds. Future Gener. Comput. Syst. 99, 27\u201340 (2019)","journal-title":"Future Gener. Comput. Syst."},{"key":"1_CR65","doi-asserted-by":"crossref","unstructured":"Uriarte, R.B.,\u00a0Tiezzi, F.,\u00a0De Nicola, R.: SLAC: a formal service-level-agreement language for cloud computing. In: 7th IEEE\/ACM International Conference on Utility and Cloud Computing, UCC 2014, pp. 419\u2013426. IEEE Computer Society (2014)","DOI":"10.1109\/UCC.2014.53"},{"key":"1_CR66","doi-asserted-by":"publisher","DOI":"10.1016\/j.jedc.2022.104458","volume":"143","author":"A Vandin","year":"2022","unstructured":"Vandin, A., Giachini, D., Lamperti, F., Chiaromonte, F.: Automated and distributed statistical analysis of economic agent-based models. J. Econ. Dyn. Control 143, 104458 (2022)","journal-title":"J. Econ. Dyn. Control"},{"key":"1_CR67","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-75336-0_3","volume-title":"Trustworthy Global Computing","author":"M Wirsing","year":"2007","unstructured":"Wirsing, M., et al.: Sensoria process calculi for service-oriented computing. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2006. LNCS, vol. 4661, pp. 30\u201350. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75336-0_3"},{"key":"1_CR68","doi-asserted-by":"crossref","unstructured":"Wirsing, M.,\u00a0De Nicola, R., H\u00f6lzl, M.M.: Rigorous engineering of autonomic ensembles \u2013 track introduction. In: [52], pp. 96\u201398 (2014)","DOI":"10.1007\/978-3-662-45234-9_7"},{"key":"1_CR69","doi-asserted-by":"crossref","unstructured":"Wirsing, M.,\u00a0De Nicola, R.,\u00a0J\u00e4hnichen, S.: Rigorous engineering of collective adaptive systems \u2013 introduction to the $$4^{\\text{th}}$$ track edition. In: [53], pp. 3\u201312 (2022)","DOI":"10.1007\/978-3-031-19759-8_1"},{"key":"1_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20401-2","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","year":"2011","unstructured":"Wirsing, M., H\u00f6lzl, M. (eds.): Rigorous Software Engineering for Service-Oriented Systems. LNCS, vol. 6582. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20401-2"},{"key":"1_CR71","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"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73709-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:03:50Z","timestamp":1729674230000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73709-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,9]]},"ISBN":["9783031737084","9783031737091"],"references-count":71,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73709-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,9]]},"assertion":[{"value":"9 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"}}]}}