Cover Image

Towards a Value-Complemented Framework for Enabling Human Monitoring in Cyber-Physical Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pfister, Zoe, Vierhauser, Michael, Wohlrab, Rebekka, Breu, Ruth
Format:	Preprint
Published:	2025
Subjects:	Software Engineering D.2.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

HM-Req: A Framework for Embedding Values within CPS Human Monitoring Requirements
by: Pfister, Zoe, et al.
Published: (2026)

Human-Machine Collaboration and Ethical Considerations in Adaptive Cyber-Physical Systems
by: Pfister, Zoe
Published: (2025)

FORTE: An Open-Source System for Cost-Effective and Scalable Environmental Monitoring
by: Pfister, Zoe, et al.
Published: (2025)

Towards an Approach to Pattern-based Domain-Specific Requirements Engineering
by: Chuprina, T., et al.
Published: (2024)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
by: Rodríguez, María Belén, et al.
Published: (2026)

Prompts Blend Requirements and Solutions: From Intent to Implementation
by: Chakraborty, Shalini, et al.
Published: (2026)

From Bugs to Benefits: Improving User Stories by Leveraging Crowd Knowledge with CrUISE-AC
by: Schwedt, Stefan, et al.
Published: (2025)

Generative Goal Modeling
by: Sharfuddin, Ateeq, et al.
Published: (2025)

Think Like an Engineer: A Neuro-Symbolic Collaboration Agent for Generative Software Requirements Elicitation and Self-Review
by: Zhang, Sai, et al.
Published: (2025)

A Human Centric Requirements Engineering Framework for Assessing Github Copilot Output
by: Heydari, Soroush
Published: (2025)

Causal Models in Requirement Specifications for Machine Learning: A vision
by: Heyn, Hans-Martin, et al.
Published: (2025)

AutoReSpec: A Framework for Generating Specification using Large Language Models
by: Ayon, Ragib Shahariar, et al.
Published: (2026)

From Machine Learning Documentation to Requirements: Bridging Processes with Requirements Languages
by: Peng, Yi, et al.
Published: (2025)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
by: Prasetya, I. S. W. B., et al.
Published: (2026)

A Data Annotation Requirements Representation and Specification (DARS)
by: Peng, Yi, et al.
Published: (2025)

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements
by: Broccia, Giovanna, et al.
Published: (2024)

Early-Stage Requirements Transformation Approaches: A Systematic Review
by: Letsholo, Keletso J.
Published: (2024)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
by: Kratz, Maximilian, et al.
Published: (2025)

Faster than the Team, Faster than the Customer: Tool Integration, Collaboration, and Organisational Lag in AI-assisted RE
by: Steghöfer, Jan-Philipp
Published: (2026)

IACDM: Interactive Adversarial Convergence Development Methodology -- A Structured Framework for AI-Assisted Software Development
by: Moreira, Jasmine
Published: (2026)

Validating API Design Requirements for Interoperability: A Static Analysis Approach Using OpenAPI
by: Sundberg, Edwin, et al.
Published: (2025)

Validating Formal Specifications with LLM-generated Test Cases
by: Cunha, Alcino, et al.
Published: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
by: Cunha, Alcino, et al.
Published: (2025)

Teaching Complex Systems based on Microservices
by: Ferreira, Renato Cordeiro, et al.
Published: (2025)

SLEGO: A Collaborative Data Analytics System with LLM Recommender for Diverse Users
by: Ng, Siu Lung, et al.
Published: (2024)

Large Language Models (LLMs) for Requirements Engineering (RE): A Systematic Literature Review
by: Zadenoori, Mohammad Amin, et al.
Published: (2025)

Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework
by: Zietsman, Christo
Published: (2026)

Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
by: Kessel, Marcus
Published: (2025)

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents
by: Calinescu, Radu, et al.
Published: (2026)

Addressing Visual Impairments with Model-Driven Engineering: A Systematic Literature Review
by: Michael, Judith, et al.
Published: (2025)

Smart Expansion Techniques for ASP-based Interactive Configuration
by: Balážová, Lucia, et al.
Published: (2025)

Reliability in Software Engineering Qualitative Research through Inter-Coder Agreement: A guide using Krippendorff's $α$ & Atlas.ti
by: González-Prieto, Ángel, et al.
Published: (2020)

AgentAssay: Token-Efficient Regression Testing for Non-Deterministic AI Agent Workflows
by: Bhardwaj, Varun Pratap
Published: (2026)

Model checking of hyperproperties for high-level relational models
by: Macedo, Nuno, et al.
Published: (2025)

Who is Introducing the Failure? Automatically Attributing Failures of Multi-Agent Systems via Spectrum Analysis
by: Ge, Yu, et al.
Published: (2025)

Graph-Based Specification and Automated Construction of ILP Problems
by: Ehmes, Sebastian, et al.
Published: (2022)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
by: Kratz, Maximilian, et al.
Published: (2025)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
by: Chen, Jinbao, et al.
Published: (2024)

An Online Integrated Development Environment for Automated Programming Assessment Systems
by: Frankford, Eduard, et al.
Published: (2025)

Fuzzing the brain: Automated stress testing for the safety of ML-driven neurostimulation
by: Downing, Mara, et al.
Published: (2025)