{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:01:14Z","timestamp":1750309274598,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,15]],"date-time":"2024-04-15T00:00:00Z","timestamp":1713139200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"MUR - Ministry of University and Research Italy","award":["20228FT78M"],"award-info":[{"award-number":["20228FT78M"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,15]]},"DOI":"10.1145\/3643915.3644091","type":"proceedings-article","created":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T14:11:05Z","timestamp":1717769465000},"page":"150-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Patterns of Applied Control for Public Health Measures on Transportation Services under Epidemic"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9116-7185","authenticated-orcid":false,"given":"Kenneth","family":"Johnson","sequence":"first","affiliation":[{"name":"School of Engineering, Computer & Mathematical Sciences, Auckland University of Technology, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6430-9611","authenticated-orcid":false,"given":"Samaneh","family":"Madanian","sequence":"additional","affiliation":[{"name":"School of Engineering, Computer & Mathematical Sciences, Auckland University of Technology, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7675-6942","authenticated-orcid":false,"given":"Catia","family":"Trubiani","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute, L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1080\/23748834.2020.1804291"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5193(84)80150-2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1186\/s12889-021-11111-1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/343369.343402"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10588-021-09327-y"},{"key":"e_1_3_2_1_6_1","volume-title":"Improving Adaptive Monitoring with Incremental Runtime Model Queries. In International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 71--77","author":"Barkowsky Matthias","year":"2021","unstructured":"Matthias Barkowsky, Thomas Brand, and Holger Giese. 2021. Improving Adaptive Monitoring with Incremental Runtime Model Queries. In International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 71--77."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jinf.2021.07.017"},{"key":"e_1_3_2_1_8_1","volume-title":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 91--97","author":"Fang Xinwei","year":"2022","unstructured":"Xinwei Fang, Radu Calinescu, Colin Paterson, and Julie Wilson. 2022. PRESTO: Predicting System-level Disruptions through Parametric Model Checking. In International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 91--97."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"e_1_3_2_1_10_1","volume-title":"Chris Dye, Ken TD Eames, W John Edmunds, Simon DW Frost, Sebastian Funk, et al.","author":"Heesterbeek Hans","year":"2015","unstructured":"Hans Heesterbeek, Roy M Anderson, Viggo Andreasen, Shweta Bansal, Daniela De Angelis, Chris Dye, Ken TD Eames, W John Edmunds, Simon DW Frost, Sebastian Funk, et al. 2015. Modeling infectious disease dynamics in the complex landscape of global health. Science 347, 6227 (2015), aaa4339."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.3201\/eid1309.070081"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11538-022-01033-3"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"Kenneth Johnson Samaneh Madanian and Catia Trubiani. 2024. Patterns of Applied Control for Public Health Measures on Transportation Services under Epidemic - Replication Data. 10.5281\/zenodo.10609044","DOI":"10.5281\/zenodo.10609044"},{"key":"e_1_3_2_1_14_1","volume-title":"Control Action Types - Patterns of Applied Control for Self-adaptive Systems. In International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).","author":"Kroher Christian","year":"2023","unstructured":"Christian Kroher, Lea Gerling, and Klaus Schmid. 2023. Control Action Types - Patterns of Applied Control for Self-adaptive Systems. In International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)."},{"key":"e_1_3_2_1_15_1","volume-title":"Control Action Types-Patterns of Applied Control for Self-adaptive Systems. In IEEE\/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 32--43","author":"Kr\u00f6her Christian","year":"2023","unstructured":"Christian Kr\u00f6her, Lea Gerling, and Klaus Schmid. 2023. Control Action Types-Patterns of Applied Control for Self-adaptive Systems. In IEEE\/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 32--43."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1059816.1059820"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. 23rd International Conference on Computer Aided Verification (CAV'11)","volume":"591","author":"Kwiatkowska M.","unstructured":"M. Kwiatkowska, G. Norman, and D. Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems. In Proc. 23rd International Conference on Computer Aided Verification (CAV'11) (LNCS, Vol. 6806), G. Gopalakrishnan and S. Qadeer (Eds.). Springer, 585--591."},{"key":"e_1_3_2_1_18_1","volume-title":"Probabilistic model checking: Advances and applications. Formal System Verification: State-of the-Art and Future Trends","author":"Kwiatkowska Marta","year":"2018","unstructured":"Marta Kwiatkowska, Gethin Norman, and David Parker. 2018. Probabilistic model checking: Advances and applications. Formal System Verification: State-of the-Art and Future Trends (2018), 73--121."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Nita Madhav Ben Oppenheim Mark Gallivan Prime Mulembakani Edward Rubin and Nathan Wolfe. 2018. Pandemics: risks impacts and mitigation. (2018).","DOI":"10.1596\/978-1-4648-0527-1_ch17"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0272009"},{"volume-title":"From Data to Models and Back","author":"Milazzo Paolo","key":"e_1_3_2_1_21_1","unstructured":"Paolo Milazzo. 2021. Analysis of COVID-19 Data with PRISM: Parameter Estimation and SIR Modelling. In From Data to Models and Back. Springer International Publishing, Cham, 123--133."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1750-2659.2009.00081.x"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDH60066.2023.00050"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.trb.2021.01.008"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cnsns.2022.106877"},{"volume-title":"Software Engineering for Self-Adaptive Systems II: International Seminar","author":"Weyns Danny","key":"e_1_3_2_1_26_1","unstructured":"Danny Weyns, Bradley Schmerl, Vincenzo Grassi, Sam Malek, Raffaela Mirandola, Christian Prehofer, Jochen Wuttke, Jesper Andersson, Holger Giese, and Karl M G\u00f6schka. 2013. On patterns for decentralized control in self-adaptive systems. In Software Engineering for Self-Adaptive Systems II: International Seminar, Dagstuhl Castle, Germany, Revised Selected and Invited Papers. Springer, 76--107."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2"},{"key":"e_1_3_2_1_28_1","volume-title":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 174--180","author":"Zeller Silvan","year":"2020","unstructured":"Silvan Zeller, Narges Khakpour, Danny Weyns, and Daniel Deogun. 2020. Self-protection against business logic vulnerabilities. In International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 174--180."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.79"}],"event":{"name":"SEAMS '24: 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Lisbon AA Portugal","acronym":"SEAMS '24"},"container-title":["Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3643915.3644091","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3643915.3644091","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:57:35Z","timestamp":1750291055000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3643915.3644091"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,15]]},"references-count":29,"alternative-id":["10.1145\/3643915.3644091","10.1145\/3643915"],"URL":"https:\/\/doi.org\/10.1145\/3643915.3644091","relation":{},"subject":[],"published":{"date-parts":[[2024,4,15]]},"assertion":[{"value":"2024-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}