{"id":"https://openalex.org/W7162869937","doi":"https://doi.org/10.1145/3788550.3794876","title":"A Process to Enforce Ethical Requirements of Autonomous Systems at Runtime","display_name":"A Process to Enforce Ethical Requirements of Autonomous Systems at Runtime","publication_year":2026,"publication_date":"2026-04-13","ids":{"openalex":"https://openalex.org/W7162869937","doi":"https://doi.org/10.1145/3788550.3794876"},"language":"en","primary_location":{"id":"doi:10.1145/3788550.3794876","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3788550.3794876","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3788550.3794876","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046715167","display_name":"Martina De Sanctis","orcid":"https://orcid.org/0000-0002-9417-660X"},"institutions":[{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Martina De Sanctis","raw_affiliation_strings":["Gran Sasso Science Institute (GSSI), L'Aquila, Italy"],"raw_orcid":"https://orcid.org/0000-0002-9417-660X","affiliations":[{"raw_affiliation_string":"Gran Sasso Science Institute (GSSI), L'Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019183235","display_name":"Gianluca Filippone","orcid":"https://orcid.org/0000-0001-8908-6960"},"institutions":[{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gianluca Filippone","raw_affiliation_strings":["Gran Sasso Science Institute, L'Aquila, Italy"],"raw_orcid":"https://orcid.org/0000-0001-8908-6960","affiliations":[{"raw_affiliation_string":"Gran Sasso Science Institute, L'Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039484805","display_name":"Paola Inverardi","orcid":"https://orcid.org/0000-0001-6734-1318"},"institutions":[{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paola Inverardi","raw_affiliation_strings":["Gran Sasso Science Institute, L'Aquila, Italy"],"raw_orcid":"https://orcid.org/0000-0001-6734-1318","affiliations":[{"raw_affiliation_string":"Gran Sasso Science Institute, L'Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055586939","display_name":"Raffaela Mirandola","orcid":"https://orcid.org/0000-0003-3154-2438"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Raffaela Mirandola","raw_affiliation_strings":["Karlsruhe Institute of Technology, Karlsruhe, Germany"],"raw_orcid":"https://orcid.org/0000-0003-3154-2438","affiliations":[{"raw_affiliation_string":"Karlsruhe Institute of Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085768996","display_name":"Sara Pettinari","orcid":"https://orcid.org/0000-0002-5548-9806"},"institutions":[{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Sara Pettinari","raw_affiliation_strings":["Gran Sasso Science Institute, L'Aquila, Italy"],"raw_orcid":"https://orcid.org/0000-0002-5548-9806","affiliations":[{"raw_affiliation_string":"Gran Sasso Science Institute, L'Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064186815","display_name":"Patrizia Scandurra","orcid":"https://orcid.org/0000-0002-9209-3624"},"institutions":[{"id":"https://openalex.org/I11039511","display_name":"University of Bergamo","ror":"https://ror.org/02mbd5571","country_code":"IT","type":"education","lineage":["https://openalex.org/I11039511"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Patrizia Scandurra","raw_affiliation_strings":["University of Bergamo, Bergamo, Italy"],"raw_orcid":"https://orcid.org/0000-0002-9209-3624","affiliations":[{"raw_affiliation_string":"University of Bergamo, Bergamo, Italy","institution_ids":["https://openalex.org/I11039511"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":39.7805,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.99570552,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"136","last_page":"141"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.6784999966621399,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.6784999966621399,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10883","display_name":"Ethics and Social Impacts of AI","score":0.11100000143051147,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.03280000016093254,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6908000111579895},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.599399983882904},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.4417000114917755},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.32420000433921814},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.301800012588501},{"id":"https://openalex.org/keywords/autonomous-system","display_name":"Autonomous system (mathematics)","score":0.2971999943256378},{"id":"https://openalex.org/keywords/quality-assurance","display_name":"Quality assurance","score":0.2815999984741211}],"concepts":[{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6908000111579895},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.620199978351593},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.599399983882904},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.4417000114917755},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.43230000138282776},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38449999690055847},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.32420000433921814},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.3215999901294708},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3084000051021576},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.301800012588501},{"id":"https://openalex.org/C9628104","wikidata":"https://www.wikidata.org/wiki/Q788009","display_name":"Autonomous system (mathematics)","level":2,"score":0.2971999943256378},{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.2815999984741211},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.2791000008583069},{"id":"https://openalex.org/C2780795517","wikidata":"https://www.wikidata.org/wiki/Q6030997","display_name":"Information assurance","level":3,"score":0.2777999937534332},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.27149999141693115},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.2651999890804291},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2621000111103058},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2581999897956848},{"id":"https://openalex.org/C105446022","wikidata":"https://www.wikidata.org/wiki/Q445962","display_name":"Legacy system","level":3,"score":0.25049999356269836}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3788550.3794876","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3788550.3794876","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:aisberg.unibg.it:10446/327788","is_oa":true,"landing_page_url":"https://hdl.handle.net/10446/327788","pdf_url":"https://aisberg.unibg.it/bitstream/10446/327788/1/SEAMS2026.pdf","source":{"id":"https://openalex.org/S4377196347","display_name":"Aisberg (University of Bergamo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I11039511","host_organization_name":"University of Bergamo","host_organization_lineage":["https://openalex.org/I11039511"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1145/3788550.3794876","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3788550.3794876","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.6753028035163879,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,43],"paper":[1],"addresses":[2],"the":[3,21,46,92],"challenge":[4],"of":[5,23,52,96],"enforcing":[6],"ethical":[7,32,106],"behaviors":[8],"at":[9],"runtime":[10,60,84],"in":[11,108],"autonomous":[12,109],"systems":[13],"through":[14,70],"a":[15,27,57,71,100],"structured":[16],"ethics":[17],"assurance":[18,107],"process.":[19],"At":[20],"core":[22],"this":[24],"process":[25],"is":[26,68],"subsystem":[28,44],"that":[29],"rigorously":[30],"operationalizes":[31],"rules,":[33,98],"specifically":[34],"social,":[35],"legal,":[36],"ethical,":[37],"empathetic,":[38],"and":[39,50,102],"cultural":[40],"(SLEEC)":[41],"requirements.":[42],"enables":[45],"dynamic":[47],"evaluation,":[48],"adaptation,":[49],"enforcement":[51],"ethically":[53],"compliant":[54],"behavior":[55],"within":[56],"formally":[58],"defined":[59],"model.":[61],"The":[62],"proposed":[63],"approach,":[64],"named":[65],"[email":[66,86],"protected],":[67],"demonstrated":[69],"running":[72],"example":[73],"involving":[74],"firefighter-uncrewed":[75],"aerial":[76],"vehicles.":[77],"In":[78],"addition,":[79],"by":[80],"leveraging":[81],"its":[82],"flexible":[83],"model,":[85],"protected]":[87],"accommodates":[88],"changes":[89],"such":[90],"as":[91],"addition":[93],"or":[94],"removal":[95],"SLEEC":[97],"ensuring":[99],"robust":[101],"evolvable":[103],"approach":[104],"to":[105],"systems.":[110]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-05-31T00:00:00"}