:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Skoglund, Martin, Warg, Fredrik, Thorsén, Anders, Punnekkat, Sasikumar, Hansson, Hans
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2509.02221
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Methodology for Test Case Allocation based on a Formalized ODD
by: Skoglund, Martin, et al.
Published: (2025)

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

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

Software Engineering as a Domain to Formalize
by: Meyer, Bertrand
Published: (2025)

An Agile Formal Specification Language Design Based on K Framework
by: Zhang, Jianyu, et al.
Published: (2024)

BUMP: A Benchmark of Reproducible Breaking Dependency Updates
by: Reyes, Frank, et al.
Published: (2024)

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

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
by: Rafie, Bassel, et al.
Published: (2025)

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

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

Cybersecurity Pathways Towards CE-Certified Autonomous Forestry Machines
by: Mohamad, Mazen, et al.
Published: (2024)

Can Large Language Models Model Programs Formally?
by: Chen, Zhiyong, et al.
Published: (2026)

FLAT: Formal Languages as Types
by: Zhu, Fengmin, et al.
Published: (2025)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
by: Wang, Weiqi, et al.
Published: (2025)

Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)
by: Bombarda, Andrea, et al.
Published: (2026)

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

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

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
by: Ma, Lezhi, et al.
Published: (2024)

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

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
by: Sevenhuijsen, Merlijn, et al.
Published: (2024)

Formal Synthesis of Uncertainty Reduction Controllers
by: Carwehl, Marc, et al.
Published: (2024)

Responsible Composition and Optimization of Integration Processes under Correctness Preserving Guarantees
by: Ritter, Daniel, et al.
Published: (2023)

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

Domain-Driven Design Representation of Monolith Candidate Decompositions Based on Entity Accesses
by: Levezinho, Miguel, et al.
Published: (2024)

From a Natural to a Formal Language with DSL Assistant
by: Mosthaf, My M., et al.
Published: (2024)

Empowering AIOps: Leveraging Large Language Models for IT Operations Management
by: Vitui, Arthur, et al.
Published: (2025)

Formally Verified Binary-level Pointer Analysis
by: Verbeek, Freek, et al.
Published: (2025)

Towards a DSL to Formalize Multimodal Requirements
by: Gomez-Vazquez, Marcos, et al.
Published: (2025)

Towards Bridging Formal Methods and Human Interpretability
by: Paul, Abhijit, et al.
Published: (2025)

Formal Verification of Consistency for Systems with Redundant Controllers
by: Johansson, Bjarne, et al.
Published: (2024)

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

On the Effectiveness of Large Language Models in Domain-Specific Code Generation
by: Gu, Xiaodong, et al.
Published: (2023)

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

Formalizing Regression Testing for Agile and Continuous Integration Environments
by: Das, Suddhasvatta, et al.
Published: (2025)

ProofWright: Towards Agentic Formal Verification of CUDA
by: Chatterjee, Bodhisatwa, et al.
Published: (2025)

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

POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference
by: Zhang, Gehao, et al.
Published: (2026)

Automated Repair of AI Code with Large Language Models and Formal Verification
by: Charalambous, Yiannis, et al.
Published: (2024)

Understanding Large Language Model Supply Chain: Structure, Domain, and Vulnerabilities
by: Hu, Yanzhe, et al.
Published: (2025)

RAGOps: Operating and Managing Retrieval-Augmented Generation Pipelines
by: Xu, Xiwei, et al.
Published: (2025)