English
Related papers

Related papers: Engineering Trustworthy Self-Adaptive Software wit…

200 papers

An architectural approach to self-adaptive systems involves runtime change of system configuration (i.e., the system's components, their bindings and operational parameters) and behaviour update (i.e., component orchestration). Thus,…

Software Engineering · Computer Science 2015-10-23 Victor Braberman , Nicolas D'Ippolito , Jeff Kramer , Daniel Sykes , Sebastian Uchitel

Developing and fielding complex systems requires proof that they are reliably correct with respect to their design and operating requirements. Especially for autonomous systems which exhibit unanticipated emergent behavior, fully…

Software Engineering · Computer Science 2024-02-28 Matthew Litton , Doron Drusinsky , James Bret Michael

Software systems are increasingly making decisions on behalf of humans, raising concerns about the fairness of such decisions. Such concerns are usually attributed to flaws in algorithmic design or biased data, but we argue that they are…

Software Engineering · Computer Science 2021-04-09 Ali Farahani , Liliana Pasquale , Amel Bennaceur , Thomas Welsh , Bashar Nuseibeh

Software is now a vital scientific instrument, providing the tools for data collection and analysis across disciplines from bioinformatics and computational physics, to the humanities. The software used in research is often home-grown and…

Software Engineering · Computer Science 2019-03-15 Mario Rosado de Souza , Robert Haines , Markel Vigo , Caroline Jay

Context: Software testability is the degree to which a software system or a unit under test supports its own testing. To predict and improve software testability, a large number of techniques and metrics have been proposed by both…

Software Engineering · Computer Science 2018-12-07 Vahid Garousi , Michael Felderer , Feyza Nur Kilicaslan

Cyber-physical systems (CPS) are subject to environmental uncertainties such as adverse operating conditions, malicious attacks, and hardware degradation. These uncertainties may lead to failures that put the system in a sub-optimal or…

Software Engineering · Computer Science 2024-04-09 Simon Chu , Justin Koe , David Garlan , Eunsuk Kang

Regional innovation is more and more considered an important enabler of welfare. It is no coincidence that the European Commission has started looking at regional peculiarities and dynamics, in order to focus Research and Innovation…

Artificial Intelligence · Computer Science 2019-01-23 A. L. Alfeo , F. P. Appio , M. G. C. A. Cimino , A. Lazzeri , A. Martini , G. Vaglini

Ensuring reliable performance in situations outside the Operational Design Domain (ODD) remains a primary challenge in devising resilient autonomous systems. We explore this challenge by introducing an approach for adapting probabilistic…

Logic in Computer Science · Computer Science 2026-04-10 Gricel Vázquez , Calum Imrie , Sepeedeh Shahbeigi , Nawshin Mannan Proma , Tian Gan , Victoria J Hodge , John Molloy , Simos Gerasimou

The software ecosystem is a trust-rich part of the world. Collaboratively, software engineers trust major hubs in the ecosystem, such as package managers, repository services, and programming language ecosystems. This trust, however, is…

Software Engineering · Computer Science 2021-01-18 Floris Jansen , Slinger Jansen , Fang Hou

Enterprise Resource Planning (ERP) consultants play a vital role in customizing systems to meet specific business needs by processing large amounts of data and adapting functionalities. However, the process is resource-intensive,…

Software Engineering · Computer Science 2025-01-08 Ahmed Maged , Gamal Kassem

LLMs are transforming software engineering by accelerating development, reducing complexity, and cutting costs. When fully integrated into the software lifecycle they will drive design, development and deployment while facilitating early…

Software Engineering · Computer Science 2024-11-28 Marco Vieira

Effective software safety standards will contribute to confidence, or assurance, in the safety of the systems in which the software is used. It is infeasible to demonstrate a correlation between standards and accidents, but there is an…

Software Engineering · Computer Science 2014-04-29 John A. McDermid

Over the last decade, machine learning has been extensively applied to identify malicious Android applications. However, such approaches remain vulnerable against adversarial examples, i.e., examples that are subtly manipulated to fool a…

Cryptography and Security · Computer Science 2026-05-29 Daniel Pulido-Cortázar , Daniel Gibert , Felip Manyà

Trust management provides an alternative solution for securing open, dynamic, and distributed multi-agent systems, where conventional cryptographic methods prove to be impractical. However, existing trust models face challenges related to…

Multiagent Systems · Computer Science 2025-04-23 Zoi Lygizou , Dimitris Kalles

Embedded software is developed under the assumption that hardware execution is always correct. Fault attacks break and exploit that assumption. Through the careful introduction of targeted faults, an adversary modifies the control-flow or…

Cryptography and Security · Computer Science 2020-03-25 Bilgiday Yuce , Patrick Schaumont , Marc Witteman

Adapting machine learning models to new domains without labeled data, especially when source data is inaccessible, is a critical challenge in applications like medical imaging, autonomous driving, and remote sensing. This task, known as…

Computer Vision and Pattern Recognition · Computer Science 2024-12-24 Ruiqiang Xiao , Songning Lai , Yijun Yang , Jiemin Wu , Yutao Yue , Lei Zhu

The increasing complexity of aerospace systems requires development processes that balance agility with stringent safety and certification demands. This study presents an empirically validated Scrum-based Agile framework tailored for…

Software Engineering · Computer Science 2025-11-19 Malik Muhammad Umer

Sustainability is increasingly recognized as a critical dimension of engineering education, yet its integration into Software Engineering curricula remains a challenge. This paper reports on a case study that examines how sustainability is…

Computers and Society · Computer Science 2025-10-07 Ruzanna Chitchyan , Niki Mahmoudi

Modern systems are designed to operate in increasingly variable and uncertain environments. Not only are these environments complex, in the sense that they contain a tremendous number of variables, but they also change over time. Systems…

Software Engineering · Computer Science 2022-10-04 Simon Diemert , Jens H. Weber

Software has the potential to be a key driver in fostering sustainability. Despite this potential, it is not clear if and how the software industry integrates consideration of sustainability into its common software development processes.…

Software Engineering · Computer Science 2024-07-25 Shola Oyedeji , Ruzanna Chitchyan , Mikhail Ola Adisa , Hatef Shamshiri