English
Related papers

Related papers: Towards Auditability Requirements Specification Us…

200 papers

Large Intelligent Systems are so complex these days that an urgent need for designing such systems in best available way is evolving. Modeling is the useful technique to show a complex real world system into the form of abstraction, so that…

Software Engineering · Computer Science 2011-11-04 Ankit Chaudhary , Jagdish L. Raheja

Public attention towards explainability of artificial intelligence (AI) systems has been rising in recent years to offer methodologies for human oversight. This has translated into the proliferation of research outputs, such as from…

Computers and Society · Computer Science 2023-04-25 Luca Nannini , Agathe Balayn , Adam Leon Smith

Cross-border access to a variety of data such as market information, strategic information, or customer-related information defines the daily business of many global companies, including financial institutions. These companies are obliged…

Cryptography and Security · Computer Science 2010-06-24 Michael Stieghahn , Thomas Engel

This paper presents a conceptual and operational framework for developing and operating safe and trustworthy AI agents based on a Three-Pillar Model grounded in transparency, accountability, and trustworthiness. Building on prior work in…

Computers and Society · Computer Science 2026-01-13 Edward C. Cheng , Jeshua Cheng , Alice Siu

The traceability of requirements in the information system design process is considered an essential property of the project, one of its quality characteristics. The point here is that traceability provides the methods of validation and…

Software Engineering · Computer Science 2025-06-16 Grigory Tsiperman

Transparency - the provision of information about what personal data is collected for which purposes, how long it is stored, or to which parties it is transferred - is one of the core privacy principles underlying regulations such as the…

Software Engineering · Computer Science 2022-09-26 Elias Grünewald , Paul Wille , Frank Pallas , Maria C. Borges , Max-R. Ulbricht

Reachability analysis, in general, is a fundamental method that supports formally-correct synthesis, robust model predictive control, set-based observers, fault detection, invariant computation, and conformance checking, to name but a few.…

Systems and Control · Electrical Eng. & Systems 2020-11-17 Niklas Kochdumper , Bastian Schürmann , Matthias Althoff

Algorithmic transparency entails exposing system properties to various stakeholders for purposes that include understanding, improving, and contesting predictions. Until now, most research into algorithmic transparency has predominantly…

Artificial intelligence (AI) is increasingly intervening in our lives, raising widespread concern about its unintended and undeclared side effects. These developments have brought attention to the problem of AI auditing: the systematic…

Computers and Society · Computer Science 2024-10-08 Sarah H. Cen , Rohan Alur

Audits contribute to the trustworthiness of Learning Analytics (LA) systems that integrate Artificial Intelligence (AI) and may be legally required in the future. We argue that the efficacy of an audit depends on the auditability of the…

Computers and Society · Computer Science 2024-11-15 Linda Fernsel , Yannick Kalff , Katharina Simbeck

Before deploying a black-box model in high-stakes problems, it is important to evaluate the model's performance on sensitive subpopulations. For example, in a recidivism prediction task, we may wish to identify demographic groups for which…

Methodology · Statistics 2023-06-09 John J. Cherian , Emmanuel J. Candès

Every digital process needs to consume some data in order to work properly. It is very common for applications to use some external data in their processes, getting them by sources such as external APIs. Therefore, trusting the received…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-06-06 Andrea Canciani , Claudio Felicioli , Fabio Severino , Domenico Tortola

As autonomous coding agents become deeply embedded in software development workflows, their high operational velocity introduces a critical oversight challenge: the accumulating divergence between agentic actions and architectural intent.…

Software Engineering · Computer Science 2026-05-05 Matteo Casserini , Alessandro Facchini , Andrea Ferrario

This paper systematizes log based Transparency Enhancing Technologies. Based on work on transparency from multiple disciplines we outline the purpose, usefulness, and pitfalls of transparency. We describe the mechanisms that allow log based…

Cryptography and Security · Computer Science 2023-09-19 Alexander Hicks

Personalized computer-use agents are rapidly moving from expert communities into mainstream use. Unlike conventional chatbots, these systems can install skills, invoke tools, access private resources, and modify local environments on users'…

Cryptography and Security · Computer Science 2026-04-01 Zifan Peng , Mingchen Li

In recent years, discussions about fairness in machine learning, AI ethics and algorithm audits have increased. Many entities have developed framework guidance to establish a baseline rubric for fairness and accountability. However, in…

Machine Learning · Computer Science 2022-06-23 Cherie M Poland

Existing AI disclosure mandates in scholarship require that AI assistance be reported but leave transparency philosophically unspecified: they fix the duty without explaining what the duty serves. We argue that ethical inquiry is…

Computers and Society · Computer Science 2026-05-19 Michele Loi

As anthropomorphic agents (AI and robots) are increasingly used in society, empathy and trust between people and agents are becoming increasingly important. A better understanding of agents by people will help to improve the problems caused…

Human-Computer Interaction · Computer Science 2025-04-22 Takahiro Tsumura , Seiji Yamada

Decisions impacting human lives are increasingly being made or assisted by automated decision-making algorithms. Many of these algorithms process personal data for predicting recidivism, credit risk analysis, identifying individuals using…

Computers and Society · Computer Science 2022-09-02 Furkan Gursoy , Ioannis A. Kakadiaris

Reliable explainability is not only a technical goal but also a cornerstone of private AI governance. As AI models enter high-stakes sectors, private actors such as auditors, insurers, certification bodies, and procurement agencies require…

Artificial Intelligence · Computer Science 2025-11-21 Pratinav Seth , Vinay Kumar Sankarapu