{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T09:08:08Z","timestamp":1784538488712,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T00:00:00Z","timestamp":1776038400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Ministry of University and Research (MUR)","award":["P2022RSW5W"],"award-info":[{"award-number":["P2022RSW5W"]}]},{"name":"Ministry of University and Research (MUR)","award":["022JKA4SL"],"award-info":[{"award-number":["022JKA4SL"]}]},{"name":"Ministry of University and Research (MUR)","award":["53D23002770006 and F53D23004230006"],"award-info":[{"award-number":["53D23002770006 and F53D23004230006"]}]},{"name":"Helmholtz Association of German Research Centres","award":["Grant 46.23 (Engineering Secure Systems)"],"award-info":[{"award-number":["Grant 46.23 (Engineering Secure Systems)"]}]},{"name":"Ministry of University and Research (MUR)","award":["Department of Excellence 2023 - 2027"],"award-info":[{"award-number":["Department of Excellence 2023 - 2027"]}]},{"name":"Helmholtz Association of German Research Centres","award":["KiKIT project"],"award-info":[{"award-number":["KiKIT project"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,13]]},"DOI":"10.1145\/3788550.3794876","type":"proceedings-article","created":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T08:46:11Z","timestamp":1784537171000},"page":"136-141","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Process to Enforce Ethical Requirements of Autonomous Systems at Runtime"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9417-660X","authenticated-orcid":false,"given":"Martina","family":"De Sanctis","sequence":"first","affiliation":[{"name":"Gran Sasso Science Institute (GSSI), L'Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8908-6960","authenticated-orcid":false,"given":"Gianluca","family":"Filippone","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute, L'Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6734-1318","authenticated-orcid":false,"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute, L'Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3154-2438","authenticated-orcid":false,"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5548-9806","authenticated-orcid":false,"given":"Sara","family":"Pettinari","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute, L'Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9209-3624","authenticated-orcid":false,"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[{"name":"University of Bergamo, Bergamo, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,20]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","unstructured":"Paolo Arcaini Raffaela Mirandola Elvinia Riccobene and Patrizia Scandurra. 2020. MSL: A pattern language for engineering self-adaptive systems. Journal of Systems and Software 164 (2020) 110558. 10.1016\/j.jss.2020.110558","DOI":"10.1016\/j.jss.2020.110558"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2015.10"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","unstructured":"Nelly Bencomo Sebastian G\u00f6tz and Hui Song. 2019. Models@run.time: a guided tour of the state of the art and research challenges. Softw. Syst. Model. 18 5 (Oct. 2019) 3049\u20133082. 10.1007\/s10270-018-00712-x","DOI":"10.1007\/s10270-018-00712-x"},{"key":"e_1_3_3_2_5_2","first-page":"175","volume-title":"45th IEEE\/ACM International Conference on Software Engineering: Software Engineering in Society, SEIS@ICSE 2023, Melbourne, Australia, May 14-20, 2023","author":"Bennaceur Amel","year":"2023","unstructured":"Amel Bennaceur, Diane Hassett, Bashar Nuseibeh, and Andrea Zisman. 2023. Values@Runtime: An Adaptive Framework for Operationalising Values. In 45th IEEE\/ACM International Conference on Software Engineering: Software Engineering in Society, SEIS@ICSE 2023, Melbourne, Australia, May 14-20, 2023. IEEE, 175\u2013179. 10.1109\/ICSE-SEIS58686.2023.00024"},{"key":"e_1_3_3_2_6_2","first-page":"200","volume-title":"Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2024, Lisbon, Portugal, April 15-16, 2024","author":"Boltz Nicolas","year":"2024","unstructured":"Nicolas Boltz, Sinem\u00a0Getir Yaman, Paola Inverardi, Rog\u00e9rio de Lemos, Dimitri\u00a0Van Landuyt, and Andrea Zisman. 2024. Human empowerment in self-adaptive socio-technical systems. In Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2024, Lisbon, Portugal, April 15-16, 2024, Luciano Baresi, Xiaoxing Ma, and Liliana Pasquale (Eds.). ACM, 200\u2013206. 10.1145\/3643915.3644082"},{"key":"e_1_3_3_2_7_2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1007\/978-3-031-71177-0_28","volume-title":"Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II","volume":"14934","author":"Bombarda Andrea","year":"2024","unstructured":"Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. 2024. ASMETA Tool Set for Rigorous System Design. In Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II(Lecture Notes in Computer Science, Vol.\u00a014934). Springer, 492\u2013517. 10.1007\/978-3-031-71177-0_28"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","unstructured":"Silvia Bonfanti Elvinia Riccobene and Patrizia Scandurra. 2023. A component framework for the runtime enforcement of safety properties. J. Syst. Softw. 198 (2023) 111605. 10.1016\/J.JSS.2022.111605","DOI":"10.1016\/J.JSS.2022.111605"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"crossref","unstructured":"John Brunero. 2022. Reasons and defeasible reasoning. The Philosophical Quarterly 72 1 (2022) 41\u201364.","DOI":"10.1093\/pq\/pqab013"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21292-5_7"},{"key":"e_1_3_3_2_12_2","first-page":"1","volume-title":"Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, MI, USA, May 19-23, 2025","author":"Dignum Virginia","year":"2025","unstructured":"Virginia Dignum. 2025. Responsible AI and Autonomous Agents: Governance, Ethics, and Sustainable Innovation. In Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, MI, USA, May 19-23, 2025. International Foundation for Autonomous Agents and Multiagent Systems \/ ACM, 1\u20132. 10.5555\/3709347.3743508"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_4"},{"key":"e_1_3_3_2_14_2","first-page":"1521","volume-title":"Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2024, Sacramento, CA, USA, October 27 - November 1, 2024","author":"Feng Nick","year":"2024","unstructured":"Nick Feng, Lina Marsso, and Marsha Chechik. 2024. Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects. In Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2024, Sacramento, CA, USA, October 27 - November 1, 2024, Vladimir Filkov, Baishakhi Ray, and Minghui Zhou (Eds.). ACM, 1521\u20131532. 10.1145\/3691620.3695522"},{"key":"e_1_3_3_2_15_2","first-page":"129","volume-title":"32nd IEEE International Requirements Engineering Conference, RE 2024, Reykjavik, Iceland, June 24-28, 2024","author":"Feng Nick","year":"2024","unstructured":"Nick Feng, Lina Marsso, Sinem\u00a0Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Vict\u00f3ria\u00a0Oldemburgo de Mello, Beverley\u00a0A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, and Marsha Chechik. 2024. Normative Requirements Operationalization with Large Language Models. In 32nd IEEE International Requirements Engineering Conference, RE 2024, Reykjavik, Iceland, June 24-28, 2024, Grischa Liebel, Irit Hadar, and Paola Spoletini (Eds.). IEEE, 129\u2013141. 10.1109\/RE59067.2024.00022"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","unstructured":"Sinem Getir\u00a0Yaman Pedro Ribeiro Charlie Burholt Maddie Jones Ana Cavalcanti and Radu Calinescu. 2024. Toolkit for specification validation and verification of social legal ethical empathetic and cultural requirements for autonomous agents. Science of Computer Programming 236 (Sept. 2024) 103118. 10.1016\/j.scico.2024.103118","DOI":"10.1016\/j.scico.2024.103118"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","unstructured":"Sinem Getir Yaman Pedro Ribeiro Charlie Burholt Maddie Jones Ana Cavalcanti and Radu Calinescu. 2024. Toolkit for specification validation and verification of social legal ethical empathetic and cultural requirements for autonomous agents. Science of Computer Programming 236 (2024) 103118. 10.1016\/j.scico.2024.103118","DOI":"10.1016\/j.scico.2024.103118"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199744077.001.0001","volume-title":"Reasons as defaults","author":"Horty John\u00a0F.","year":"2012","unstructured":"John\u00a0F. Horty. 2012. Reasons as defaults. Oxford University Press."},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","unstructured":"Jeffrey\u00a0O. Kephart and David\u00a0M. Chess. 2003. The Vision of Autonomic Computing. Computer 36 1 (Jan. 2003) 41\u201350. 10.1109\/MC.2003.1160055","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_3_2_20_2","first-page":"33","volume-title":"2025 IEEE\/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","author":"Kolyakov Kevin","year":"2025","unstructured":"Kevin Kolyakov, Lina Marsso, Nick Feng, Junwei Quan, and Marsha Chechik. 2025. LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements. In 2025 IEEE\/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). 33\u201336. 10.1109\/ICSE-Companion66252.2025.00018"},{"key":"e_1_3_3_2_21_2","series-title":"CEUR Workshop Proceedings","first-page":"50","volume-title":"Proceedings of the 3rd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), Bolzano, Italy, November 26, 2024","volume":"3881","author":"Mirani Mahrokh","year":"2024","unstructured":"Mahrokh Mirani, Franco Raimondi, and Nicolas Troquard. 2024. Towards Efficient Norm-Aware Robots\u2019 Decision Making Using Datalog (Short Paper). In Proceedings of the 3rd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), Bolzano, Italy, November 26, 2024(CEUR Workshop Proceedings, Vol.\u00a03881). CEUR-WS.org, 50\u201359. https:\/\/ceur-ws.org\/Vol-3881\/paper6.pdf"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","unstructured":"Alvaro Miyazawa Pedro Ribeiro Wei Li Ana Cavalcanti Jon Timmis and Jim Woodcock. 2019. RoboChart: modelling and verification of the functional behaviour of robotic applications. Software & Systems Modeling 18 5 (Jan. 2019) 3097\u20133149. 10.1007\/s10270-018-00710-z","DOI":"10.1007\/s10270-018-00710-z"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","unstructured":"Srinivas Pinisetty Partha\u00a0S. Roop Steven Smyth Nathan Allen Stavros Tripakis and Reinhard\u00a0Von Hanxleden. 2017. Runtime Enforcement of Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems 16 5s Article 178 (Sept. 2017) 25\u00a0pages. 10.1145\/3126500","DOI":"10.1145\/3126500"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","unstructured":"Petar Radanliev. 2025. AI Ethics: Integrating Transparency Fairness and Privacy in AI Development. Applied Artificial Intelligence 39 1 (Feb. 2025). 10.1080\/08839514.2025.2463722","DOI":"10.1080\/08839514.2025.2463722"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","unstructured":"Oliviero Riganelli Daniela Micucci and Leonardo Mariani. 2019. Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement. ACM Transactions on Autonomous and Adaptive Systems 14 2 (2019) 8:1\u20138:29. 10.1145\/3368087","DOI":"10.1145\/3368087"},{"key":"e_1_3_3_2_26_2","series-title":"(SAC \u201912)","doi-asserted-by":"crossref","first-page":"1063","DOI":"10.1145\/2245276.2231942","volume-title":"Proceedings of the 27th Annual ACM Symposium on Applied Computing","author":"Scandurra Patrizia","year":"2012","unstructured":"Patrizia Scandurra, Andrea Arnoldi, Tao Yue, and Marco Dolci. 2012. Functional requirements validation by transforming use case models into Abstract State Machines. In Proceedings of the 27th Annual ACM Symposium on Applied Computing (Trento, Italy) (SAC \u201912). Association for Computing Machinery, New York, NY, USA, 1063\u20131068. 10.1145\/2245276.2231942"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"crossref","unstructured":"Mojtaba Shahin Waqar Hussain Arif Nurwidyantoro Harsha Perera Rifat Shams John Grundy and Jon Whittle. 2022. Operationalizing human values in software engineering: A survey. IEEE Access 10 (2022) 75269\u201375295.","DOI":"10.1109\/ACCESS.2022.3190975"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","unstructured":"Beverley Townsend Colin Paterson T.\u00a0T. Arvind Gabriel Nemirovsky Radu Calinescu Ana Cavalcanti Ibrahim Habli and Alan Thomas. 2022. From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds and Machines 32 4 (Oct. 2022) 683\u2013715. 10.1007\/s11023-022-09614-w","DOI":"10.1007\/s11023-022-09614-w"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","unstructured":"Nicolas Troquard Martina De\u00a0Sanctis Paola Inverardi Patrizio Pelliccione and Gian\u00a0Luca Scoccia. 2024. Social Legal Ethical Empathetic and Cultural Rules: Compilation and Reasoning. Proceedings of the AAAI Conference on Artificial Intelligence 38 20 (March 2024) 22385\u201322392. 10.1609\/aaai.v38i20.30245","DOI":"10.1609\/aaai.v38i20.30245"},{"key":"e_1_3_3_2_30_2","unstructured":"UNESCO. 2022. Recommendation on the Ethics of Artificial Intelligence. https:\/\/www.unesco.org\/en\/artificial-intelligence\/recommendation-ethics"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","unstructured":"Sinem Yaman Pedro Ribeiro Ana Cavalcanti Radu Calinescu Colin Paterson and Beverley Townsend. 2025. Specification validation and verification of social legal ethical empathetic and cultural requirements for autonomous agents. Journal of Systems and Software 220 (Feb. 2025) 112229. 10.1016\/j.jss.2024.112229","DOI":"10.1016\/j.jss.2024.112229"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30826-0_13"},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_37"}],"event":{"name":"SEAMS '26: 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems","location":"Rio de Janeiro Brazil","acronym":"SEAMS '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3788550.3794876","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T08:46:15Z","timestamp":1784537175000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3788550.3794876"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,13]]},"references-count":32,"alternative-id":["10.1145\/3788550.3794876","10.1145\/3788550"],"URL":"https:\/\/doi.org\/10.1145\/3788550.3794876","relation":{},"subject":[],"published":{"date-parts":[[2026,4,13]]},"assertion":[{"value":"2026-07-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}