Kuanjiu Zhou

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 18

Top Topics

Swarm Intelligence

Sequence Diagrams

Embedded Software

Top Venues

Comput. Electr. Eng.

计算机科学

Publications

Yicong Li, Kuanjiu Zhou, Mingyu Fan, Shaozhao Zhai, Muhammad Usman Arshad
Enhancing Concept Completeness for Graph Neural Networks via Side-Channel. ICHMS (2024)
Lin Xu, Li Li, Meiying Wang, Xiangxu Wang, Yicong Li, Weidong Li, Kuanjiu Zhou
Online Prediction Method for Power System Frequency Response Analysis Based on Swarm Intelligence Fusion Model. IEEE Access 11 (2023)
Masahiko Watanabe, Kuanjiu Zhou, Yicong Li, Zizhong Wang, Junyu Li
EHSTM: a formal model of embedded software and research on several key issues. CCF Trans. High Perform. Comput. 3 (4) (2021)
Yicong Li, Kuanjiu Zhou, Lin Xu, Meiying Wang, Nan Liu
Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers. ICA3PP (3) (2021)
Yingjie Wang, Kuanjiu Zhou, Zumin Wang, Mingchu Li, Nan Chen, Bin Li, Hongxuan Tian
Research on Real-Time Embedded Software Scheduling Model Based on EDF. IEEE Access 8 (2020)
Yingjie Wang, Kuanjiu Zhou, Jie Pan, Mingchu Li
Interrupt nesting method based on time slice in embedded software. Int. J. Inf. Commun. Technol. 17 (2) (2020)
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin
Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking. ICPADS (2019)
Yingjie Wang, Kuanjiu Zhou, Mingchu Li
实时嵌入式系统的WCET分析与预测研究综述 (Survey of WCET Analysis and Prediction for Real-time Embedded Systems). 计算机科学 46 (6A) (2019)
Jie Wang, Shuangmin Deng, Junjie Kang, Gang Hou, Kuanjiu Zhou, Chi Lin
A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning. DSA (2019)
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Xun Cao, Akira Fukuda
Analysis of Interrupt Behavior Based on Probabilistic Model Checking. IIAI-AAI (2018)
Kai Cui, Kuanjiu Zhou, Tie Qiu, Mingchu Li, Leiming Yan
A hierarchical combinatorial testing method for smart phone software in wearable IoT systems. Comput. Electr. Eng. 61 (2017)
Kai Cui, Kuanjiu Zhou, Houbing Song, Mingchu Li
Automated Software Testing Based on Hierarchical State Transition Matrix for Smart TV. IEEE Access 5 (2017)
Kai Cui, Jie Wang, Houbing Song, Chi Lin, Kuanjiu Zhou, Mingchu Li
Effective hybrid load scheduling of online and offline clusters for e-health service. Neurocomputing 220 (2017)
Gang Hou, Kuanjiu Zhou, Tie Qiu, Weiqiang Kong, Mingchu Li
Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN. IEEE Access 5 (2017)
Gang Hou, Kuanjiu Zhou, Tie Qiu, Xun Cao, Mingchu Li, Jie Wang
A novel green software evaluation model for cloud robotics. Comput. Electr. Eng. 63 (2017)
Haoran Liang, Kuanjiu Zhou, Kai Cui, Jie Pan, Gang Hou
基于PEFSM行为模型的黑盒测试用例生成方法 (Black-box Test Case Generation Method Based on PEFSM Behavioral Model). 计算机科学 44 (4) (2017)
Gang Hou, Kuanjiu Zhou, Yanran Wu, Zongzheng Chi, Jie Wang, Mingchu Li
ETSTM: A New Green Software Model. Trustcom/BigDataSE/ISPA (2016)
Gang Hou, Yinfeng Ban, Kuanjiu Zhou, Jie Wang, Mingchu Li, Zihao Liao
Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling. FCST (2015)
Shenglai Yang, Kuanjiu Zhou, Jie Wang, Bin Liu, Ting Li
A Partition Method of SoC Design Serving the Multi-FPGA Verification Platform. ACA (2014)
Jie Wang, Yanshuo Yu, Kuanjiu Zhou
A Regular Expression Matching Approach to Distributed Wireless Network Security System. Int. J. Netw. Secur. 16 (5) (2014)
Jie Wang, Kuanjiu Zhou, Kai Cui, Xiangjie Kong, Guang Yang
Evaluation of the Task Communication Performance in Wireless Sensor Networks: A Queue Theory Approach. GreenCom/iThings/CPScom (2013)
Gang Hou, Kuanjiu Zhou, Junwang Chang, Rui Li, Mingchu Li
Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets. APPT (2013)
Kuanjiu Zhou, Jiawei Yong, Xiaolong Wang, Longtao Ren, Gang Hou, Junwang Chang
Accelerating Software Model Checking Based on Program Backbone. APPT (2013)
Xiaochen Lai, Kuanjiu Zhou, Likun Li, Lemin Tang, Yanshuang Yao, Liang Yu
A Method of Software Defects Mining Based on Static Analysis. IEA/AIE (2012)
Kuanjiu Zhou, Xiaolong Wang, Gang Hou, Jie Wang, Shanbin Ai
Software Reliability Test Based on Markov Usage Model. J. Softw. 7 (9) (2012)
Chuang Lin, Xirui Sun, Kuanjiu Zhou, Feng Xia
Supervised Gabor-Based Kernel Locality Preserving Projections for Face Recognition. iThings/CPSCom (2011)
Shirong Zhang, Kuanjiu Zhou, Yuan Tian
An Improved NN-SVM Based on K Congener Nearest Neighbors Classification Algorithm. KSEM (2007)
Gang Hou, Kuanjiu Zhou, Yang Tian
Algorithm for Public Transit Trip with Minimal Transfer Times and Shortest Travel Time. KSEM (2007)
Wubin Guo, Xiangpei Hu, Kuanjiu Zhou, Lijun Sun
An Intelligent Query System Based on Chinese Short Message Service for Restaurant Recommendation. ICMB (2007)