Xinwei Fang

33 papers A* 5A 4B 1Journal 14Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
CLEAR: Spatial-Temporal Traffic Data Representation Learning for Traffic Prediction.
IEEE Trans. Knowl. Data Eng.
James Jianqiao Yu, Xinwei Fang, Shiyao Zhang, Yuxin Ma
2025 J jnl
Exploiting the Uncertainty of the Longest Paths: Response Time Analysis for Probabilistic DAG Tasks.
CoRR
Yiyang Gao, Shuai Zhao, Boyang Li, Xinwei Fang, Zhiyang Lin, Zhe Jiang, Nan Guan
2025 A conf
From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification.
ICCAD
Junhao Ye, Yuchen Hu, Ke Xu, Dingrong Pan, Qichun Chen, Jie Zhou, Shuai Zhao, Xinwei Fang, Xi Wang, Nan Guan, Zhe Jiang
2025 J jnl
From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification.
CoRR
Junhao Ye, Yuchen Hu, Ke Xu, Dingrong Pan, Qichun Chen, Jie Zhou, Shuai Zhao, Xinwei Fang, Xi Wang, Nan Guan, Zhe Jiang
2025 A* conf
Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design.
DAC
Jie Zhou, Youshu Ji, Ning Wang, Yuchen Hu, Xinyao Jiao, Bingkun Yao, Xinwei Fang, Shuai Zhao, Nan Guan, Zhe Jiang
2025 A* conf
Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design.
DAC
Jie Zhou, Youshu Ji, Ning Wang, Yuchen Hu, Xinyao Jiao, Bingkun Yao, Xinwei Fang, Shuai Zhao, Nan Guan, Zhe Jiang
2025 J jnl
Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design.
CoRR
Jie Zhou, Youshu Ji, Ning Wang, Yuchen Hu, Xinyao Jiao, Bingkun Yao, Xinwei Fang, Shuai Zhao, Nan Guan, Zhe Jiang
2025 J jnl
Integration and innovation of blockchain in Web3.0: current status and standardization prospects.
World Wide Web (WWW)
Xiangjuan Jia, Xinwei Fang, Zhang Yijie, Yuan Heng, Xiaofeng Chen, Ge Wenfei, Weinan Liu, Fanglei Huang
2025 A conf
Response Time Analysis for Probabilistic Dag Tasks in Multicore Real-Time Systems.
RTSS
Shuai Zhao, Yiyang Gao, Zhiyang Lin, Boyang Li, Xinwei Fang, Zhe Jiang, Nan Guan
2025 A* conf
UVLLM: An Automated Universal RTL Verification Framework using LLMs.
DAC
Yuchen Hu, Junhao Ye, Ke Xu, Jialin Sun, Shiyue Zhang, Xinyao Jiao, Dingrong Pan, Jie Zhou, Ning Wang, Weiwei Shan, Xinwei Fang, Xi Wang, Nan Guan, Zhe Jiang
2024 — conf
A Structure-Aware DAG Scheduling and Allocation on Heterogeneous Multicore Systems.
SIES
Yiyang Gao, Huixuan Yi, Haoran Chen, Xinwei Fang, Shuai Zhao
2024 A conf
MEIC: Re-thinking RTL Debug Automation using LLMs.
ICCAD
Ke Xu, Jialin Sun, Yuchen Hu, Xinwei Fang, Weiwei Shan, Xi Wang, Zhe Jiang
2024 J jnl
MEIC: Re-thinking RTL Debug Automation using LLMs.
CoRR
Ke Xu, Jialin Sun, Yuchen Hu, Xinwei Fang, Weiwei Shan, Xi Wang, Zhe Jiang
2024 — conf
Make Each Iteration Count.
ACM TUR-C
Yuchen Hu, Ke Xu, Jialin Sun, Xinwei Fang, Weiwei Shan, Xi Wang, Zhe Jiang
2024 J jnl
Predicting Nonfunctional Requirement Violations in Autonomous Systems.
ACM Trans. Auton. Adapt. Syst.
Xinwei Fang, Sinem Getir Yaman, Radu Calinescu, Julie Wilson, Colin Paterson
2024 J jnl
UVLLM: An Automated Universal RTL Verification Framework using LLMs.
CoRR
Yuchen Hu, Junhao Ye, Ke Xu, Jialin Sun, Shiyue Zhang, Xinyao Jiao, Dingrong Pan, Jie Zhou, Ning Wang, Weiwei Shan, Xinwei Fang, Xi Wang, Nan Guan, Zhe Jiang
2024 — conf
Weather Impact on DER Long-term Performance: A Formal Verification Approach.
ISGT Asia
Misael Alpizar Santana, Ioannis Stefanakos, Xinwei Fang, Ankita Garg, Hongjian Sun, Ashraf Osman
2023 — conf
Data Governance: Status, Technologies, Applications and Development Trends.
DSC
Haiyang Zhu, Xiaofeng Chen, Suyan Li, Yejin Wang, Xinwei Fang, Minfeng Zhu
2023 J jnl
Fast Parametric Model Checking With Applications to Software Performability Analysis.
IEEE Trans. Software Eng.
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
2022 J jnl
Fast Parametric Model Checking.
CoRR
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
2022 A conf
PRESTO: Predicting System-level Disruptions through Parametric Model Checking.
SEAMS
Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson
2022 J jnl
PRESTO: Predicting System-level Disruptions through Parametric Model Checking.
CoRR
Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson
2021 J jnl
Characterizing Spatial Patterns of Pine Wood Nematode Outbreaks in Subtropical Zone in China.
Remote. Sens.
Yahao Zhang, Yuanyong Dian, Jingjing Zhou, Shoulian Peng, Yue Hu, Lei Hu, Zemin Han, Xinwei Fang, Hongxia Cui
2021 A* conf
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies.
ASE
Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang
2021 A* conf
Fast Parametric Model Checking through Model Fragmentation.
ICSE
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
2021 J jnl
Fast Parametric Model Checking through Model Fragmentation.
CoRR
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
2020 — conf
Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-Cost Environmental Sensors.
SmartCity360°
Xinwei Fang, Iain Bate, David Griffin
2019 — conf
Three Reasons Why: Framing the Challenges of Assuring AI.
SAFECOMP Workshops
Xinwei Fang, Nikita Johnson
2018 — —
Improving data quality for low-cost environmental sensors.
Xinwei Fang
2017 — conf
Issues of using wireless sensor network to monitor urban air quality.
FAILSAFE@SenSys
Xinwei Fang, Iain Bate
2017 B conf
Using Multi-parameters for Calibration of Low-cost Sensors in Urban Environment.
EWSN
Xinwei Fang, Iain Bate
2016 J jnl
内容中心网络中基于节点相似度的协作缓存算法 (Collaborative Caching Algorithm Based on Node Similarity in Content Centric Networking).
计算机科学
Xinwei Fang, Shuqiao Chen, Zerong Ren, Yiming Jiang
2012 — conf
Spectral Angle Sensitive Forest: A solution for fast hyperspectral matching.
WHISPERS
Yuan Zhou, Shenghui Fang, Xinwei Fang