Jie Wang

According to our database, Jie Wang authored at least 29 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Dual Relaxation Method for Neural Network Verification.

Huanzhang Xiong, Gang Hou, Yueyuan Qin, Jie Wang, Weiqiang Kong

Int. J. Softw. Eng. Knowl. Eng., August, 2024

2023

A Single-sample Pruning and Clustering Method for Neural Network Verification.

Huanzhang Xiong, Gang Hou, Long Zhu, Jie Wang, Weiqiang Kong

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

Modeling and reliability verification of industrial control network protocol based on time state transition matrix.

Jie Wang, Xintao Wu, Gang Hou, Pengfei Li, Ao Gao, Zhichao Chen, Haoyu Gao

Int. J. Commun. Syst., 2022

2021

A vibration-based multi-user concurrent communication system with commercial devices.

Tianzhang Xing, Chase Q. Wu, Jie Wang, Fei Shang, Ruilin Li, Xiaojiang Chen

Comput. Networks, 2021

Design of Face Detection Algorithm Accelerator Based on Vitis.

Jie Wang, Ao Gao, Jingxin Li

Proceedings of the Algorithms and Architectures for Parallel Processing, 2021

A Modeling and Verification Method of Modbus TCP/IP Protocol.

Jie Wang, Zhichao Chen, Gang Hou, Haoyu Gao, Pengfei Li, Ao Gao, Xintao Wu

Proceedings of the Algorithms and Architectures for Parallel Processing, 2021

2019

Real-Time Fault Repair Scheme Based on Improved Genetic Algorithm.

Jie Wang, Junjie Kang, Gang Hou

IEEE Access, 2019

Accelerating Face Detection Algorithm on the FPGA Using SDAccel.

Jie Wang, Wei Leng

Proceedings of the Quality, Reliability, Security and Robustness in Heterogeneous Systems, 2019

Real-Time System Fault-Tolerant Scheme Based on Improved Chaotic Genetic Algorithm.

Jie Wang, Junjie Kang, Gang Hou

Proceedings of the Wireless and Satellite Systems, 2019

Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking.

Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin

Proceedings of the 25th IEEE International Conference on Parallel and Distributed Systems, 2019

A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning.

Jie Wang, Shuangmin Deng, Junjie Kang, Gang Hou, Kuanjiu Zhou, Chi Lin

Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

2018

Compromising location privacies for vehicles cloud computing.

Chi Lin, Yi Wang, Shuang Wei, Danyang He, Jie Wang

Int. J. Web Grid Serv., 2018

Analysis of Interrupt Behavior Based on Probabilistic Model Checking.

Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Xun Cao, Akira Fukuda

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

2017

Fault-Tolerant Strategy for Real-Time System Based on Evolvable Hardware.

Jie Wang, Jiwei Liu

J. Circuits Syst. Comput., 2017

Effective hybrid load scheduling of online and offline clusters for e-health service.

Kai Cui, Jie Wang, Houbing Song, Chi Lin, Kuanjiu Zhou, Mingchu Li

Neurocomputing, 2017

A novel green software evaluation model for cloud robotics.

Gang Hou, Kuanjiu Zhou, Tie Qiu, Xun Cao, Mingchu Li, Jie Wang

Comput. Electr. Eng., 2017

On the Use of Smart Wearable Technology for Gynecology and Obstetrics Care.

Shang-Yun Sun, Chung-Chin Lin, Jie Wang

Proceedings of the Quality, Reliability, Security and Robustness in Heterogeneous Systems, 2017

2016

Multi-level Scheduling Algorithm Based on Storm.

Jie Wang, Siguang Hang, Jiwei Liu, Weihao Chen, Gang Hou

KSII Trans. Internet Inf. Syst., 2016

ETSTM: A New Green Software Model.

Gang Hou, Kuanjiu Zhou, Yanran Wu, Zongzheng Chi, Jie Wang, Mingchu Li

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

2015

Location-Related Challenges and Strategies in Wireless Sensor Networks.

Dingyi Fang, Chase Q. Wu, Jie Wang, Lin Cai, Xiaohong Jiang

Int. J. Distributed Sens. Networks, 2015

Wireless Sensor-Based Smart-Clothing Platform for ECG Monitoring.

Jie Wang, Chung-Chih Lin, Yanshuo Yu, Tsang-Chu Yu

Comput. Math. Methods Medicine, 2015

Discriminative pattern mining and its applications in bioinformatics.

Xiaoqing Liu, Jun Wu, Feiyang Gu, Jie Wang, Zengyou He

Briefings Bioinform., 2015

Parallel Computing Method for HRV Time-Domain Based on GPU.

Jie Wang, Weihao Chen, Gang Hou

Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

The Dynamic Evaluation Strategy for Evolvable Hardware.

Jie Wang, Jiwei Liu, Bin Feng, Gang Hou

Proceedings of the Ninth International Conference on Frontier of Computer Science and Technology, 2015

Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling.

Gang Hou, Yinfeng Ban, Kuanjiu Zhou, Jie Wang, Mingchu Li, Zihao Liao

Proceedings of the Ninth International Conference on Frontier of Computer Science and Technology, 2015

2014

A Regular Expression Matching Approach to Distributed Wireless Network Security System.

Jie Wang, Yanshuo Yu, Kuanjiu Zhou

Int. J. Netw. Secur., 2014

A Partition Method of SoC Design Serving the Multi-FPGA Verification Platform.

Shenglai Yang, Kuanjiu Zhou, Jie Wang, Bin Liu, Ting Li

Proceedings of the Advanced Computer Architecture - 10th Annual Conference, 2014

2013

Evaluation of the Task Communication Performance in Wireless Sensor Networks: A Queue Theory Approach.

Jie Wang, Kuanjiu Zhou, Kai Cui, Xiangjie Kong, Guang Yang

Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

2012

Software Reliability Test Based on Markov Usage Model.

Kuanjiu Zhou, Xiaolong Wang, Gang Hou, Jie Wang, Shanbin Ai

J. Softw., 2012