Towards a research agenda for understanding and managing uncertainty in self-adaptive systems

D Weyns, R Calinescu, R Mirandola, K Tei… - ACM SIGSOFT …, 2023 - dl.acm.org
Despite considerable research efforts on handling uncertainty in self-adaptive systems, a
comprehensive understanding of the precise nature of uncertainty is still lacking. This paper …

[PDF][PDF] Specification and validation of normative rules for autonomous agents

SG Yaman, C Burholt, M Jones… - International …, 2023 - library.oapen.org
A growing range of applications use autonomous agents such as AI and robotic systems to
perform tasks deemed dangerous, tedious or costly for humans. To truly succeed with these …

Bias in human data: A feedback from social sciences

S Takan, D Ergün, S Getir Yaman… - … Reviews: Data Mining …, 2023 - Wiley Online Library
The fairness of human‐related software has become critical with its widespread use in our
daily lives, where life‐changing decisions are made. However, with the use of these …

Towards a formal framework for normative requirements elicitation

N Feng, L Marsso, SG Yaman… - 2023 38th IEEE/ACM …, 2023 - ieeexplore.ieee.org
As software and cyber-physical systems interacting with humans become prevalent in
domains such as healthcare, education and customer service, software engineers need to …

Medical practitioner perspectives on AI in emergency triage

BA Townsend, KL Plant, VJ Hodge… - Frontiers in Digital …, 2023 - frontiersin.org
Introduction A proposed Diagnostic AI System for Robot-Assisted Triage (“DAISY”) is under
development to support Emergency Department (“ED”) triage following increasing reports of …

Normative requirements operationalization with large language models

N Feng, L Marsso, SG Yaman, I Standen… - 2024 IEEE 32nd …, 2024 - ieeexplore.ieee.org
Normative non-functional requirements specify con-straints that a system must observe in
order to avoid violations of social, legal, ethical, empathetic, and cultural norms. As these …

Human empowerment in self-adaptive socio-technical systems

N Boltz, S Getir Yaman, P Inverardi… - Proceedings of the 19th …, 2024 - dl.acm.org
Recent advances in generative AI and machine learning have stirred up fears about the
unbridled adoption of autonomous, self-adaptive decision mechanisms in socio-technical …

The perfect technological storm: artificial intelligence and moral complacency

MHL Kaas - Ethics and Information Technology, 2024 - Springer
Artificially intelligent machines are different in kind from all previous machines and tools.
While many are used for relatively benign purposes, the types of artificially intelligent …

Analyzing and Debugging Normative Requirements via Satisfiability Checking

N Feng, L Marsso, S Getir Yaman… - Proceedings of the …, 2024 - dl.acm.org
As software systems increasingly interact with humans in application domains such as
transportation and healthcare, they raise concerns related to the social, legal, ethical …

Engineering ethical-aware collective adaptive systems

M De Sanctis, P Inverardi - … on Leveraging Applications of Formal Methods, 2024 - Springer
Modern digital systems are increasingly pervasive and autonomous, also due to the
widespread use of AI technologies. They concur to create socio-technical systems …