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 | 26 | 2022 |
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 | 21 | 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 | 21 | 2017 |
Reasoning about fences and relaxed atomics M He, V Vafeiadis, S Qin, JF Ferreira 2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016 | 17 | 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 | 8 | 2018 |
Extracting automata from neural networks using active learning Z Xu, C Wen, S Qin, M He PeerJ Computer Science 7, e436, 2021 | 6 | 2021 |
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 |
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 | 5 | 2024 |
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 |
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 | 2 | 2020 |
Towards a program logic for C11 release-sequences M He, S Qin, J Ferreira 2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018 | 2 | 2018 |
Trace Semantics for C++ 11 Memory Model L Xiao, H Zhu, S Chen, M He, S Qin Formal Aspects of Computing 36 (3), 1-24, 2024 | 1 | 2024 |
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 | 1 | 2022 |
A Program Logic for Reasoning About C11 Programs With Release-Sequences M He, S Qin, Z Xu IEEE Access 8, 173874-173903, 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 |
Reasoning about C11 programs with fences and relaxed atomics M He Teesside University, 2018 | 1 | 2018 |
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 | | |