王皙｜上海大学｜学者主页

期刊论文

2025

Safety-Critical Scenario Generation for Self-Driving Systems Based on Domain Models

Jinru Wang, Xi Wang

International Conference on Algorithms, Software Engineering and Network Security (ASENS)

DOI

2025

OntoSce: Domain-Oriented FTA Analysis for Generating Safety-Critical Scenarios

Jinru Wang, Xi Wang

International Conference on Software Engineering and Computer Science (CSECS)

DOI

2020

科研主导下的全英文在线教学——以“软件工程”课程为例

王皙

《中国信息技术教育》

2018

日常教学数据分析与可视化方法——以“程序设计方法学”课程为例

刘悦，蔡飞，陈怡海，王皙，张博锋

《中国信息技术教育》

2017

基于概率模型检验的Web服务系统可靠性分析

高洪皓，开金宇，周家安，缪淮扣，黄婉秋，王皙

《东南大学学报(自然科学版)》

2017

Automated Safety Analysis on Scenario-Based Requirements for Train Control System

Xi Wang, Huaikou Miao, Weikai Miao

Lecture notes in computer science

DOI

2016

An Evolutionary Method for the Formal Specification Construction of Service-Based Software

Weikai Miao, Xi Wang

International Journal of Software Engineering and Knowledge Engineering

DOI

2011

基于场景的形式化测试模型生成方法

黄龙，缪淮扣，王皙，郭亮

《上海大学学报(自然科学版)》

2009

UML模型到FSM模型的转换

郭亮，缪淮扣，王皙，陈圣波

《计算机科学》

2008

Towards Automatic Transformation from UML Model to FSM Model for Web Applications

Xi Wang, Huaikou Miao, Liang Guo

Journal of Software Engineering and Applications

DOI

预印本

2026

SeqFeed: Improving Agentic RTL Code Generation with Sequential Behavior Feedback

Yuxin Du, Juxin Niu, Tao Hu, Xi Wang, Zhe Jiang, Nan Guan

arXiv preprint

2026

ZK-Tracer: A High-Performance Heterogeneous Accelerator for Zero-Knowledge VM Trace Generation

Jieran Cui, Zhengkai Wen, Haowen Fang, Yinan Zhu, Jia Xiong, Cheng Ni, Mingchi Zhang, Nan Guan, Xi Wang

arXiv preprint

DOI

2026

ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs

Lik Tung Fu, Jie Zhou, Shaokai Ren, Mengli Zhang, Jia Xiong, Hugo Jiang, Nan Guan, Xi Wang, Jun Yang

arXiv preprint

DOI

2026

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation

Yifan Zhang, Jianmin Ye, Jiahao Yang, Xi Wang

arXiv preprint

2026

UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification

Junhao Ye, Dingrong Pan, Hanyuan Liu, Yuchen Hu, Jie Zhou, Ke Xu, Xinwei Fang, Xi Wang, Nan Guan, Zhe Jiang

arXiv preprint

2026

Agentic Nesting: A New Methodology for Existing Enterprise Application Integration and Services

Xi Wang, Kun Li, Xianyao Ling, Gang Yin, Liang Zhang, Jiang Wu, Wenbo Lei, Jun Xu, Annie Wang, Fu Zhang, Weizhe Wang

arXiv preprint

2025

From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification

Junhao Ye, Yuchen Hu, Ke Xu, Dingrong Pan, Qichun Chen, Jie Zhou, Shuai Zhao, Xinwei Fang, Xi Wang, Nan Guan, Zhe Jiang

arXiv preprint

DOI

2025

LLM and Agent-Driven Data Analysis: A Systematic Approach for Enterprise Applications and System-level Deployment

Xi Wang, Xianyao Ling, Kun Li, Gang Yin, Liang Zhang, Jiang Wu, Annie Wang, Weizhe Wang

arXiv preprint

2024

MEIC: Re-thinking RTL Debug Automation using LLMs

Ke Xu, Jialin Sun, Yuchen Hu, Xinwei Fang, Weiwei Shan, Xi Wang, Zhe Jiang

arXiv preprint

王皙

精选作品

期刊论文

Safety-Critical Scenario Generation for Self-Driving Systems Based on Domain Models

OntoSce: Domain-Oriented FTA Analysis for Generating Safety-Critical Scenarios

科研主导下的全英文在线教学——以“软件工程”课程为例

日常教学数据分析与可视化方法——以“程序设计方法学”课程为例

基于概率模型检验的Web服务系统可靠性分析

Automated Safety Analysis on Scenario-Based Requirements for Train Control System

An Evolutionary Method for the Formal Specification Construction of Service-Based Software

基于场景的形式化测试模型生成方法

UML模型到FSM模型的转换

Towards Automatic Transformation from UML Model to FSM Model for Web Applications

预印本

SeqFeed: Improving Agentic RTL Code Generation with Sequential Behavior Feedback

ZK-Tracer: A High-Performance Heterogeneous Accelerator for Zero-Knowledge VM Trace Generation

ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation

UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification

Agentic Nesting: A New Methodology for Existing Enterprise Application Integration and Services

From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification

LLM and Agent-Driven Data Analysis: A Systematic Approach for Enterprise Applications and System-level Deployment

MEIC: Re-thinking RTL Debug Automation using LLMs

研究方向