| Verification and control of partially observable probabilistic systems G Norman, D Parker, X Zou Real-Time Systems 53 (3), 354-402, 2017 | 43 | 2017 |
| Ntire 2020 challenge on real-world image super-resolution: Methods and results A Lugmayr, M Danelljan, R Timofte Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2020 | 36 | 2020 |
| Safety validation of sense and avoid algorithms using simulation and evolutionary search X Zou, R Alexander, J McDermid International Conference on Computer Safety, Reliability, and Security, 33-48, 2014 | 25 | 2014 |
| Aim 2019 challenge on constrained super-resolution: Methods and results K Zhang, S Gu, R Timofte, Z Hui, X Wang, X Gao, D Xiong, S Liu, R Gang, ... 2019 IEEE/CVF International Conference on Computer Vision Workshop (ICCVW …, 2019 | 18 | 2019 |
| On the validation of a uav collision avoidance system developed by model-based optimization: Challenges and a tentative partial solution X Zou, R Alexander, J McDermid 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016 | 16 | 2016 |
| Testing method for multi-uav conflict resolution using agent-based simulation and multi-objective search X Zou, R Alexander, J McDermid Journal of Aerospace Information Systems 13 (5), 191-203, 2016 | 12 | 2016 |
| Verification and control of partially observable probabilistic real-time systems G Norman, D Parker, X Zou International Conference on Formal Modeling and Analysis of Timed Systems …, 2015 | 11 | 2015 |
| Unsupervised image super-resolution with an indirect supervised path S Chen, Z Han, E Dai, X Jia, Z Liu, L Xing, X Zou, C Xu, J Liu, Q Tian Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2020 | 9 | 2020 |
| The methods of FPGA software verification D Zheng, Y Wang, Z Xueyi 2011 IEEE International Conference on Computer Science and Automation …, 2011 | 9 | 2011 |
| AIM 2020 challenge on real image super-resolution: Methods and results P Wei, H Lu, R Timofte, L Lin, W Zuo, Z Pan, B Li, T Xi, Y Fan, G Zhang, ... arXiv preprint arXiv:2009.12072, 2020 | 5 | 2020 |
| Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search X Zou Department of Computer Science, University of York, 2016 | 1 | 2016 |
| Validating Unmanned Aerial Vehicle Sense and Avoid Algorithms with Evolutionary Search X Zou Student Forum of the 46th Annual IEEE/IFIP International Conference on …, 2016 | | 2016 |
Rob AlexanderLecturer in High Integrity Systems EngineeringVerified email at york.ac.uk
