Cover Image

Runtime Enforcement for Operationalizing Ethics in Autonomous Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	De Sanctis, Martina, Filippone, Gianluca, Inverardi, Paola, Mirandola, Raffaela, Pettinari, Sara, Scandurra, Patrizia
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Engineering Digital Systems for Humanity: Challenges and Opportunities
by: De Sanctis, Martina, et al.
Published: (2024)

RobEthiChor: Automated Context-aware Ethics-based Negotiation for Autonomous Robots
by: Memon, Mashal Afzal, et al.
Published: (2025)

The Runtime Dimension of Ethics in Self-Adaptive Systems
by: Autili, Marco, et al.
Published: (2026)

Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
by: Filippone, Gianluca, et al.
Published: (2026)

Engineering Digital Systems for Humanity: a Research Roadmap
by: Autili, Marco, et al.
Published: (2024)

Beyond Monolithic Models: Symbolic Seams for Composable Neuro-Symbolic Architectures
by: Schuler, Nicolas, et al.
Published: (2026)

REDriver: Runtime Enforcement for Autonomous Vehicles
by: Sun, Yang, et al.
Published: (2024)

Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems
by: Júnior, Everaldo Silva, et al.
Published: (2026)

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
by: Chechik, Marsha, et al.
Published: (2025)

On the Need for Configurable Travel Recommender Systems: A Systematic Mapping Study
by: Pereira, Rickson Simioni, et al.
Published: (2024)

A Roadmap for Tamed Interactions with Large Language Models
by: Scotti, Vincenzo, et al.
Published: (2025)

Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agents
by: Bhardwaj, Varun Pratap
Published: (2026)

Leveraging LLMs for Dynamic IoT Systems Generation through Mixed-Initiative Interaction
by: Adnan, Bassam, et al.
Published: (2025)

A Systematic Mapping Study on Smart Cities Modeling Approaches
by: Rossi, Maria Teresa, et al.
Published: (2025)

MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems
by: Ayerdi, Jon, et al.
Published: (2023)

Operationalizing Reconstructive Authority: Runtime Construction, Dependency Resolution, and Execution Gating in Autonomous Agent Systems
by: TraslaIA, Marcelo Fernandez -
Published: (2026)

GoLeash: Mitigating Golang Software Supply Chain Attacks with Runtime Policy Enforcement
by: Cesarano, Carmine, et al.
Published: (2025)

Operationalizing Ethics for AI Agents: How Developers Encode Values into Repository Context Files
by: Treude, Christoph, et al.
Published: (2026)

Exploring User Privacy Awareness on GitHub: An Empirical Study
by: Alfieri, Costanza, et al.
Published: (2024)

Advancing Automated Ethical Profiling in SE: a Zero-Shot Evaluation of LLM Reasoning
by: Migliarini, Patrizio, et al.
Published: (2025)

Operationalizing Software Engineering Theories for Practical Validation
by: Alves, Isaque, et al.
Published: (2026)

Normative Requirements Operationalization with Large Language Models
by: Feng, Nick, et al.
Published: (2024)

Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments
by: Aslam, Iqra, et al.
Published: (2023)

Software Security Mapping Framework: Operationalization of Security Requirements
by: Lee, Sung Une, et al.
Published: (2025)

Runtime-Structured Task Decomposition for Agentic Coding Systems
by: Asthana, Shubhi, et al.
Published: (2026)

Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements
by: Villamizar, Hugo, et al.
Published: (2025)

Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs
by: Cheng, Chih-Hong, et al.
Published: (2024)

Operationalizing Research Software for Supply Chain Security
by: Kalu, Kelechi G., et al.
Published: (2026)

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
by: Shen, Zhuohang, et al.
Published: (2025)

AI Asset Management for Manufacturing (AIM4M): Development of a Process Model for Operationalization
by: Rauh, Lukas, et al.
Published: (2025)

Runtime Verification and Field-based Testing for ROS-based Robotic Systems
by: Caldas, Ricardo, et al.
Published: (2024)

Research on WebAssembly Runtimes: A Survey
by: Zhang, Yixuan, et al.
Published: (2024)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
by: Ferrando, Angelo
Published: (2025)

Raising AI Ethics Awareness through an AI Ethics Quiz for Software Practitioners
by: Pant, Aastha, et al.
Published: (2024)

Runtime-Augmented LLMs for Crash Detection and Diagnosis in ML Notebooks
by: Wang, Yiran, et al.
Published: (2026)

FlyCatcher: Neural Inference of Runtime Checkers from Tests
by: Souza, Beatriz, et al.
Published: (2026)

Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies
by: Shi, Jieke, et al.
Published: (2024)

A Case Study on Model Checking and Runtime Verification for Awkernel
by: Hasegawa, Akira, et al.
Published: (2025)

PROZE: Generating Parameterized Unit Tests Informed by Runtime Data
by: Tiwari, Deepika, et al.
Published: (2024)

Ethics of Care for Software Engineering
by: Serebrenik, Alexander, et al.
Published: (2026)