:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Skoglund, Martin, Warg, Fredrik, Thorsén, Anders, Punnekkat, Sasikumar, Hansson, Hans
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	https://arxiv.org/abs/2509.02221
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Methodology for Test Case Allocation based on a Formalized ODD
von: Skoglund, Martin, et al.
Veröffentlicht: (2025)

AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation
von: Skoglund, Martin, et al.
Veröffentlicht: (2025)

A Data Annotation Requirements Representation and Specification (DARS)
von: Peng, Yi, et al.
Veröffentlicht: (2025)

Software Engineering as a Domain to Formalize
von: Meyer, Bertrand
Veröffentlicht: (2025)

An Agile Formal Specification Language Design Based on K Framework
von: Zhang, Jianyu, et al.
Veröffentlicht: (2024)

BUMP: A Benchmark of Reproducible Breaking Dependency Updates
von: Reyes, Frank, et al.
Veröffentlicht: (2024)

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

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
von: Rafie, Bassel, et al.
Veröffentlicht: (2025)

Enhancing Uncertainty Quantification for Runtime Safety Assurance Using Causal Risk Analysis and Operational Design Domain
von: Bouchekir, Radouane, et al.
Veröffentlicht: (2025)

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

Cybersecurity Pathways Towards CE-Certified Autonomous Forestry Machines
von: Mohamad, Mazen, et al.
Veröffentlicht: (2024)

Can Large Language Models Model Programs Formally?
von: Chen, Zhiyong, et al.
Veröffentlicht: (2026)

FLAT: Formal Languages as Types
von: Zhu, Fengmin, et al.
Veröffentlicht: (2025)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
von: Wang, Weiqi, et al.
Veröffentlicht: (2025)

Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)
von: Bombarda, Andrea, et al.
Veröffentlicht: (2026)

Design and Implementation of a Domain-specific Language for Modelling Evacuation Scenarios Using Eclipse EMG/GMF Tool
von: Banerjee, Heerok
Veröffentlicht: (2025)

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
von: Alhanahnah, Mohannad, et al.
Veröffentlicht: (2024)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
von: Ma, Lezhi, et al.
Veröffentlicht: (2024)

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement
von: Kobayashi, Tsutomu, et al.
Veröffentlicht: (2024)

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
von: Sevenhuijsen, Merlijn, et al.
Veröffentlicht: (2024)

Formal Synthesis of Uncertainty Reduction Controllers
von: Carwehl, Marc, et al.
Veröffentlicht: (2024)

Responsible Composition and Optimization of Integration Processes under Correctness Preserving Guarantees
von: Ritter, Daniel, et al.
Veröffentlicht: (2023)

GluPredKit: Development and User Evaluation of a Standardization Software for Blood Glucose Prediction
von: Wolff, Miriam K., et al.
Veröffentlicht: (2024)

Domain-Driven Design Representation of Monolith Candidate Decompositions Based on Entity Accesses
von: Levezinho, Miguel, et al.
Veröffentlicht: (2024)

From a Natural to a Formal Language with DSL Assistant
von: Mosthaf, My M., et al.
Veröffentlicht: (2024)

Empowering AIOps: Leveraging Large Language Models for IT Operations Management
von: Vitui, Arthur, et al.
Veröffentlicht: (2025)

Formally Verified Binary-level Pointer Analysis
von: Verbeek, Freek, et al.
Veröffentlicht: (2025)

Towards a DSL to Formalize Multimodal Requirements
von: Gomez-Vazquez, Marcos, et al.
Veröffentlicht: (2025)

Towards Bridging Formal Methods and Human Interpretability
von: Paul, Abhijit, et al.
Veröffentlicht: (2025)

Formal Verification of Consistency for Systems with Redundant Controllers
von: Johansson, Bjarne, et al.
Veröffentlicht: (2024)

What's Coming Next? Short-Term Simulation of Business Processes from Current State
von: Avramenko, Maksym, et al.
Veröffentlicht: (2025)

On the Effectiveness of Large Language Models in Domain-Specific Code Generation
von: Gu, Xiaodong, et al.
Veröffentlicht: (2023)

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

Formalizing Regression Testing for Agile and Continuous Integration Environments
von: Das, Suddhasvatta, et al.
Veröffentlicht: (2025)

ProofWright: Towards Agentic Formal Verification of CUDA
von: Chatterjee, Bodhisatwa, et al.
Veröffentlicht: (2025)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
von: Ma, Zhi, et al.
Veröffentlicht: (2025)

POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference
von: Zhang, Gehao, et al.
Veröffentlicht: (2026)

Automated Repair of AI Code with Large Language Models and Formal Verification
von: Charalambous, Yiannis, et al.
Veröffentlicht: (2024)

Understanding Large Language Model Supply Chain: Structure, Domain, and Vulnerabilities
von: Hu, Yanzhe, et al.
Veröffentlicht: (2025)

RAGOps: Operating and Managing Retrieval-Augmented Generation Pipelines
von: Xu, Xiwei, et al.
Veröffentlicht: (2025)