| 2018 | DFT+Emulation - A Faster Way to Close Verification. | Jitendra Aggarwal, Tran Nguyen, Piyush Kumar Gupta |
| 2018 | Provably Secure Cryptographic ABAC System to Enhance Reliability and Privacy Using Real-Time Token and Dynamic Policy. | Yan Zhu, Ruyun Yu, Yao Qin, Di Ma, William Cheng-Chung Chu |
| 2017 | Optimizing Monitor Code Based on Patterns in Runtime Verification. | Ge Zhou, Wei Dong, Wanwei Liu, Hao Shi, Chi Hu, Liangze Yin |
| 2017 | A New Recognition Method for M-QAM Signals in Software Defined Radio. | Yuning Zhao, Xiaodong Yang, Yun Lin |
| 2017 | A Spatial-Temporal Model for Software Fault Tolerance in Safety-Critical Applications. | Tao Zhang, Jinbo Wang |
| 2017 | A Novel Model for Software Development and Testing in Programmable Logic. | Tao Zhang, Yu Su, Jianmin Wang, Jinbo Wang |
| 2017 | A Method for Modulation Recognition Based on Entropy Features and Random Forest. | Zhen Zhang, Yibing Li, Xiaolei Zhu, Yun Lin |
| 2017 | Target Signal Synchronization Transmission in Coupling Network with Uncertain Parameters. | Ting Zhang, Fuke Chang |
| 2017 | The Effect of Personality on Team Performance: An Interpersonal Knowledge Interaction Perspective. | Xin Yue, Yanzhong Dang |
| 2017 | A Method of Personalized Tag Prediction Based on Graph Structure. | Yuan Huang |
| 2017 | Rolling Bearing Vibration Signal Analysis Based on Dual-Entropy, Holder Coefficient and Gray Relation Theory. | YuLong Ying, Jingchao Li, Zhimin Chen, Jing Li |
| 2017 | Automated Extraction of Feature Models from Android Based Portable Devices. | Ilker Yildirim, Hasan Szer |
| 2017 | Public Cultural Services Recommendation System Architecture. | Shufeng Ye, Yi Yang, Weixing Huang, Jian Wang, Guigang Zhang |
| 2017 | Design and Implementation of Combinatorial Testing Tools. | Yongming Yao, Yiyang Yan, Ziyuan Wang, Chen Liu |
| 2017 | Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps. | Jiwei Yan, Tianyong Wu, Jun Yan, Jian Zhang |
| 2017 | The Failure Behaviors of Multi-Faults Programs: An Empirical Study. | Xiaobo Yan, Bin Liu, Jianxing Li |
| 2017 | Constraint-Based Consistency Checking for Multi-View Models of Cyber-Physical System. | Gang Yang, Xingshe Zhou, Yuanyuan Lian |
| 2017 | A Novel Hidden Markov Model for Genome-Wide Association Studies. | Junli Yang, Bo Song, Bing Yan, Guoqiang Li |
| 2017 | Modulation Recognition of Digital Signal Based on Deep Auto-Ancoder Network. | Tu Ya, Yun Lin, Hui Wang |
| 2017 | A Framework for Combining and Ranking Static Analysis Tool Findings Based on Tool Performance Statistics. | Achilleas Xypolytos, Haiyun Xu, Brbara Vieira, Amr M. T. Ali-Eldin |
| 2017 | A Software Security Case Developing Method Based on Hierarchical Argument Strategy. | Biao Xu, Minyan Lu, Dajian Zhang |
| 2017 | How Domain Knowledge Accumulation Influences Software Defects: An Empirical Analysis. | Peng Xiao, Bin Liu, Xiaobo Yan, Fuqun Huang |
| 2017 | Could We Predict the Result of a Continuous Integration Build? An Empirical Study. | Jing Xia, Yanhui Li |
| 2017 | A Comparative Study of Knowledge Management on Undergraduate by Questionnaire. | Jianguo Wu, Dongdong Zhao, Liping Lu, Jing Tian, Jianwen Xiang |
| 2017 | An Importance Based Algorithm for Reliability-Redundancy Allocation of Phased Mission Systems. | Xinyang Wu, Xiaoyue Wu |