4 papers
Runtime Enforcement for Operationalizing Ethics in Autonomous Systems
Martina De Sanctis, Gianluca Filippone, Paola Inverardi +3
This paper addresses the challenge of operationalizing ethics in autonomous systems through runtime enforcement. It first conceptualizes the system's ethical space and outlines a s…
A Systematic Mapping Study on Smart Cities Modeling Approaches
Maria Teresa Rossi, Martina De Sanctis, Ludovico Iovino +1
The Smart City concept was introduced to define an idealized city characterized by automation and connection. It then evolved rapidly by including further aspects, such as economy,…
Leveraging LLMs for Dynamic IoT Systems Generation through Mixed-Initiative Interaction
Bassam Adnan, Sathvika Miryala, Aneesh Sambu +3
IoT systems face significant challenges in adapting to user needs, which are often under-specified and evolve with changing environmental contexts. To address these complexities, u…
Engineering Digital Systems for Humanity: a Research Roadmap
Marco Autili, Martina De Sanctis, Paola Inverardi +1
As testified by new regulations like the European AI Act, worries about the human and societal impact of (autonomous) software technologies are becoming of public concern. Human, s…