Xinwei Fang

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 17

Top Venues

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Xinwei Fang, Sinem Getir Yaman, Radu Calinescu, Julie Wilson, Colin Paterson
Predicting Nonfunctional Requirement Violations in Autonomous Systems. ACM Trans. Auton. Adapt. Syst. 19 (1) (2024)
Ke Xu, Jialin Sun, Yuchen Hu, Xinwei Fang, Weiwei Shan, Xi Wang, Zhe Jiang
MEIC: Re-thinking RTL Debug Automation using LLMs. CoRR (2024)
Yuchen Hu, Ke Xu, Jialin Sun, Xinwei Fang, Weiwei Shan, Xi Wang, Zhe Jiang
Make Each Iteration Count. ACM TUR-C (2024)
Haiyang Zhu, Xiaofeng Chen, Suyan Li, Yejin Wang, Xinwei Fang, Minfeng Zhu
Data Governance: Status, Technologies, Applications and Development Trends. DSC (2023)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking With Applications to Software Performability Analysis. IEEE Trans. Software Eng. 49 (10) (2023)
Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson
PRESTO: Predicting System-level Disruptions through Parametric Model Checking. CoRR (2022)
Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson
PRESTO: Predicting System-level Disruptions through Parametric Model Checking. SEAMS (2022)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking. CoRR (2022)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking through Model Fragmentation. ICSE (2021)
Yahao Zhang, Yuanyong Dian, Jingjing Zhou, Shoulian Peng, Yue Hu, Lei Hu, Zemin Han, Xinwei Fang, Hongxia Cui
Characterizing Spatial Patterns of Pine Wood Nematode Outbreaks in Subtropical Zone in China. Remote. Sens. 13 (22) (2021)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking through Model Fragmentation. CoRR (2021)
Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE (2021)
Xinwei Fang, Iain Bate, David Griffin
Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-Cost Environmental Sensors. SmartCity360° (2020)
Xinwei Fang, Nikita Johnson
Three Reasons Why: Framing the Challenges of Assuring AI. SAFECOMP Workshops (2019)
Xinwei Fang, Iain Bate
Using Multi-parameters for Calibration of Low-cost Sensors in Urban Environment. EWSN (2017)
Xinwei Fang, Iain Bate
Issues of using wireless sensor network to monitor urban air quality. FAILSAFE@SenSys (2017)
Xinwei Fang, Shuqiao Chen, Zerong Ren, Yiming Jiang
内容中心网络中基于节点相似度的协作缓存算法 (Collaborative Caching Algorithm Based on Node Similarity in Content Centric Networking). 计算机科学 43 (4) (2016)
Yuan Zhou, Shenghui Fang, Xinwei Fang
Spectral Angle Sensitive Forest: A solution for fast hyperspectral matching. WHISPERS (2012)

Xinwei Fang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xinwei Fang