works on

From the 1 of 18 linked papers with an AI index.

collaborators
Showing cs.SEShow all

14 papers · 1 filter

cs.SE2026

Extending Decision Maps for Sustainable Safety and Security in Self-Adaptive Systems

Marco Stadler, Wesley K. G. Assunção, Michael Vierhauser +3

The paper extends the Decision Maps visual notation for self-adaptive systems to incorporate safety incidents and multiple security viewpoints, enabling more comprehensive modeling…

cs.SE2026

On the JI-RADAR: Uncovering Sustainability Tool Support for Requirements Engineering

Marco Stadler, Pascal Taurer, Johannes Sametinger +4

Context: Software-intensive systems are integral to nearly all facets of modern society [1]. Consequently, both their sustainability and their role in facilitating sustainable proc…

cs.SE2026

Transforming Privacy Artifacts into Accessible Reports for Non-Technical Stakeholders

Zoe Pfister, Clemens Sauerwein, Benedikt Dornauer +4

The transition toward Industry 5.0 is reshaping industrial work environments with an emphasis on human-centricity, enabling close collaboration between humans and machines to enhan…

cs.SE2026

HM-Req: A Framework for Embedding Values within CPS Human Monitoring Requirements

Zoe Pfister, Ruth Breu, Michael Vierhauser

Monitoring humans, for example, their movement or location, is essential for safe and efficient human-machine collaboration in Cyber-Physical Systems (CPS). This information allows…

cs.SE2026

A Generalized Feature Model for Digital Twins

Philipp Zech, Yanis Mair, Michael Vierhauser +3

The adoption of Digital Twin technologies is rapidly expanding in diverse industrial, economic, and societal domains. Over the past decade, a multitude of studies, surveys, and inv…

cs.SE2026

Uncovering Failures in Cyber-Physical System State Transitions: A Fuzzing-Based Approach Applied to sUAS

Theodore Chambers, Arturo Miguel Russell Bernal, Michael Vierhauser +1

The increasing deployment of small Uncrewed Aerial Systems (sUAS) in diverse and often safety-critical environments demands rigorous validation of onboard decision logic under vari…