Supporting Industrial Test-Failure Analysis with LLM-Based Systems: An Experience Report
研究利用LLM系统辅助工业夜间测试失败的根因分析，通过单代理和多代理配置实现RCA流程，评估表明单代理系统在成本和速度上更优。
0 citationsRead paper
Selected work
Representative Papers
Helpful but Fallible: Developer Experiences of AI Tools Under a Coordinated Industrial Roll-out
研究通过半结构化访谈和TAM2模型分析了AI开发工具在一家瑞典电信公司的推广情况，探讨了开发者体验及对未来职业变化的看法。
0 citationsRead paper
Behavioral Analysis of Timed Actors using Syntactic Slice Equivalence
本文提出了一种静态分析方法，通过比较Rebeca依赖图的后向切片来判断定时行为模型是否可以重用，从而避免了重新生成模型的高成本。
0 citationsRead paper
Generative AI for trustworthy systems - Towards a health check model
本文提出一种多维度的健康检查模型，以解决生成式AI在软件系统中应用时的信任问题，通过八个实证维度和四种信任范式来帮助组织建立信任。
0 citationsRead paper
Task-Oriented Semantic Communication for Hazard Warning and Remote Operation in Connected Vehicle Platoons
论文提出一种基于语义和任务导向的通信框架，利用SD-VAE压缩并传输任务相关危险信息，以解决车联网中带宽限制下的可靠信息传播问题。
0 citationsRead paper
Recent publications
Latest Papers
Supporting Industrial Test-Failure Analysis with LLM-Based Systems: An Experience Report
研究利用LLM系统辅助工业夜间测试失败的根因分析，通过单代理和多代理配置实现RCA流程，评估表明单代理系统在成本和速度上更优。
0 citationsRead paper
Helpful but Fallible: Developer Experiences of AI Tools Under a Coordinated Industrial Roll-out
研究通过半结构化访谈和TAM2模型分析了AI开发工具在一家瑞典电信公司的推广情况，探讨了开发者体验及对未来职业变化的看法。
0 citationsRead paper
Behavioral Analysis of Timed Actors using Syntactic Slice Equivalence
本文提出了一种静态分析方法，通过比较Rebeca依赖图的后向切片来判断定时行为模型是否可以重用，从而避免了重新生成模型的高成本。
0 citationsRead paper
Generative AI for trustworthy systems - Towards a health check model
本文提出一种多维度的健康检查模型，以解决生成式AI在软件系统中应用时的信任问题，通过八个实证维度和四种信任范式来帮助组织建立信任。
0 citationsRead paper
Task-Oriented Semantic Communication for Hazard Warning and Remote Operation in Connected Vehicle Platoons
论文提出一种基于语义和任务导向的通信框架，利用SD-VAE压缩并传输任务相关危险信息，以解决车联网中带宽限制下的可靠信息传播问题。
0 citationsRead paper