:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Nouri, Ali, Berger, Christian, Torner, Fredrik
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Systems and Control
Online Access:	https://arxiv.org/abs/2403.09474
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On STPA for Distributed Development of Safe Autonomous Driving: An Interview Study
by: Nouri, Ali, et al.
Published: (2024)

The DevSafeOps Dilemma: A Systematic Literature Review on Rapidity in Safe Autonomous Driving Development and Operation
by: Nouri, Ali, et al.
Published: (2025)

Welcome Your New AI Teammate: On Safety Analysis by Leashing Large Language Models
by: Nouri, Ali, et al.
Published: (2024)

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

Ladder Logic Translation using Large Language Models in Industrial Automation
by: Ogundare, Oluwatosin, et al.
Published: (2026)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
by: Foster, Simon, et al.
Published: (2020)

Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling
by: Goffi, Pierre-Emmanuel, et al.
Published: (2025)

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

Remote Assistance or Remote Driving: The Impact of Operational Design Domains on ADS-Supporting Systems Selection
by: Hans, Ole, et al.
Published: (2025)

Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
by: Patel, Milin, et al.
Published: (2025)

APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems
by: Zacchi, João-Vitor, et al.
Published: (2025)

Automation Configuration in Smart Home Systems: Challenges and Opportunities
by: Anik, Sheik Murad Hassan, et al.
Published: (2024)

Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels
by: Isaku, Erblin, et al.
Published: (2025)

The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
by: Abbaspour, Alireza, et al.
Published: (2026)

Fast and Realistic Automated Scenario Simulations and Reporting for an Autonomous Racing Stack
by: Lambertini, Giovanni, et al.
Published: (2025)

IndustriConnect: MCP Adapters and Mock-First Evaluation for AI-Assisted Industrial Operations
by: Xavier, Melwin, et al.
Published: (2026)

Continuous Evolution of Digital Twins using the DarTwin Notation
by: Mertens, Joost, et al.
Published: (2024)

ForzaETH Race Stack -- Scaled Autonomous Head-to-Head Racing on Fully Commercial off-the-Shelf Hardware
by: Baumann, Nicolas, et al.
Published: (2024)

Learning Responsibility-Attributed Adversarial Scenarios for Testing Autonomous Vehicles
by: Xiao, Yizhuo, et al.
Published: (2026)

PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator
by: Tehrani, Masoud Jamshidiyan, et al.
Published: (2025)

NanoCockpit: Performance-optimized Application Framework for AI-based Autonomous Nanorobotics
by: Cereda, Elia, et al.
Published: (2026)

LEADS: Lightweight Embedded Assisted Driving System
by: Fu, Tianhao, et al.
Published: (2024)

A Modifiable Architectural Design for Commercial Greenhouses Energy Economic Dispatch Testbed
by: Clausen, Christian Skafte Beck, et al.
Published: (2024)

An Ontology-based Approach Towards Traceable Behavior Specifications in Automated Driving
by: Salem, Nayel Fabian, et al.
Published: (2024)

SAFLITE: Fuzzing Autonomous Systems via Large Language Models
by: Zhu, Taohong, et al.
Published: (2024)

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
by: Dzafic, Izudin, et al.
Published: (2025)

From Research to Practice: An Interactive Rapid Review of Autonomous Driving System Testing in Industry
by: Song, Qunying, et al.
Published: (2026)

Quantitative Monitoring of Signal First-Order Logic
by: Chalupa, Marek, et al.
Published: (2026)

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
by: Gleirscher, Mario, et al.
Published: (2017)

Few-Shot Scenario Testing for Autonomous Vehicles Based on Neighborhood Coverage and Similarity
by: Li, Shu, et al.
Published: (2024)

DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting
by: Fiter, Kérian, et al.
Published: (2025)

On Simulation-Guided LLM-based Code Generation for Safe Autonomous Driving Software
by: Nouri, Ali, et al.
Published: (2025)

RE for AI in Practice: Managing Data Annotation Requirements for AI Autonomous Driving Systems
by: Saeeda, Hina, et al.
Published: (2025)

Digital requirements engineering with an INCOSE-derived SysML meta-model
by: Wheaton, James S., et al.
Published: (2024)

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems
by: Deantoni, Julien, et al.
Published: (2024)

Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules
by: Sidorenko, Aleksandr, et al.
Published: (2024)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
by: Mandrioli, Claudio, et al.
Published: (2024)

COOCK project Smart Port 2025 D3.1: "To Twin Or Not To Twin"
by: Paredis, Randy, et al.
Published: (2024)

A SysML Profile for the Standardized Description of Processes during System Development
by: Beers, Lasse, et al.
Published: (2024)

Cyber-physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers
by: Van Kenhove, Michiel, et al.
Published: (2024)