Software Reliability Test Based on Markov Usage Model. - Kuanjiu Zhou; Xiaolong Wang; Gang Hou; Jie Wang 004; Shanbin Ai (J. Softw., 2012)

Evaluation of the Task Communication Performance in Wireless Sensor Networks: A Queue Theory Approach. - Jie Wang 004; Kuanjiu Zhou; Kai Cui; Xiangjie Kong 001; Guang Yang (GreenCom/iThings/CPScom, 2013)

A Partition Method of SoC Design Serving the Multi-FPGA Verification Platform. - Shenglai Yang; Kuanjiu Zhou; Jie Wang 004; Bin Liu; Ting Li (ACA, 2014)

A Regular Expression Matching Approach to Distributed Wireless Network Security System. - Jie Wang 004; Yanshuo Yu; Kuanjiu Zhou (Int. J. Netw. Secur., 2014)

Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling. - Gang Hou; Yinfeng Ban; Kuanjiu Zhou; Jie Wang 004; Mingchu Li; Zihao Liao (FCST, 2015)

The Dynamic Evaluation Strategy for Evolvable Hardware. - Jie Wang 004; Jiwei Liu; Bin Feng; Gang Hou (FCST, 2015)

Parallel Computing Method for HRV Time-Domain Based on GPU. - Jie Wang 004; Weihao Chen; Gang Hou (ICA3PP (2), 2015)

Discriminative pattern mining and its applications in bioinformatics. - Xiaoqing Liu; Jun Wu; Feiyang Gu; Jie Wang 004; Zengyou He (Briefings Bioinform., 2015)

Wireless Sensor-Based Smart-Clothing Platform for ECG Monitoring. - Jie Wang 004; Chung-Chih Lin; Yanshuo Yu; Tsang-Chu Yu (Comput. Math. Methods Medicine, 2015)

Location-Related Challenges and Strategies in Wireless Sensor Networks. - Dingyi Fang; Chase Q. Wu; Jie Wang 004; Lin Cai 001; Xiaohong Jiang 001 (Int. J. Distributed Sens. Networks, 2015)

ETSTM: A New Green Software Model. - Gang Hou; Kuanjiu Zhou; Yanran Wu; Zongzheng Chi; Jie Wang 004; Mingchu Li (Trustcom/BigDataSE/ISPA, 2016)

Multi-level Scheduling Algorithm Based on Storm. - Jie Wang 004; Siguang Hang; Jiwei Liu; Weihao Chen; Gang Hou (KSII Trans. Internet Inf. Syst., 2016)

On the Use of Smart Wearable Technology for Gynecology and Obstetrics Care. - Shang-Yun Sun; Chung-Chin Lin; Jie Wang 004 (QSHINE, 2017)

A novel green software evaluation model for cloud robotics. - Gang Hou; Kuanjiu Zhou; Tie Qiu 001; Xun Cao; Mingchu Li; Jie Wang 004 (Comput. Electr. Eng., 2017)

Effective hybrid load scheduling of online and offline clusters for e-health service. - Kai Cui; Jie Wang 004; Houbing Song; Chi Lin 001; Kuanjiu Zhou; Mingchu Li (Neurocomputing, 2017)

Fault-Tolerant Strategy for Real-Time System Based on Evolvable Hardware. - Jie Wang 004; Jiwei Liu (J. Circuits Syst. Comput., 2017)

Analysis of Interrupt Behavior Based on Probabilistic Model Checking. - Gang Hou; Weiqiang Kong; Kuanjiu Zhou; Jie Wang 004; Xun Cao; Akira Fukuda (IIAI-AAI, 2018)

Compromising location privacies for vehicles cloud computing. - Chi Lin 001; Yi Wang 037; Shuang Wei; Danyang He; Jie Wang 004 (Int. J. Web Grid Serv., 2018)

A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning. - Jie Wang 004; Shuangmin Deng; Junjie Kang; Gang Hou; Kuanjiu Zhou; Chi Lin 001 (DSA, 2019)

Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking. - Gang Hou; Weiqiang Kong; Kuanjiu Zhou; Jie Wang 004; Chi Lin 001 (ICPADS, 2019)

Real-Time System Fault-Tolerant Scheme Based on Improved Chaotic Genetic Algorithm. - Jie Wang 004; Junjie Kang; Gang Hou (WISATS (2), 2019)

Accelerating Face Detection Algorithm on the FPGA Using SDAccel. - Jie Wang 004; Wei Leng (QSHINE, 2019)

Real-Time Fault Repair Scheme Based on Improved Genetic Algorithm. - Jie Wang 004; Junjie Kang; Gang Hou (IEEE Access, 2019)

A Modeling and Verification Method of Modbus TCP/IP Protocol. - Jie Wang 004; Zhichao Chen; Gang Hou; Haoyu Gao; Pengfei Li; Ao Gao; Xintao Wu (ICA3PP (3), 2021)

Design of Face Detection Algorithm Accelerator Based on Vitis. - Jie Wang 004; Ao Gao; Jingxin Li (ICA3PP (2), 2021)

A vibration-based multi-user concurrent communication system with commercial devices. - Tianzhang Xing; Chase Q. Wu; Jie Wang 004; Fei Shang; Ruilin Li; Xiaojiang Chen (Comput. Networks, 2021)

Modeling and reliability verification of industrial control network protocol based on time state transition matrix. - Jie Wang 004; Xintao Wu; Gang Hou; Pengfei Li; Ao Gao; Zhichao Chen; Haoyu Gao (Int. J. Commun. Syst., 2022)

A Single-sample Pruning and Clustering Method for Neural Network Verification. - Huanzhang Xiong; Gang Hou; Long Zhu; Jie Wang 004; Weiqiang Kong (APSEC, 2023)

A Dual Relaxation Method for Neural Network Verification. - Huanzhang Xiong; Gang Hou; Yueyuan Qin; Jie Wang 004; Weiqiang Kong (Int. J. Softw. Eng. Knowl. Eng., 2024)