A decision procedure for string logic with quadratic equations, regular expressions and length constraints QL Le, M He
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
20 2018 Facial expression recongition using firefly-based feature optimization K Mistry, L Zhang, G Sexton, Y Zeng, M He
2017 IEEE congress on evolutionary computation (CEC), 1652-1658, 2017
20 2017 Controlled concurrency testing via periodical scheduling C Wen, M He, B Wu, Z Xu, S Qin
Proceedings of the 44th International Conference on Software Engineering …, 2022
16 2022 Reasoning about fences and relaxed atomics M He, V Vafeiadis, S Qin, JF Ferreira
2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016
16 2016 Using function approximation for personalized point-of-interest recommendation B Chen, S Yu, J Tang, M He, Y Zeng
Expert Systems with Applications 79, 225-235, 2017
13 2017 GPS : Reasoning About Fences and Relaxed Atomics M He, V Vafeiadis, S Qin, JF Ferreira
International Journal of Parallel Programming 46 (6), 1157-1183, 2018
7 2018 Automated specification inference in a combined domain via user-defined predicates S Qin, G He, WN Chin, F Craciun, M He, Z Ming
Science of Computer Programming 148, 189-212, 2017
6 2017 Extracting automata from neural networks using active learning Z Xu, C Wen, S Qin, M He
PeerJ Computer Science 7, e436, 2021
4 2021 Group sparse optimization for learning predictive state representations Y Zeng, B Ma, B Chen, J Tang, M He
Information Sciences 412, 1-13, 2017
4 2017 RPG: Rust library fuzzing with pool-based fuzz target generation and generic support Z Xu, B Wu, C Wen, B Zhang, S Qin, M He
Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024
2 2024 Navigating discrete difference equation governed wmr by virtual linear leader guided hmpc C Huang, X Chen, E Tang, M He, L Bu, S Qin, Y Zeng
2020 IEEE International Conference on Robotics and Automation (ICRA), 151-157, 2020
1 2020 Abac requirements engineering for database applications J Longstaff, M He
2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019
1 2019 Towards a program logic for C11 release-sequences M He, S Qin, J Ferreira
2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018
1 2018 Reasoning about C11 programs with fences and relaxed atomics M He
Teesside University, 2018
1 2018 Algebraic semantics for C++ 11 memory model L Xiao, H Zhu, M He, S Qin
2022 IEEE 46th Annual Computers, Software, and Applications Conference …, 2022
2022 A Program Logic for Reasoning About C11 Programs With Release-Sequences M He, S Qin, Z Xu
IEEE Access 8, 173874-173903, 2020
2020 Using Function Approximation in Personal Point-of-Interest Recommendation C Bilian, S Yu, J Tang, M He, Y Zeng
Expert Systems With Applications., 2017
2017 Firefly-based Facial Expression Recognition K Mistry, L Zhang, Y Zeng, M He
16th International Conference on Autonomous Agents and Multiagent Systems, 2017
2017 Reasoning about Fences and Relaxed Atomics (Technical Report) M He, V Vafeiadis, S Qin, JF Ferreira