Xinwei Fang

According to our database, Xinwei Fang authored at least 17 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Predicting Nonfunctional Requirement Violations in Autonomous Systems.

Xinwei Fang, Sinem Getir Yaman, Radu Calinescu, Julie Wilson, Colin Paterson

ACM Trans. Auton. Adapt. Syst., March, 2024

MEIC: Re-thinking RTL Debug Automation using LLMs.

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

CoRR, 2024

Make Each Iteration Count.

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

Proceedings of the ACM Turing Award Celebration Conference 2024, 2024

2023

Fast Parametric Model Checking With Applications to Software Performability Analysis.

Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem

IEEE Trans. Software Eng., October, 2023

Data Governance: Status, Technologies, Applications and Development Trends.

Haiyang Zhu, Xiaofeng Chen, Suyan Li, Yejin Wang, Xinwei Fang, Minfeng Zhu

Proceedings of the 8th International Conference on Data Science in Cyberspace, 2023

2022

Fast Parametric Model Checking.

Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem

CoRR, 2022

PRESTO: Predicting System-level Disruptions through Parametric Model Checking.

Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson

Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

2021

Characterizing Spatial Patterns of Pine Wood Nematode Outbreaks in Subtropical Zone in China.

Yahao Zhang, Yuanyong Dian, Jingjing Zhou, Shoulian Peng, Yue Hu, Lei Hu, Zemin Han, Xinwei Fang, Hongxia Cui

Remote. Sens., 2021

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies.

Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Fast Parametric Model Checking through Model Fragmentation.

Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-Cost Environmental Sensors.

Xinwei Fang, Iain Bate, David Griffin

Proceedings of the Science and Technologies for Smart Cities, 2020

2019

Three Reasons Why: Framing the Challenges of Assuring AI.

Xinwei Fang, Nikita Johnson

Proceedings of the Computer Safety, Reliability, and Security, 2019

2018

Improving data quality for low-cost environmental sensors.

Xinwei Fang

PhD thesis, 2018

2017

Issues of using wireless sensor network to monitor urban air quality.

Xinwei Fang, Iain Bate

Proceedings of the First ACM International Workshop on the Engineering of Reliable, 2017

Using Multi-parameters for Calibration of Low-cost Sensors in Urban Environment.

Xinwei Fang, Iain Bate

Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, 2017

2016

内容中心网络中基于节点相似度的协作缓存算法 (Collaborative Caching Algorithm Based on Node Similarity in Content Centric Networking).

Xinwei Fang, Shuqiao Chen, Zerong Ren, Yiming Jiang

计算机科学, 2016

2012

Spectral Angle Sensitive Forest: A solution for fast hyperspectral matching.

Yuan Zhou, Shenghui Fang, Xinwei Fang

Proceedings of the 4th Workshop on Hyperspectral Image and Signal Processing, 2012