Issues of using wireless sensor network to monitor urban air quality X Fang, I Bate Proceedings of the First ACM International Workshop on the Engineering of …, 2017 | 35 | 2017 |
Using multi-parameters for calibration of low-cost sensors in urban environment X Fang, I Bate networks 7, 33, 2017 | 29 | 2017 |
Fast parametric model checking through model fragmentation X Fang, R Calinescu, S Gerasimou, F Alhwikem 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 25 | 2021 |
Characterizing spatial patterns of pine wood nematode outbreaks in subtropical zone in China Y Zhang, Y Dian, J Zhou, S Peng, Y Hu, L Hu, Z Han, X Fang, H Cui Remote Sensing 13 (22), 4682, 2021 | 16 | 2021 |
Evolutionary-guided synthesis of verified pareto-optimal MDP policies S Gerasimou, J Cámara, R Calinescu, N Alasmari, F Alhwikem, X Fang 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 8 | 2021 |
An improved sensor calibration with anomaly detection and removal X Fang, I Bate Sensors and Actuators B: Chemical 307, 127428, 2020 | 7 | 2020 |
Improving data quality for low-cost environmental sensors X Fang University of York, 2018 | 7 | 2018 |
Detection of cars in mobile lidar point clouds G Li, X Fang, K Khoshelham, SO Elberink 2018 3rd IEEE International Conference on Intelligent Transportation …, 2018 | 4 | 2018 |
PRESTO: predicting system-level disruptions through parametric model checking X Fang, R Calinescu, C Paterson, J Wilson Proceedings of the 17th Symposium on Software Engineering for Adaptive and …, 2022 | 3 | 2022 |
Three reasons why: Framing the challenges of assuring ai X Fang, N Johnson Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE …, 2019 | 3 | 2019 |
Predicting nonfunctional requirement violations in autonomous systems X Fang, SG Yaman, R Calinescu, J Wilson, C Paterson ACM Transactions on Autonomous and Adaptive Systems 19 (1), 1-25, 2024 | 1 | 2024 |
Fast Parametric Model Checking with Applications to Software Performability Analysis X Fang, R Calinescu, S Gerasimou, F Alhwikem IEEE Transactions on Software Engineering, 2023 | 1 | 2023 |
Software performability analysis using fast parametric model checking X Fang, R Calinescu, S Gerasimou, F Alhwikem arXiv preprint arXiv:2208.12723, 2022 | 1 | 2022 |
Make Each Iteration Count Y Hu, K Xu, J Sun, X Fang, W Shan, X Wang, Z Jiang ACM Turing Award Celebration Conference 2024, 236-238, 2024 | | 2024 |
MEIC: Re-thinking RTL Debug Automation using LLMs K Xu, J Sun, Y Hu, X Fang, W Shan, X Wang, Z Jiang arXiv preprint arXiv:2405.06840, 2024 | | 2024 |
Fast Parametric Model Checking. X Fang, R Calinescu, S Gerasimou, F Alhwikem CoRR, 2022 | | 2022 |
Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-cost Environmental Sensors X Fang, I Bate, D Griffin International Summit Smart City 360°, 442-461, 2020 | | 2020 |
Corrigendum to “An Improved Sensor Calibration with Anomaly Detection and Removal”[Sens. Actuators B: Chem. 307 (15 March)(2020) 127428] X Fang, I Bate Sensors and Actuators B: Chemical 320, 128207, 2020 | | 2020 |
An Improved Sensor Calibration with Anomaly Detection and Removal (vol 307, 127428, 2020) X Fang, I Bate SENSORS AND ACTUATORS B-CHEMICAL 320, 2020 | | 2020 |
Corrigendum to “An Improved Sensor Calibration with Anomaly Detection and Removal”[Sens. Actuators B: Chem. 307 (15 March)(2020) 127428](Sensors and Actuators: B. Chemical … X Fang, I Bate Sensors and Actuators, B: Chemical 320, 128207, 2020 | | 2020 |