Jie Wang

29 papers B 1C 3Journal 14Unranked 11
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Dual Relaxation Method for Neural Network Verification.
Int. J. Softw. Eng. Knowl. Eng.
Huanzhang Xiong, Gang Hou, Yueyuan Qin, Jie Wang, Weiqiang Kong
2023 C conf
A Single-sample Pruning and Clustering Method for Neural Network Verification.
APSEC
Huanzhang Xiong, Gang Hou, Long Zhu, Jie Wang, Weiqiang Kong
2022 J jnl
Modeling and reliability verification of industrial control network protocol based on time state transition matrix.
Int. J. Commun. Syst.
Jie Wang, Xintao Wu, Gang Hou, Pengfei Li, Ao Gao, Zhichao Chen, Haoyu Gao
2021 — conf
A Modeling and Verification Method of Modbus TCP/IP Protocol.
ICA3PP (3)
Jie Wang, Zhichao Chen, Gang Hou, Haoyu Gao, Pengfei Li, Ao Gao, Xintao Wu
2021 J jnl
A vibration-based multi-user concurrent communication system with commercial devices.
Comput. Networks
Tianzhang Xing, Chase Q. Wu, Jie Wang, Fei Shang, Ruilin Li, Xiaojiang Chen
2021 — conf
Design of Face Detection Algorithm Accelerator Based on Vitis.
ICA3PP (2)
Jie Wang, Ao Gao, Jingxin Li
2019 — conf
A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning.
DSA
Jie Wang, Shuangmin Deng, Junjie Kang, Gang Hou, Kuanjiu Zhou, Chi Lin
2019 C conf
Accelerating Face Detection Algorithm on the FPGA Using SDAccel.
QSHINE
Jie Wang, Wei Leng
2019 B conf
Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking.
ICPADS
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin
2019 J jnl
Real-Time Fault Repair Scheme Based on Improved Genetic Algorithm.
IEEE Access
Jie Wang, Junjie Kang, Gang Hou
2019 — conf
Real-Time System Fault-Tolerant Scheme Based on Improved Chaotic Genetic Algorithm.
WISATS (2)
Jie Wang, Junjie Kang, Gang Hou
2018 — conf
Analysis of Interrupt Behavior Based on Probabilistic Model Checking.
IIAI-AAI
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Xun Cao, Akira Fukuda
2018 J jnl
Compromising location privacies for vehicles cloud computing.
Int. J. Web Grid Serv.
Chi Lin, Yi Wang, Shuang Wei, Danyang He, Jie Wang
2017 J jnl
A novel green software evaluation model for cloud robotics.
Comput. Electr. Eng.
Gang Hou, Kuanjiu Zhou, Tie Qiu, Xun Cao, Mingchu Li, Jie Wang
2017 J jnl
Effective hybrid load scheduling of online and offline clusters for e-health service.
Neurocomputing
Kai Cui, Jie Wang, Houbing Song, Chi Lin, Kuanjiu Zhou, Mingchu Li
2017 J jnl
Fault-Tolerant Strategy for Real-Time System Based on Evolvable Hardware.
J. Circuits Syst. Comput.
Jie Wang, Jiwei Liu
2017 C conf
On the Use of Smart Wearable Technology for Gynecology and Obstetrics Care.
QSHINE
Shang-Yun Sun, Chung-Chin Lin, Jie Wang
2016 — conf
ETSTM: A New Green Software Model.
Trustcom/BigDataSE/ISPA
Gang Hou, Kuanjiu Zhou, Yanran Wu, Zongzheng Chi, Jie Wang, Mingchu Li
2016 J jnl
Multi-level Scheduling Algorithm Based on Storm.
KSII Trans. Internet Inf. Syst.
Jie Wang, Siguang Hang, Jiwei Liu, Weihao Chen, Gang Hou
2015 J jnl
Discriminative pattern mining and its applications in bioinformatics.
Briefings Bioinform.
Xiaoqing Liu, Jun Wu, Feiyang Gu, Jie Wang, Zengyou He
2015 — conf
Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling.
FCST
Gang Hou, Yinfeng Ban, Kuanjiu Zhou, Jie Wang, Mingchu Li, Zihao Liao
2015 J jnl
Location-Related Challenges and Strategies in Wireless Sensor Networks.
Int. J. Distributed Sens. Networks
Dingyi Fang, Chase Q. Wu, Jie Wang, Lin Cai, Xiaohong Jiang
2015 — conf
Parallel Computing Method for HRV Time-Domain Based on GPU.
ICA3PP (2)
Jie Wang, Weihao Chen, Gang Hou
2015 — conf
The Dynamic Evaluation Strategy for Evolvable Hardware.
FCST
Jie Wang, Jiwei Liu, Bin Feng, Gang Hou
2015 J jnl
Wireless Sensor-Based Smart-Clothing Platform for ECG Monitoring.
Comput. Math. Methods Medicine
Jie Wang, Chung-Chih Lin, Yanshuo Yu, Tsang-Chu Yu
2014 — conf
A Partition Method of SoC Design Serving the Multi-FPGA Verification Platform.
ACA
Shenglai Yang, Kuanjiu Zhou, Jie Wang, Bin Liu, Ting Li
2014 J jnl
A Regular Expression Matching Approach to Distributed Wireless Network Security System.
Int. J. Netw. Secur.
Jie Wang, Yanshuo Yu, Kuanjiu Zhou
2013 — conf
Evaluation of the Task Communication Performance in Wireless Sensor Networks: A Queue Theory Approach.
GreenCom/iThings/CPScom
Jie Wang, Kuanjiu Zhou, Kai Cui, Xiangjie Kong, Guang Yang
2012 J jnl
Software Reliability Test Based on Markov Usage Model.
J. Softw.
Kuanjiu Zhou, Xiaolong Wang, Gang Hou, Jie Wang, Shanbin Ai