Saved in:
| Main Authors: | Wu, Hui, Wang, Xiaoyang, Fan, Zhong |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2605.31478 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
by: Zuo, Jian, et al.
Published: (2025)
by: Zuo, Jian, et al.
Published: (2025)
Code Fingerprints: Disentangled Attribution of LLM-Generated Code
by: Guo, Jiaxun, et al.
Published: (2026)
by: Guo, Jiaxun, et al.
Published: (2026)
On Simulation of Power Systems and Microgrid Components with SystemC-AMS
by: Bhadani, Rahul, et al.
Published: (2024)
by: Bhadani, Rahul, et al.
Published: (2024)
Semantic Technologies in Practical Demand Response: An Informational Requirement-based Roadmap
by: Mulayim, Ozan Baris, et al.
Published: (2025)
by: Mulayim, Ozan Baris, et al.
Published: (2025)
Automation Configuration in Smart Home Systems: Challenges and Opportunities
by: Anik, Sheik Murad Hassan, et al.
Published: (2024)
by: Anik, Sheik Murad Hassan, et al.
Published: (2024)
Directed Testing of ORAN using a Partially Specified Declarative Digital Twin
by: Gatherer, Alan, et al.
Published: (2024)
by: Gatherer, Alan, et al.
Published: (2024)
Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
by: Jayasuriya, Dinithi, et al.
Published: (2026)
by: Jayasuriya, Dinithi, et al.
Published: (2026)
ResearchCodeAgent: An LLM Multi-Agent System for Automated Codification of Research Methodologies
by: Gandhi, Shubham, et al.
Published: (2025)
by: Gandhi, Shubham, et al.
Published: (2025)
ProOPF: Benchmarking and Improving LLMs for Professional-Grade Power Systems Optimization Modeling
by: Shen, Chao, et al.
Published: (2026)
by: Shen, Chao, et al.
Published: (2026)
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
by: Dzafic, Izudin, et al.
Published: (2025)
by: Dzafic, Izudin, et al.
Published: (2025)
Streamlined Airborne Software Development for Large UAVs: From Unified Data Collection to Automated Code Generation
by: Sinitsyn, Viktor, et al.
Published: (2025)
by: Sinitsyn, Viktor, et al.
Published: (2025)
Evaluating and Achieving Controllable Code Completion in Code LLM
by: Zhang, Jiajun, et al.
Published: (2026)
by: Zhang, Jiajun, et al.
Published: (2026)
Reasonable Experiments in Model-Based Systems Engineering
by: Cederbladh, Johan, et al.
Published: (2025)
by: Cederbladh, Johan, et al.
Published: (2025)
Circular Systems Engineering
by: David, Istvan, et al.
Published: (2023)
by: David, Istvan, et al.
Published: (2023)
Emergence-as-Code for Self-Governing Reliable Systems
by: Krasnovsky, Anatoly A.
Published: (2026)
by: Krasnovsky, Anatoly A.
Published: (2026)
Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
by: Wan, Hanlong, et al.
Published: (2025)
by: Wan, Hanlong, et al.
Published: (2025)
Showing LLM-Generated Code Selectively Based on Confidence of LLMs
by: Li, Jia, et al.
Published: (2024)
by: Li, Jia, et al.
Published: (2024)
Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
by: Parkash, Om, et al.
Published: (2026)
by: Parkash, Om, et al.
Published: (2026)
ReDel: A Toolkit for LLM-Powered Recursive Multi-Agent Systems
by: Zhu, Andrew, et al.
Published: (2024)
by: Zhu, Andrew, et al.
Published: (2024)
LLM-Assisted Semantic Alignment and Integration in Collaborative Model-Based Systems Engineering Using SysML v2
by: Li, Zirui, et al.
Published: (2025)
by: Li, Zirui, et al.
Published: (2025)
LLM-Powered Fully Automated Chaos Engineering: Towards Enabling Anyone to Build Resilient Software Systems at Low Cost
by: Kikuta, Daisuke, et al.
Published: (2025)
by: Kikuta, Daisuke, et al.
Published: (2025)
BootstrapAgent: Distilling Repository Setup into Reusable Agent Knowledge
by: Fu, Sihan, et al.
Published: (2026)
by: Fu, Sihan, et al.
Published: (2026)
LocAgent: Graph-Guided LLM Agents for Code Localization
by: Chen, Zhaoling, et al.
Published: (2025)
by: Chen, Zhaoling, et al.
Published: (2025)
Grid-Orch: An LLM-Powered Orchestrator for Distribution Grid Simulation and Analytics
by: Liu, Boming, et al.
Published: (2026)
by: Liu, Boming, et al.
Published: (2026)
Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling
by: Casadei, Roberto
Published: (2022)
by: Casadei, Roberto
Published: (2022)
A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
by: Alexopoulos, Angelos, et al.
Published: (2025)
by: Alexopoulos, Angelos, et al.
Published: (2025)
A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
by: Adam, Mustafa, et al.
Published: (2025)
by: Adam, Mustafa, et al.
Published: (2025)
Towards Comprehensive Legislative Requirements for Cyber Physical Systems Testing in the European Union
by: Nguyen, Guillaume, et al.
Published: (2024)
by: Nguyen, Guillaume, et al.
Published: (2024)
Work in Progress: AI-Powered Engineering-Bridging Theory and Practice
by: Levy, Oz, et al.
Published: (2025)
by: Levy, Oz, 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)
by: Patel, Milin, et al.
Published: (2025)
Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
by: A., Gustavo Quiros, et al.
Published: (2025)
by: A., Gustavo Quiros, et al.
Published: (2025)
Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generation
by: Chen, Jingchang, et al.
Published: (2024)
by: Chen, Jingchang, et al.
Published: (2024)
KCoEvo: A Knowledge Graph Augmented Framework for Evolutionary Code Generation
by: Kang, Jiazhen, et al.
Published: (2026)
by: Kang, Jiazhen, et al.
Published: (2026)
Extending Resource Constrained Project Scheduling to Mega-Projects with Model-Based Systems Engineering & Hetero-functional Graph Theory
by: Hosseini, Amirreza, et al.
Published: (2025)
by: Hosseini, Amirreza, et al.
Published: (2025)
ProbeLLM: Automating Principled Diagnosis of LLM Failures
by: Huang, Yue, et al.
Published: (2026)
by: Huang, Yue, et al.
Published: (2026)
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
by: Zhang, Changjian, et al.
Published: (2023)
by: Zhang, Changjian, et al.
Published: (2023)
Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
by: Chu, Simon, et al.
Published: (2024)
by: Chu, Simon, et al.
Published: (2024)
CorrectHDL: Agentic HDL Design with LLMs Leveraging High-Level Synthesis as Reference
by: Xu, Kangwei, et al.
Published: (2025)
by: Xu, Kangwei, et al.
Published: (2025)
Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0
by: Hendriks, Dennis, et al.
Published: (2025)
by: Hendriks, Dennis, et al.
Published: (2025)
VersiCode: Towards Version-controllable Code Generation
by: Wu, Tongtong, et al.
Published: (2024)
by: Wu, Tongtong, et al.
Published: (2024)
Similar Items
-
ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
by: Zuo, Jian, et al.
Published: (2025) -
Code Fingerprints: Disentangled Attribution of LLM-Generated Code
by: Guo, Jiaxun, et al.
Published: (2026) -
On Simulation of Power Systems and Microgrid Components with SystemC-AMS
by: Bhadani, Rahul, et al.
Published: (2024) -
Semantic Technologies in Practical Demand Response: An Informational Requirement-based Roadmap
by: Mulayim, Ozan Baris, et al.
Published: (2025) -
Automation Configuration in Smart Home Systems: Challenges and Opportunities
by: Anik, Sheik Murad Hassan, et al.
Published: (2024)