:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Salem, Nayel Fabian, Nolte, Marcus, Haber, Veronica, Menzel, Till, Steege, Hans, Graubohm, Robert, Maurer, Markus
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Artificial Intelligence Systems and Control
Online Access:	https://arxiv.org/abs/2409.06607
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Assumptions with Respect to Occlusions in Urban Environments for Automated Vehicle Speed Decisions
by: Graubohm, Robert, et al.
Published: (2023)

A Review of Conceptualizations of Safety and Risk in Current Automated Driving Regulation
by: Nolte, Marcus, et al.
Published: (2025)

Risk Management Core -- Towards an Explicit Representation of Risk in Automated Driving
by: Salem, Nayel Fabian, et al.
Published: (2023)

Approaching Safety-Argumentation-by-Design: A Requirement-based Safety Argumentation Life Cycle for Automated Vehicles
by: Loba, Marvin, et al.
Published: (2025)

Toward a Harmonized Approach -- Requirement-based Structuring of a Safety Assurance Argumentation for Automated Vehicles
by: Loba, Marvin, et al.
Published: (2025)

What's Really Different with AI? -- A Behavior-based Perspective on System Safety for Automated Driving Systems
by: Nolte, Marcus, et al.
Published: (2025)

On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability
by: Vogelsang, Andreas, et al.
Published: (2025)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
by: Krook, Jonas, et al.
Published: (2022)

TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts
by: Gao, Hui, et al.
Published: (2023)

UOOR: Seamless and Traceable Requirements
by: Naumcheva, Maria, et al.
Published: (2025)

Enhancing Requirements Traceability Link Recovery: A Novel Approach with T-SimCSE
by: Wang, Ye, et al.
Published: (2026)

Towards Automated Driving Violation Cause Analysis in Scenario-Based Testing for Autonomous Driving Systems
by: Wan, Ziwen, et al.
Published: (2024)

Towards an Ontology for the Foundations of Software Languages
by: Lämmel, Ralf
Published: (2026)

Towards an Ontology for Scenario Definition for the Assessment of Automated Vehicles: An Object-Oriented Framework
by: de Gelder, E., et al.
Published: (2020)

Logic Mining from Process Logs: Towards Automated Specification and Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

Understanding Collective Social Behavior in OSS Communities: A Co-editing Network Analysis of Activity Cascades
by: Qarkaxhija, Lisi, et al.
Published: (2025)

Natural Language Processing for Requirements Traceability
by: Guo, Jin L. C., et al.
Published: (2024)

Understanding Automated Program Repair Agents Through the Lens of Traceability: An Empirical Study
by: Ceka, Ira, et al.
Published: (2025)

Introducing Traceability in GitHub for Medical Software Development
by: Stirbu, Vlad, et al.
Published: (2021)

Taxonomic Trace Links: Rethinking Traceability and its Benefits
by: Abdeen, Waleed, et al.
Published: (2025)

Quality Requirements for Code: On the Untapped Potential in Maintainability Specifications
by: Borg, Markus
Published: (2024)

Identifikation auslösender Umstände von SOTIF-Gefährdungen durch systemtheoretische Prozessanalyse
by: Graubohm, Robert, et al.
Published: (2024)

Specification Vibing for Automated Program Repair
by: Zhu, Taohong, et al.
Published: (2026)

Towards Using Behavior Trees in Industrial Automation Controllers
by: Sidorenko, Aleksandr, et al.
Published: (2024)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
by: Tagliaferro, Alberto, et al.
Published: (2026)

Auxiliary Artifacts in Requirements Traceability: A Systematic Mapping Study
by: Abdeen, Waleed, et al.
Published: (2025)

Classifier or Prompt: A Case Study on Legal Requirements Traceability
by: Etezadi, Romina, et al.
Published: (2025)

A Minimal Executable Proof for Multi-Language Contract Traceability
by: Kasselman, Werner
Published: (2026)

Leveraging Graph-RAG and Prompt Engineering to Enhance LLM-Based Automated Requirement Traceability and Compliance Checks
by: Masoudifard, Arsalan, et al.
Published: (2024)

Who's Who? LLM-assisted Software Traceability with Architecture Entity Recognition
by: Fuchß, Dominik, et al.
Published: (2025)

ReqToCode: Embedding Requirements Traceability as a Structural Property of the Codebase
by: Schlathölter, Thorsten
Published: (2026)

Automated Validation of Insurance Applications against Calculation Specifications
by: Datar, Advaita, et al.
Published: (2022)

Approaching Current Challenges in Developing a Software Stack for Fully Autonomous Driving
by: Sagmeister, Simon, et al.
Published: (2025)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
by: Abreu, Francisco, et al.
Published: (2025)

Establishing Traceability Links between Release Notes & Software Artifacts: Practitioners' Perspectives
by: Nath, Sristy Sumana, et al.
Published: (2025)

SoK: Systematizing Software Artifacts Traceability via Associations, Techniques, and Applications
by: Chen, Zhifei, et al.
Published: (2026)

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications
by: Sridhar, Chandrasekar, et al.
Published: (2025)

Treating Run-time Execution History as a First-Class Citizen: Co-Versioning Run-time Behavior alongside Code
by: Kessel, Marcus
Published: (2026)

STADA: Specification-based Testing for Autonomous Driving Agents
by: Saha, Joy, et al.
Published: (2026)

Automated LTL Specification Generation from Industrial Aerospace Requirements
by: Ma, Zhi, et al.
Published: (2026)