| 2016 | QRS | Detecting Bugs of Concurrent Programs with Program Invariants. | Zuohua Ding, Rong Wang, Jueliang Hu, Yang Liu |
| 2015 | FAW | Machine Scheduling with a Maintenance Interval and Job Delivery Coordination. | Jueliang Hu, Taibo Luo, Xiaotong Su, Jianming Dong, Weitian Tong, Randy Goebel, Yinfeng Xu, Guohui Lin |
| 2013 | COCOA | Parallel Machine Scheduling with a Single Server: Loading and Unloading. | Jueliang Hu, Qinghui Zhang, Jianming Dong, Yiwei Jiang |
| 2012 | AAIM | Algorithms with Limited Number of Preemptions for Scheduling on Parallel Machines. | Yiwei Jiang, Zewei Weng, Jueliang Hu |
| 2011 | COCOON | Optimal Online Algorithms on Two Hierarchical Machines with Resource Augmentation. | Yiwei Jiang, An Zhang, Jueliang Hu |
| 2009 | COMPSAC | Formal Analysis of Services Compatibility. | Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu |
| 2009 | TASE | Measuring the Survivability of Object-Oriented Software. | Jueliang Hu, Zuohua Ding, Jing Liu, Ling Yin |
| 2009 | TASE | Test Data Generation for Derived Types in C Program. | Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu |