百晓学者学者目录

黄志球

南京航空航天大学计算机科学与技术学院

个人简介

黄志球,南京航空航天大学计算机科学与技术学院教师,研究方向包括计算机软件及计算机应用、无线电电子学、公路与水路运输、交通运输经济;其代表成果涉及基于AADL的系统建模与可调度性分析、半监督学习关键词抽取、自然语言需求的安全需求获取、需求追踪方法、随机混成系统统计模型检测、Web协同授权风险评估、状态事件线性时序逻辑验证、故障树自动生成、反应式系统事件链建模、C程序内存安全运行时检测,以及‘编译原理’课程教学探索。

精选作品

期刊论文

  1. 左辰翠,黄志球,胡军,谢健,徐恒,石帆(2026). 基于STPA的飞行导引系统模式转换的安全性分析研究. 《计算机科学》.
  2. 朱俊安,喻垚慎,沈国华,黄志球(2026). 复杂约束下飞机整机装配排程问题研究. 《航空计算技术》.
  3. Jin-Ju Zhou, Zhiqiu Huang, Wei-Wei Li, Hang Zhou, Peng Han (2026). Quadrotor UAV Actuators Fine-Grained Fault Diagnosis With Cross-Domain Incremental Learning. IEEE Transactions on Instrumentation and Measurement.DOI
  4. Peng Han, Heng-Yu Lu, Zhiqiu Huang, Wei-Wei Li, Wei He, You Cao (2026). A new health status assessment model based on adaptive interval type II belief rule base. Measurement science and technology.DOI
  5. Heng Xu, Zhiqiu Huang, Fan Shi, Chuanqi Tao (2026). Model‐Based Formal Verification of Mode Transition Logic in Safety‐Critical Avionics. Software Practice and Experience.DOI
  6. Peng Han, Zhiqiu Huang, Weiwei Li, Wei He, You Cao (2026). Hyper-opinion dual branch evidential deep learning with distance perception method for open set fault diagnosis. ISA Transactions.DOI
  7. Feifan Gao, Zhiyi Zhang, Tianyu Xu, Shuxian Chen, Zhiqiu Huang (2026). PRTS: Test Sample Selection Based on Category Probability Repair for DNN Testing. Journal of Software Evolution and Process.DOI
  8. Yu Zhao, Xinyu Yuan, Lina Gong, Zhiqiu Huang (2026). Enhance Expert‐Semantic Feature Extraction and Combine Feature Importance and Attention Scores for Just‐in‐Time Defect Prediction and Localization. Journal of Software Evolution and Process.DOI
  9. Fan Shi, Zhiqiu Huang, Heng Xu, Jun Hu (2026). Fuzzy Safety and Liveness in Branching Time. Fuzzy Sets and Systems.DOI
  10. Yijia Tang, Zhiqiu Huang, Jian Xie, Yaoshen Yu, Bowei Xia, Enya Shen, Yukun Cao (2026). English or Chinese? Investigating the Impact of Prompt Language on Large Language Models for Code Summarization.DOI
  11. Xiang Su, Zhibin Yang, Qu Liu, Hao Liu, Yong Zheng Zhou, Zhiqiu Huang (2026). MetaDTS: Distribution difference-based adaptive test input selection for Deep Neural Networks. Journal of Systems Architecture.DOI
  12. Peng Han, Zhiqiu Huang, Weiwei Li, Wei He, You Cao (2025). Trustworthy interval prediction method with uncertainty estimation based on evidence neural networks. Reliability Engineering & System Safety, Vol. 261.DOI
  13. Yu Zhao, Lina Gong, Yaoshen Yu, Zhiqiu Huang, Mingqiang Wei (2025). An empirical study of best practices for code pre-trained models on software engineering classification tasks. Expert Systems With Applications, Vol. 272.DOI
  14. Peng Han, Zhiqiu Huang, Weiwei Li, Wei He, You Cao (2025). Multi-sensor bearing fault diagnosis based on evidential neural network with sensor weights and reliability. Expert Systems With Applications, Vol. 269.DOI
  15. 王超,黄志球,张玉书,易爽(2025). 高判别性的图像复制-粘贴篡改检测. 《计算机工程》.
  16. Yijia Tang, Yaoshen Yu, Zhiqiu Huang, Bowei Xia, Yukun Cao (2025). P2N2S: Bridging the gap between natural and programming languages for code summarization via large language models. World Wide Web.DOI
  17. Yu Xie, Zhiyi Zhang, Yongming Yao, Chen Liu, Wenting Chen, Zhiqiu Huang (2025). Enhancing mutation testing for deep neural networks: a novel approach to generating high-quality mutants. Automated Software Engineering.DOI
  18. Qing Sheng, Zhiyi Zhang, Shuxian Chen, Ziyuan Wang, Zhiqiu Huang (2025). DeepRegion: Black-box efficient testing for DNNs based on region analysis. Information and Software Technology.DOI
  19. Yu Zhao, Zixuan Zeng, Zhiqiu Huang, Lina Gong (2025). Dialogue Framework for Bug Issue Types Classification in Deep Learning-oriented Projects Based on Large Language Model. Proceedings - Asia Pacific Software Engineering Conference/Proceedings.DOI
  20. Shujin Hu, Zhiqiu Huang, Yaoshen Yu, Hongjing Guo, Guohua Shen (2025). Semantic Consistency Guided Backdoor Trigger Inversion and InitDistillNet for Backdoor Detection. Communications in computer and information science.DOI
  21. Yuan Zhao, Lina Gong, Zhiqiu Huang, Yuchen Jin, Mingqiang Wei (2025). Coding-Fuse: Efficient Fusion of Code Pre-Trained Models for Classification Tasks. IEEE/ACM International Conference on Automated Software Engineering (ASE).DOI
  22. Peng Han, Zhiqiu Huang, Weiwei Li, Jinju Zhou, Wei He, You Cao (2025). A new open set fault diagnosis method based on adversarial discrimination and deep evidential fusion under limited labeled samples. Advanced Engineering Informatics.DOI
  23. Liu Ai, Yang Liu, Lei Rao, Shaoying Liu, Zhibin Yang, Zhiqiu Huang (2025). Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification. IEEE International Symposium on Software Reliability Engineering (ISSRE).DOI
  24. Heng Xu, Zhiqiu Huang, Chuanqi Tao, Jian Xie, Jun Hu (2025). Combinatorial Test Sequence Generation Method Integrated with STPA. International Journal of Software Engineering and Knowledge Engineering.DOI
  25. Jiazhou Fu, Guohua Shen, Zhiqiu Huang, Yaoshen Yu, Yu Dan Zhao (2025). LevDetectCode: Zero-Shot Detection of AI-Generated Code Using Levenshtein Distance. International Journal of Software Engineering and Knowledge Engineering.DOI
  26. Chao Fu, Guohua Shen, Zhiqiu Huang, Jian Xie, Jiazhou Fu (2025). Automatic IoT permission assignment with transformer models under spatiotemporal constraints. Journal of Information Security and Applications.DOI
  27. Jinyong Wang, Zhiqiu Huang, Deyan Yang, Xiaowei Huang, Yi Zhu (2025). Spatio‐Clock Synchronous Constraint Systems Specification and Verification to Ensure Autonomous Driving Safety. Software Practice and Experience.DOI
  28. Hongjing Guo, Chuanqi Tao, Zhiqiu Huang, Weiqin Zou (2025). White-Box Test Input Generation for Enhancing Deep Neural Network Models through Suspicious Neuron Awareness. ACM Transactions on Software Engineering and Methodology.DOI
  29. Yixuan Tang, Junwei Zeng, Jingxuan Zhang, Weiwei Li, Zhiqiu Huang (2025). CTDip: a diversity-guided test program synthesis approach for boosting compiler bug detection. Empirical Software Engineering.DOI
  30. Jingxuan Zhang, Zhuhang Li, Jiahui Liang, Zhiqiu Huang (2025). Boosting Identifier Renaming Opportunity Identification via Context-Based Deep Code Representation. IEEE Transactions on Reliability.DOI
  31. Zhiyi Zhang, Yichun Wang, Yongming Yao, Ziyuan Wang, Zhiqiu Huang (2025). A fine-grained evaluation of mutation operators to boost mutation testing for deep learning systems. Empirical Software Engineering.DOI
  32. Peng Han, Zhiqiu Huang, Weiwei Li, Wei He, You Cao (2025). A Belief Rule Base Considering Random Variables of Adaptive Membership Functions. IEEE Transactions on Instrumentation and Measurement.DOI
  33. HaoRan Jin, Zhiqiu Huang, Weiwei Li, Yaoshen Yu, Chao Wang (2025). Enhancing Code Generation for Large Language Models Using Fine-Grained Distillation. Lecture notes in computer science.DOI
  34. 胡乔乔,杨志斌,黄志球,周勇(2024). 基于AADL的DIMA系统建模与可调度性分析方法. 《小型微型计算机系统》.
  35. 蔡茂东,沈国华,黄志球(2024). 一种无需手工标注的半监督学习关键词抽取方法. 《小型微型计算机系统》.
  36. 魏林林,沈国华,黄志球,蔡梦男,郭菲菲(2024). 一种结合代码片段和混合主题模型的软件数据聚类方法. 《计算机科学》.
  37. 蔡梦男,沈国华,黄志球,杨阳(2024). 本地差分隐私下的高维数据发布方法. 《计算机科学》.
  38. 闫鑫,黄志球,石帆,徐恒(2024). 基于PPO算法的不同驾驶风格跟车模型研究. 《计算机科学》.
  39. 郭虹静,陶传奇,黄志球(2024). 意外充分性引导的深度神经网络测试样本生成. 《计算机研究与发展》.
  40. Jiale Fan, Zhiqiu Huang (2024). Hierarchical Nested Modeling and Verification Method for AFS Mode Transition Based on SysML.DOI
  41. Yixuan Tang, Jingxuan Zhang, Hui Li, Zhiqiu Huang, He Jiang (2024). Detecting Compiler Error Recovery Defects via Program Mutation Exploration. IEEE Transactions on Software Engineering.DOI
  42. Kang Wang, guohua shen, Zhiqiu Huang, xinbo zhang (2024). Exploring ChatGPT's code summarization capabilities: an empirical study. International Conference on Algorithms, High Performance Computing and Artificial Intelligence (AHPCAI).DOI
  43. Xiaohua Yin, Zhiqiu Huang, Shuanglong Kan, Guohua Shen (2024). SafeMD: Ownership-Based Safe Memory Deallocation for C Programs. Electronics.DOI
  44. Yu Dan Zhao, Lina Gong, Zhiqiu Huang, Yongwei Wang, Mingqiang Wei, Fei Qing Wu (2024). Coding-PTMs: How to Find Optimal Code Pre-trained Models for Code Embedding in Vulnerability Detection? IEEE/ACM International Conference on Automated Software Engineering (ASE).DOI
  45. Yu Dan Zhao, Yihui Gong, Lina Gong, Shujuan Jiang, Zhiqiu Huang (2024). Demystifying the Impact of Open-Source Machine Learning Libraries on Software Analytics. IEEE Transactions on Reliability.DOI
  46. Hongjing Guo, Chuanqi Tao, Zhiqiu Huang (2024). Neuron importance-aware coverage analysis for deep neural network testing. Empirical Software Engineering.DOI
  47. Junwei Zeng, Yixuan Tang, Jingxuan Zhang, Weiwei Li, Zhiqiu Huang (2024). Detecting Optimizing Compiler Bugs via History-Driven Test Program Mutation. Asia-Pacific Symposium on Internetware.DOI
  48. Yinjie Xue, Zhiyi Zhang, Chen Liu, Shuxian Chen, Zhiqiu Huang (2024). DeepWeak: Weak Mutation Testing for Deep Learning Systems. IEEE International Conference on Software Quality, Reliability and Security (QRS).DOI
  49. Fan Shi, Zhiqiu Huang, Haiyu Pan, Yuting Chang, Heng Xu (2024). Fuzzy Safety and Liveness Properties in Linear-time. IEEE International Conference on Software Quality, Reliability and Security (QRS).DOI
  50. Changbo Ke, Fu Xiao, Yan Cao, Zhiqiu Huang (2024). A Group-Vehicles Oriented Reputation Assessment Scheme for Edge VANETs. IEEE Transactions on Cloud Computing.DOI
  51. Yunfei Meng, Changbo Ke, Zhiqiu Huang (2024). A model transformation based security policy automatic management framework for software-defined networking. Computers & Security.DOI
  52. Xinbo Zhang, Guohua Shen, Zhiqiu Huang, Yaoshen Yu, Kang Wang (2024). FuEPRe: a fusing embedding method with attention for post recommendation. Service Oriented Computing and Applications.DOI
  53. Guohua Shen, Mengnan Cai, Zhiqiu Huang, Yang Yang, Feifei Guo, Linlin Wei (2024). LoHDP: Adaptive local differential privacy for high‐dimensional data publishing. Concurrency and Computation Practice and Experience.DOI
  54. Xinping Yan, Zhiqiu Huang (2024). Safe Advantage Actor-Critic Based on a Pool of Dangerous Samples. International Conference on Consumer Electronics and Computer Engineering (ICCECE).DOI
  55. Muhammad Azeem Akbar, Arif Ali Khan, Zhiqiu Huang (2023). Multicriteria decision making taxonomy of code recommendation system challenges: a fuzzy-AHP analysis. Information Technology & Management, Vol. 240, No. 2.DOI
  56. Guohua Shen, Sien Yang, Zhiqiu Huang, Yaoshen Yu, Xin Li (2023). The prediction of programming performance using student profiles. Education And Information Technologies, Vol. 280, No. 10.DOI
  57. 李广龙,沈国华,黄志球,杨阳,杨思恩(2023). 一种面向自然语言需求的安全需求获取方法研究. 《小型微型计算机系统》.
  58. 曹冬玉,陶传奇,郭虹静,黄志球(2023). 用户评论驱动的语音测试数据生成方法. 《小型微型计算机系统》.
  59. 林锴,陶传奇,黄志球(2023). 面向异常处理的代码智能化推荐. 《计算机科学与探索》.
  60. 李俊安,胡军,王立松,黄志球,蔡鑫(2023). 自动飞行模式转换逻辑的形式化建模与验证. 《南京航空航天大学学报(自然科学版)》.
  61. 范大娟,黄志球,曹彦(2023). 面向SaaS隐私保护的自适应访问控制方法. 《吉林大学学报(工学版)》.
  62. Yi Xiao, Zhibin Yang, Yong Zhou, Zhiqiu Huang (2023). Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance. International Symposium on Software Engineering: Theories, Tools, and Applications.DOI
  63. Yaoshen Yu, Zhiqiu Huang, Guohua Shen, Weiwei Li, Yichao Shao (2023). ASTSDL: predicting the functionality of incomplete programming code via an AST-sequence-based deep learning model. Science China Information Sciences.DOI
  64. Yasir Hussain, Zhiqiu Huang, Yu Zhou, Izhar Ahmed Khan (2023). Exploring the Impact of Vocabulary Techniques on Code Completion: A Comparative Approach. International Journal of Software Engineering and Knowledge Engineering.DOI
  65. Zhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali (2023). C2AADL_Reverse: A Model-Driven Reverse Engineering Approach for Development and Verification of Safety-Critical Software. ACM SIGAda Ada Letters.DOI
  66. Huangli Cai, Zhiyi Zhang, Yifan Jian, Dan Li, Zhiqiu Huang (2023). BDGSE: A Symbolic Execution Technique for High MC/DC. IEEE International Conference on Software Quality, Reliability and Security (QRS).DOI
  67. Zhuangyu Zhang, Zhiyi Zhang, Ziyuan Wang, Fang Chen, Zhiqiu Huang (2023). BTM: Black-Box Testing for DNN Based on Meta-Learning. IEEE International Conference on Software Quality, Reliability and Security (QRS).DOI
  68. Hongjing Guo, Chuanqi Tao, Zhiqiu Huang (2023). Multi-Objective White-Box Test Input Selection for Deep Neural Network Model Enhancement. IEEE International Symposium on Software Reliability Engineering (ISSRE).DOI
  69. Wei Li, Zhiyi Zhang, Yifan Jian, Chen Liu, Zhiqiu Huang (2023). DeepRank: Test Case Prioritization for Deep Neural Networks. Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering.DOI
  70. Xin Lian, Zhiqiu Huang, Chao Wang (2023). AKD: Using Adversarial Knowledge Distillation to Achieve Black-box Attacks.DOI
  71. Yasir Hussain, Zhiqiu Huang, Yu Zhou, Izhar Ahmed Khan, Nasrullah Khan, Muhammad Zahid Abbas (2023). Optimized Tokenization Process for Open-Vocabulary Code Completion: An Empirical Study. International Conference on Evaluation and Assessment in Software Engineering (EASE).DOI
  72. Jingxuan Zhang, Junpeng Luo, Jiahui Liang, Lina Gong, Zhiqiu Huang (2023). An Accurate Identifier Renaming Prediction and Suggestion Approach. ACM Transactions on Software Engineering and Methodology.DOI
  73. Chuanqi Tao, Yali Tao, Hongjing Guo, Zhiqiu Huang, Xiaobing Sun (2023). DLRegion: Coverage-guided fuzz testing of deep neural networks with region-based neuron selection strategies. Information and Software Technology.DOI
  74. Junan Huang, Zhiqiu Huang, Guohua Shen, Jinyong Wang, Xiaohua Yin (2023). Maneuver Conditioned Vehicle Trajectory Prediction Using Self-Attention. International Journal of Computational Intelligence and Applications.DOI
  75. Yao Wu Hao, Zhiqiu Huang, Hongjing Guo, Guohua Shen (2023). Test Input Selection for Deep Neural Network Enhancement Based on Multiple-Objective Optimization. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER).DOI
  76. Yu Dan Zhao, Zhiqiu Huang, Lina Gong, Yi Zhu, Qiao Yu, Yuxiang Gao (2023). Evaluating the Impact of Data Transformation Techniques on the Performance and Interpretability of Software Defect Prediction Models. IET Software.DOI
  77. Feifei Guo, Guohua Shen, Zhiqiu Huang, Yang Yang, Mengnan Cai, Linlin Wei (2023). DABAC: Smart Contract-Based Spatio-Temporal Domain Access Control for the Internet of Things. IEEE Access.DOI
  78. 陶传奇,张萌,郭虹静,黄志球(2022). 面向不同软件制品的需求追踪方法研究综述. 《计算机学报》.
  79. 房丙午,黄志球,谢健(2022). 随机混成系统稀有属性的统计模型检测方法. 《软件学报》.
  80. 郑黄河,黄志球,李伟湋,喻垚慎,王永超(2022). 基于自然近邻与协同过滤的API推荐方法. 《浙江大学学报(工学版)》.
  81. 刘延钊,黄志球,沈国华,王金永,徐恒(2022). 基于决策树和BN的自动驾驶车辆行为决策方法. 《系统工程与电子技术》.
  82. 邵宜超,黄志球,李伟湋,喻垚慎(2022). 基于近似子树匹配的快速代码推荐方法(英文). Frontiers of Information Technology & Electronic Engineering.
  83. 骆君鹏,张静宣,黄志球,徐勇,孙辰星(2022). 一种基于结构和词汇分析的精确重命名方法(英文). ENGINEERING Information Technology & Electronic Engineering.
  84. 杨思恩,沈国华,李鑫,黄志球,周宇(2022). 基于代码推荐的编程教育在线辅导方法实践探索. 《计算机教育》.
  85. Jingxuan Zhang, Siyuan Liu, Lina Gong, Haoxiang Zhang, Zhiqiu Huang, He Jiang (2022). BEQAIN: An Effective and Efficient Identifier Normalization Approach With BERT and the Question Answering System. IEEE Transactions on Software Engineering.DOI
  86. Tiexin Wang, Chao Tan, Lei Huang, Yize Shi, Tao Yue, Zhiqiu Huang (2022). Simplexity testbed: A model-based digital twin testbed. Computers in Industry.DOI
  87. Chao Xiong, Zhiyi Zhang, Yuqian Zhou, Chen Liu, Zhiqiu Huang (2022). IEMT: Inequality-Based Metamorphic Testing for Autonomous Driving Models. IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).DOI
  88. Cheng Wei, Zhiqiu Huang, Yaoshen Yu (2022). Improved Methods of Pointer Mixture Network for Code Completion. IEEE International Conference on Software Quality, Reliability and Security (QRS).DOI
  89. Lina Gong, Haoxiang Zhang, Jingxuan Zhang, Mingqiang Wei, Zhiqiu Huang (2022). A Comprehensive Investigation of the Impact of Class Overlap on Software Defect Prediction. IEEE Transactions on Software Engineering.DOI
  90. Yasir Hussain, Zhiqiu Huang, Yu Zhou, Senzhang Wang (2022). Boosting source code suggestion with self-supervised Transformer Gated Highway. Journal of Systems and Software.DOI
  91. Lina Gong, Jingxuan Zhang, Mingqiang Wei, Haoxiang Zhang, Zhiqiu Huang (2022). What Is the Intended Usage Context of This Model? An Exploratory Study of Pre-Trained Models on Various Model Repositories. ACM Transactions on Software Engineering and Methodology.DOI
  92. Lile Lin, Zhiqiu Huang, Yaoshen Yu, Yapeng Liu (2022). Multi-Modal Code Summarization with Retrieved Summary. IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM).DOI
  93. Junan Huang, Zhiqiu Huang, Guohua Shen, Heng Xu, Gaoyang Hua (2022). SIA-Net: Scalable Interaction-Aware Network for Vehicle Trajectory Prediction Based on Self-Attention. Proceedings - International Conference on Tools with Artificial Intelligence, TAI.DOI
  94. Yapeng Liu, Zhiqiu Huang, Yaoshen Yu, Yasir Hussain, Lile Lin (2022). Improving Code Completion by Sequence Features and Structural Features.DOI
  95. Yasir Hussain, Zhiqiu Huang, Yu Zhou, Izhar Ahmed Khan (2022). Exploring the Impact of Balanced and Imbalanced Learning in Source Code Suggestion. International Journal of Software Engineering and Knowledge Engineering.DOI
  96. Xingyu Zheng, Zhiqiu Huang, Yongchao Wang, Yaoshen Yu (2022). An Empirical Study of the Performance of Code Similarity in Automatic Program Repair Tool.DOI
  97. Gaoyang Hua, Zhiqiu Huang, Jinyong Wang, Jian Guang Xie, Guohua Shen (2022). Exploration Strategy Improved DDPG for Lane Keeping Tasks in Autonomous Driving. Journal of Physics Conference Series.DOI
  98. Changbo Ke, Fu Xiao, Fu Xiao, Zhiqiu Huang, Fangxiong Xiao, Fangxiong Xiao (2022). A user requirements-oriented privacy policy self-adaption scheme in cloud computing. Frontiers of Computer Science.DOI
  99. Yichao Shao, Zhiqiu Huang, Weiwei Li, Yaoshen Yu (2022). Fast code recommendation via approximate sub-tree matching. Frontiers of Information Technology & Electronic Engineering.DOI
  100. Zhibin Yang, Linquan Xing, Zonghua Gu, Yingmin Xiao, Yong Zhou, Zhiqiu Huang, Lei Xue (2022). Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems. IEEE Transactions on Industrial Informatics.DOI
  101. Weiwei Li, Jin Chen, Yuqing Lu, Zhiqiu Huang (2022). Filling Missing Labels in Label Distribution Learning by Exploiting Label-Specific Feature Selection. 2022 International Joint Conference on Neural Networks (IJCNN).DOI
  102. Yongchao Wang, Yu Zhou, Taolue Chen, Jingxuan Zhang, Wenhua Yang, Zhiqiu Huang (2022). Sequence-Aware API Recommendation Based on Collaborative Filtering. International Journal of Software Engineering and Knowledge Engineering.DOI
  103. Yaoshen Yu, Zhiqiu Huang, Guohua Shen, Weiwei Li, Yichao Shao (2022). ASTENS-BWA: Searching partial syntactic similar regions between source code fragments via AST-based encoded sequence alignment. Science of Computer Programming.DOI
  104. Linyuan Liu, Haibin Zhu, Shenglei Chen, Zhiqiu Huang (2022). Privacy-Aware Task Assignment for IoT Audit Applications on Collaborative Edge Devices. Security and Communication Networks.DOI
  105. Chuanqi Tao, Kai Lin, Zhiqiu Huang, Xiaobing Sun (2022). CRAM: Code Recommendation With Programming Context Based on Self-Attention Mechanism. IEEE Transactions on Reliability.DOI
  106. Junpeng Luo, Jingxuan Zhang, Zhiqiu Huang, Yong Xu, Chenxing Sun (2022). Toward an accurate method renaming approach via structural and lexical analyses. Frontiers of Information Technology & Electronic Engineering.DOI
  107. Weiwei Li, Jin Chen, Peixue Gao, Zhiqiu Huang (2022). Label enhancement with label-specific feature learning. International Journal of Machine Learning and Cybernetics.DOI
  108. Wenhua Yang, Chang Xu, Minxue Pan, Yu Zhou, Zhiqiu Huang (2022). Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty. IEEE Transactions on Reliability.DOI
  109. Jinyong Wang, Zhiqiu Huang, Yi Zhu, Guohua Shen (2022). Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints. International Journal of Software Engineering and Knowledge Engineering.DOI
  110. Changbo Ke, Zejiang Zhu, Fu Xiao, Zhiqiu Huang, Yunfei Meng (2022). SDN-Based Privacy and Functional Authentication Scheme for Fog Nodes of Smart Healthcare. IEEE Internet of Things Journal.DOI
  111. Chuanqi Tao, Hongjing Guo, Jingxuan Zhang, Zhiqiu Huang (2022). Supporting maintenance and testing for AI functions of mobile apps based on user reviews: An empirical study on plant identification apps. Journal of Software Evolution and Process.DOI
  112. Zhiyi Zhang, Ziyuan Wang, Fan Yang, Jiahao Wei, Yuqian Zhou, Zhiqiu Huang (2022). Random or heuristic? An empirical study on path search strategies for test generation in KLEE. Journal of Systems and Software.DOI
  113. Wenhua Yang, Chong Zhang, Minxue Pan, Chang Xu, Yu Zhou, Zhiqiu Huang (2022). Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow. ACM Transactions on Software Engineering and Methodology.DOI
  114. Wenhua Yang, Minxue Pan, Yu Zhou, Zhiqiu Huang (2022). Meaningful Update and Repair of Markov Decision Processes for Self-Adaptive Systems. Journal of Computer Science and Technology.DOI
  115. 鲍阳,杨志斌,杨永强,谢健,周勇,岳涛,黄志球,郭鹏(2021). 基于限定中文自然语言需求的SysML模型自动生成方法. 《计算机研究与发展》.
  116. 孙雪,黄志球,沈国华,王金永,徐恒(2021). 基于本体和BN的无人车行为决策方法. 《系统工程与电子技术》.
  117. 夏瑶,黄志球(2021). 考虑用户偏好的服务组合防策略拍卖机制(英文). Frontiers of Information Technology & Electronic Engineering.
  118. 王金永,黄志球,杨德艳,Xiaowei Huang,祝义,华高洋(2021). 面向无人驾驶时空同步约束制导的安全强化学习. 《计算机研究与发展》.
  119. 汪海娟,沈国华,黄志球,俞垚慎,陈凯(2021). 通过分析目标制品间的紧密关系改进基于信息检索的需求追踪恢复(英文). Frontiers of Information Technology & Electronic Engineering.
  120. 陈晨,周宇,王永超,黄志球(2021). 基于情境感知的API个性化推荐. 《计算机科学》.
  121. Muhammad Ali Arshad, Zhiqiu Huang (2021). Using CNN to Predict the Resolution Status of Bug Reports. Journal of Physics, Conference Series.DOI
  122. Jian Xie, Wenan Tan, Zhibin Yang, Shuming Li, Linquan Xing, Zhiqiu Huang (2021). SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems. Connection Science.DOI
  123. Xiaohua Yin, Zhiqiu Huang, Shuanglong Kan, Guohua Shen, Zhe Chen, Yang Liu, Fei Wang (2021). SafeOSL: Ensuring memory safety of C via ownership‐based intermediate language. Software Practice and Experience.DOI
  124. Meng Zhang, Chuanqi Tao, Hongjing Guo, Zhiqiu Huang (2021). Recovering Semantic Traceability between Requirements and Source Code Using Feature Representation Techniques. IEEE International Conference on Software Quality, Reliability and Security (QRS).DOI
  125. Yongchao Wang, Yu Zhou, Taolue Chen, Jingxuan Zhang, Wenhua Yang, Zhiqiu Huang (2021). Hybrid Collaborative Filtering-Based API Recommendation. IEEE International Conference on Software Quality, Reliability and Security (QRS).DOI
  126. Jiahui Liang, Weiqin Zou, Jingxuan Zhang, Zhiqiu Huang, Chenxing Sun (2021). A Deep Method Renaming Prediction and Refinement Approach for Java Projects. IEEE International Conference on Software Quality, Reliability and Security (QRS).DOI
  127. Jingxuan Zhang, Weiqin Zou, Zhiqiu Huang (2021). An Empirical Study on the Usage and Evolution of Identifier Styles in Practice. Proceedings - Asia Pacific Software Engineering Conference/Proceedings.DOI
  128. Yunjian Xu, Zhiyi Zhang, Yuqian Zhou, Ziyuan Wang, Zhiqiu Huang (2021). DeepMnist: A method of white box testing based on hierarchy. IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).DOI
  129. Kai Lin, Chuanqi Tao, Zhiqiu Huang (2021). Exception Handling Recommendation Based on Self-Attention Network. IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).DOI
  130. Changbo Ke, Jiayu Wu, Fu Xiao, Zhiqiu Huang, Yunfei Meng (2021). A Privacy Risk Assessment Scheme for Fog Nodes in Access Control System. IEEE Transactions on Reliability.DOI
  131. Wenhua Yang, Yu Zhou, Zhiqiu Huang (2021). Personalized API Recommendations. International Journal of Software Engineering and Knowledge Engineering.DOI
  132. Linyuan Liu, Haibin Zhu, Shenglei Chen, Zhiqiu Huang (2021). Privacy regulation aware service selection for multi-provision cloud service composition. Future Generation Computer Systems.DOI
  133. Zhiyi Zhang, Pu Wang, Hongjing Guo, Ziyuan Wang, Yuqian Zhou, Zhiqiu Huang (2021). DeepBackground: Metamorphic testing for Deep-Learning-driven image recognition systems accompanied by Background-Relevance. Information and Software Technology.DOI
  134. Jinyong Wang, Zhiqiu Huang, Xiaowei Huang, Tiexin Wang, Guohua Shen, Jian Xie (2021). An accident prediction architecture based on spatio‐clock stochastic and hybrid model for autonomous driving safety. Concurrency and Computation Practice and Experience.DOI
  135. Guohua Shen, Haijuan Wang, Zhiqiu Huang, Yaoshen Yu, Kai Chen (2021). Supporting Requirements to Code Traceability Creation by Code Comments. International Journal of Software Engineering and Knowledge Engineering.DOI
  136. Haijuan Wang, Guohua Shen, Zhiqiu Huang, Yaoshen Yu, Kai Chen (2021). Analyzing close relations between target artifacts for improving IR-based requirement traceability recovery. Frontiers of Information Technology & Electronic Engineering.DOI
  137. Jingxuan Zhang, Chuanqi Tao, Zhiqiu Huang, Xin Chen (2021). Discovering API Directives from API Specifications with Text Classification. Journal of Computer Science and Technology.DOI
  138. Zhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali (2021). C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software. Journal of Systems Architecture.DOI
  139. Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu (2021). Exploiting augmented intelligence in the modeling of safety-critical autonomous systems. Formal Aspects of Computing.DOI
  140. Jian Xie, Wenan Tan, Bingwu Fang, Zhiqiu Huang (2021). Towards a Statistical Model Checking Method for Safety-Critical Cyber-Physical System Verification. Security and Communication Networks.DOI
  141. Yasir Hussain, Zhiqiu Huang, Yu Zhou (2021). Improving source code suggestion with code embedding and enhanced convolutional long short‐term memory. IET Software.DOI
  142. Yao Xia, Zhiqiu Huang, Yonglong Zhang, Min Yuan, Shangguang Wang, Yu Zhou (2021). SPASC: Strategy‐proof auction mechanism with cost and QoS incentive for service composition. Concurrency and Computation Practice and Experience.DOI
  143. Yao Xia, Zhiqiu Huang (2021). A strategy-proof auction mechanism for service composition based on user preferences. Frontiers of Information Technology & Electronic Engineering.DOI
  144. Yu Zhou, Yang Xinying, Taolue Chen, Zhiqiu Huang, Xiaoxing Ma, Harald C. Gall (2021). Boosting API Recommendation With Implicit Feedback. IEEE Transactions on Software Engineering.DOI
  145. Kai Chen, Guohua Shen, Zhiqiu Huang, Haijuan Wang (2021). Improved Entity Linking for Simple Question Answering Over Knowledge Graph. International Journal of Software Engineering and Knowledge Engineering.DOI
  146. 柯昌博,黄志球(2020). 针对Web协同的授权用户风险评估方法. 《计算机应用与软件》.
  147. 张博林,杨志斌,周勇,马燕燕,黄志球,薛垒(2020). 一种面向安全关键软件的AADL模型组合验证方法. 《计算机学报》.
  148. 杨文华,许畅,叶海波,周宇,黄志球(2020). 智能化信息物理系统中非确定性的分类研究. 《计算机科学》.
  149. 杜天保,沈国华,黄志球,喻垚慎,吴德香(2020). 基于主动学习的可追踪性自动化生成方法(英文). ENGINEERING Information Technology & Electronic Engineering.
  150. 闫鑫,周宇,黄志球(2020). 基于序列到序列模型的代码片段推荐. 《计算机科学与探索》.
  151. 乔森,黄志球,王金永,宛伟健(2020). 基于统计模型检测的DFT定量分析方法. 《系统工程与电子技术》.
  152. 张云帆,周宇,黄志球(2020). 基于语义相似度的API使用模式推荐. 《计算机科学》.
  153. 王铁鑫,李文心,曹静雯,杨志斌,黄志球,王飞(2020). 知识驱动的企业间协作参与者动态推荐方法. 《计算机科学》.
  154. 包盼盼,陶传奇,黄志球(2020). 面向开源源码大数据的数据质量研究. 《计算机科学与探索》.
  155. 张静,黄志球,沈国华,喻垚慎,艾磊(2020). C程序中的内存泄漏机制分析与检测方法设计. 《计算机工程与科学》.
  156. 陈哲,王冲,黄志球(2020). 基于动态分析的程序设计课程教学系统. 《计算机系统应用》.DOI
  157. Shuyu Bian, Guohua Shen, Zhiqiu Huang, Yang Yang, Jinghan Li, Xiaoyu Zhang (2020). PABC: A Patent Application System Based on Blockchain. IEEE Access.DOI
  158. Jinyong Wang, Zhiqiu Huang, Xiaowei Huang, Yi Zhu, Fei Wang (2020). Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety. Journal of Advanced Transportation.DOI
  159. Pu Wang, Zhiyi Zhang, Yuqian Zhou, Zhiqiu Huang (2020). Test Data Augmentation for Image Recognition Software. IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).DOI
  160. Liyu Fang, Zhiqiu Huang, Yu Zhou, Taolue Chen (2020). Adaptive Code Completion with Meta-learning. Asia-Pacific Symposium on Internetware.DOI
  161. Yaoshen Yu, Zhiqiu Huang, Yu Zhou, Weiwei Li, Yichao Shao (2020). ASPDup: AST-Sequence-based Progressive Duplicate Code Detection Tool for Onsite Programming Code. Asia-Pacific Symposium on Internetware.DOI
  162. Yunfei Meng, Zhiqiu Huang, Guohua Shen, Changbo Ke (2020). A security policy model transformation and verification approach for software defined networking. Computers & Security.DOI
  163. Senzhang Wang, Hao Miao, Hao Chen, Zhiqiu Huang (2020). Multi-task Adversarial Spatial-Temporal Networks for Crowd Flow Prediction. Proceedings of the ... ACM International Conference on Information & Knowledge Management.DOI
  164. Asif Nawaz, Zhiqiu Huang, Senzhang Wang, Amara Naseer (2020). Deep neural architecture for geospatial trajectory completion over occupancy gridmap. IEEE ... International Conference on Cloud Computing.DOI
  165. Asif Nawaz, Zhiqiu Huang, Senzhang Wang, Azeem Akbar, Hussain AlSalman, Abdu Gumaei (2020). GPS Trajectory Completion Using End-to-End Bidirectional Convolutional Recurrent Encoder-Decoder Architecture with Attention Mechanism. Sensors.DOI
  166. Chuanqi Tao, Panpan Bao, Zhiqiu Huang (2020). Code line generation based on deep context-awareness of onsite programming. Science China Information Sciences.DOI
  167. Tian-bao Du, Guohua Shen, Zhiqiu Huang, Yaoshen Yu, Dexiang Wu (2020). Automatic traceability link recovery via active learning. Frontiers of Information Technology & Electronic Engineering.DOI
  168. Senzhang Wang, Jiannong Cao, Hao Chen, Hao Ming Peng, Zhiqiu Huang (2020). SeqST-GAN. ACM Transactions on Spatial Algorithms and Systems.DOI
  169. Weiwei Li, Wenzhou Zhang, Xiuyi Jia, Zhiqiu Huang (2020). Effort-Aware semi-Supervised just-in-Time defect prediction. Information and Software Technology.DOI
  170. Wenhua Yang, Minxue Pan, Yu Zhou, Zhiqiu Huang (2020). Developer portraying: A quick approach to understanding developers on OSS platforms. Information and Software Technology.DOI
  171. Yasir Hussain, Zhiqiu Huang, Yu Zhou, Senzhang Wang (2020). CodeGRU: Context-aware deep learning with gated recurrent unit for source code modeling. Information and Software Technology.DOI
  172. Muhammad Azeem Akbar, Sajjad Mahmood, Zhiqiu Huang, Arif Ali Khan, Mohammad Shameem (2020). Readiness model for requirements change management in global software development. Journal of Software Evolution and Process.DOI
  173. Muhammad Azeem Akbar, Zhiqiu Huang, Zhou Yu, Faisal Mehmood, Yasir Hussain, Muhammad Hamza (2020). Towards continues code recommendation and implementation system. Evaluation and Assessment in Software Engineering.DOI
  174. Chuanqi Tao, Hongjing Guo, Zhiqiu Huang (2020). Identifying security issues for mobile applications based on user review summarization. Information and Software Technology.DOI
  175. Yu Zhou, Yanqi Su, Taolue Chen, Zhiqiu Huang, Harald C. Gall, Sebastiano Panichella (2020). User Review-Based Change File Localization for Mobile Applications. IEEE Transactions on Software Engineering.DOI
  176. Yan Cao, Zhiqiu Huang, Yaoshen Yu, Changbo Ke, Zihao Wang (2020). A topology and risk-aware access control framework for cyber-physical space. Frontiers of Computer Science.DOI
  177. Yasir Hussain, Zhiqiu Huang, Muhammad Azeem Akbar, Ahmed Alsanad, Abeer Abdulaziz Alsanad, Asif Nawaz, Izhar Ahmed Khan, Zaheer Ullah Khan (2020). Context-Aware Trust and Reputation Model for Fog-Based IoT. IEEE Access.DOI
  178. Jingxuan Zhang, Siyuan Liu, Junpeng Luo, Jiahui Liang, Zhiqiu Huang (2020). Exploring the Characteristics of Identifiers: A Large-Scale Empirical Study on 5,000 Open Source Projects. IEEE Access.DOI
  179. Asif Nawaz, Zhiqiu Huang, Senzhang Wang (2020). SSMDL: Semi-supervised Multi-task Deep Learning for Transportation Mode Classification and Path Prediction with GPS Trajectories. Lecture notes in computer science.DOI
  180. Hongjing Guo, Chuanqi Tao, Zhiqiu Huang (2020). Metamorphic Testing for Plant Identification Mobile Applications Based on Test Contexts. Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering.DOI
  181. 谢健,阚双龙,黄志球,王飞,杨志斌,李伟湋(2019). 嵌入偏序约简的状态事件线性时序逻辑验证. 《计算机学报》.
  182. 杜天保,沈国华,黄志球,王飞,吴德香(2019). 通过代码模式改进基于IR的需求和代码之间追踪生成方法. 《小型微型计算机系统》.
  183. 喻垚慎,黄志球,沈国华,王飞,崔少轩(2019). 基于抽象解释的嵌入式软件模块化Cache行为分析框架. 《计算机学报》.
  184. 宛伟健,黄志球,沈国华,尹小花(2019). 一种基于GO图的故障树自动生成方法. 《小型微型计算机系统》.
  185. 柯昌博,黄志球,吴嘉余(2019). 面向大数据的隐私发布暴露检测方法. 《计算机科学》.
  186. 邓刘梦,沈国华,黄志球,王飞,葛晓瑜(2019). 扩展SysML支持需求追踪模型的自动生成. 《计算机科学与探索》.
  187. 葛晓瑜,沈国华,黄志球,邓刘梦,宛伟健(2019). 一种基于失效传播模型的危害分析方法. 《计算机工程与科学》.
  188. 许金淼,杨志斌,黄志球,谢健,周勇(2019). 系统架构描述语言AADL的功能行为建模扩展. 《计算机科学与探索》.
  189. Yunfei Meng, Zhiqiu Huang, Guohua Shen, Changbo Ke (2019). SDN-Based Security Enforcement Framework for Data Sharing Systems of Smart Healthcare. IEEE Transactions on Network and Service Management.DOI
  190. Fei Wang, Zhibin Yang, Zhiqiu Huang, Chengwei Liu, Yong Zhou, Jean-Paul Bodeveix, Mamoun Filali (2019). An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models. IEEE Transactions on Reliability.DOI
  191. Yu Zhou, Xin Chun Yan, Wenhua Yang, Taolue Chen, Zhiqiu Huang (2019). Augmenting Java method comments generation with context information based on neural networks. Journal of Systems and Software.DOI
  192. Lei Ai, Zhiqiu Huang, Weiwei Li, Yu Zhou, Yaoshen Yu (2019). SENSORY: Leveraging Code Statement Sequence Information for Code Snippets Recommendation. IEEE Annual Computer Software and Applications Conference (COMPSAC).DOI
  193. Changbo Ke, Fu Xiao, Zhiqiu Huang, Yunfei Meng, Yan Cao (2019). Ontology-Based Privacy Data Chain Disclosure Discovery Method for Big Data. IEEE Transactions on Services Computing.DOI
  194. Jingxuan Zhang, He Jiang, Zhilei Ren, Tao Zhang, Zhiqiu Huang (2019). Enriching API Documentation with Code Samples and Usage Scenarios from Crowd Knowledge. IEEE Transactions on Software Engineering.DOI
  195. Yan Cao, Zhiqiu Huang, Shuanglong Kan, Dajuan Fan, Yang Yang (2019). Specification and verification of a topology-aware access control model for cyber-physical space. Tsinghua Science & Technology.DOI
  196. Yong Wang, Zhiqiu Huang, Yong Li, Rongcun Wang, Qiao Yu (2019). Spectrum-Based Fault Localization Framework to Support Fault Understanding. IEICE Transactions on Information and Systems.DOI
  197. Yan Cao, Zhiqiu Huang, Changbo Ke, Jian Xie, Jinyong Wang (2019). A topology-aware access control model for collaborative cyber-physical spaces: Specification and verification. Computers & Security.DOI
  198. Dexiang Wu, Guohua Shen, Zhiqiu Huang, Yan Cao, Tian-bao Du (2019). A Trust-Aware Task Offloading Framework in Mobile Edge Computing. IEEE Access.DOI
  199. Haibo Ye, Li Sheng, Tao Gu, Zhiqiu Huang (2019). SELoc: Collect Your Location Data Using Only a Barometer Sensor. IEEE Access.DOI
  200. Jie Zhang, Min Yuan, Zhiqiu Huang (2019). Software Requirements Elicitation Based on Ontology Learning. Communications in computer and information science.DOI
  201. Yuxuan Zhang, Senzhang Wang, Bing Chen, Jiannong Cao, Zhiqiu Huang (2019). TrafficGAN: Network-Scale Deep Traffic Prediction With Generative Adversarial Nets. IEEE Transactions on Intelligent Transportation Systems.DOI
  202. 王飞,黄志球,杨志斌,阚双龙,沈国华,陈光颖(2018). 一种安全攸关嵌入式系统需求追踪方法. 《计算机学报》.
  203. 房丙午,黄志球,王勇,李勇(2018). 状态不可观测的信息物理融合系统运行时验证. 《电子学报》.
  204. 王勇,黄志球,韦良芬,卢桂馥(2018). 基于故障森林的组合测试故障定位研究. Journal of University of Science and Technology of China.
  205. 祝义,黄志球,周航(2018). 采用函数式语言的BPEL模型形式化验证方法. 《计算机科学与探索》.
  206. 姜家鑫,黄志球,马薇薇(2018). 满足隐私需求的服务组合信息流控制方法研究. 《计算机科学与探索》.
  207. 阚双龙,黄志球,杨志斌(2018). SIGNAL模型多线程代码生成研究. 《计算机科学与探索》.
  208. 陶灵灵,黄志球,曹彦,张梦娇(2018). 支持访问目的与信誉度标注的隐私保护方法. 《计算机科学与探索》.
  209. 李鑫,陈璇,黄志球(2018). 面向大数据应用的混合内存架构特征分析. 《大数据》.
  210. 房丙午,黄志球,李勇,王勇(2018). 基于隐马尔科夫模型的随机系统运行时安全性验证. 《工程科学与技术》.
  211. 王勇,黄志球,韦良芬,李勇(2018). 基于组合故障频繁树的最小失效诱因模式定位方法. 《东南大学学报(自然科学版)》.
  212. 曹彦,黄志球,阚双龙,彭焕峰,柯昌博(2018). 位置约束的访问控制模型及验证方法. 《计算机研究与发展》.
  213. Senzhang Wang, Xiaoming Zhang, Fengxiang Li, Philip S. Yu, Zhiqiu Huang (2018). Efficient Traffic Estimation With Multi-Sourced Data by Parallel Coupled Hidden Markov Model. IEEE Transactions on Intelligent Transportation Systems.DOI
  214. Yonglong Zhang, Haiyan Qin, Bin Li, Jin Wang, Sungyoung Lee, Zhiqiu Huang (2018). Truthful mechanism for crowdsourcing task assignment. Tsinghua Science & Technology.DOI
  215. XU Jinmiao, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali (2018). Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).DOI
  216. Yong Wang, Zhiqiu Huang, Rongcun Wang, Qiao Yu (2018). Spectrum-Based Fault Localization Using Fault Triggering Model to Refine Fault Ranking List. IEICE Transactions on Information and Systems.DOI
  217. Min Yuan, Zhiqiu Huang (2018). Efficient Verification of Service-Based Applications for Flexible Modeling. IEEE International Conference on Services Computing.DOI
  218. Zhe Chen, Junqi Yan, Wenming Li, Ju Qian, Zhiqiu Huang (2018). Runtime verification of memory safety via source transformation.DOI
  219. Huanfeng Peng, Zhiqiu Huang, Lin-yuan Liu, Yong Li, Dajuan Fan, Yuqing Wang (2018). Preserving privacy information flow security in composite service evolution. Frontiers of Information Technology & Electronic Engineering.DOI
  220. Jia-xin Jiang, Zhiqiu Huang, Weiwei Ma, Yan Cao (2018). Using information flow analysis to detect implicit information leaks for web service composition. Frontiers of Information Technology & Electronic Engineering.DOI
  221. Yunfei Meng, Zhiqiu Huang, Yu Zhou, Changbo Ke (2018). Privacy-aware cloud service selection approach based on P-Spec policy models and privacy sensitivities. Future Generation Computer Systems.DOI
  222. Liming Fang, Chunpeng Ge, Zhiqiu Huang, Jiandong Wang (2018). Privacy preserving cloud data sharing system with flexible control. Computers & Electrical Engineering.DOI
  223. Mirza Khudadad, Zhiqiu Huang (2018). NOVEL INTRUSION DETECTION METHODS FOR SECURITY OF WIRELESS SENSOR NETWORK. Journal of Fundamental and Applied Sciences.DOI
  224. Yong Wang, Zhiqiu Huang, Bingwu Fang, Yong Li (2018). Spectrum-Based Fault Localization via Enlarging Non-Fault Region to Improve Fault Absolute Ranking. IEEE Access.DOI
  225. Yasir Hussain, Zhiqiu Huang (2018). TRFIoT: Trust and Reputation Model for Fog-based IoT. Lecture notes in computer science.DOI
  226. Haibo Ye, Wenhua Yang, Yunyu Yao, Tao Gu, Zhiqiu Huang (2018). BTrack: Using Barometer for Energy Efficient Location Tracking on Mountain Roads. IEEE Access.DOI
  227. Qi Zhang, Zhiqiu Huang, Jian Xie (2018). Distributed System Model Using SysML and Event-B. Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering.DOI
  228. Mirza Khudadad, Zhiqiu Huang (2018). Intrusion Detection with Tree-Based Data Mining Classification Techniques by Using KDD. Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering.DOI
  229. Shuanglong Kan, Zhiqiu Huang, Zhe Chen, Weiwei Li, Yutao Huang (2017). Partial order reduction for checking LTL formulae with the next-time operator. Journal Of Logic And Computation, Vol. 270, No. 40.DOI
  230. 潘诚,黄志球,王珊珊,王梓(2017). 采用CCSL仿真与分析反应式系统事件链模型. 《小型微型计算机系统》.
  231. 房丙午,黄志球,王勇,李勇(2017). 基于混合贝叶斯网络的混合系统安全性分析方法. 《电子学报》.
  232. 李勇,黄志球,王勇,房丙午(2017). 数据驱动的软件缺陷预测研究综述. 《电子学报》.
  233. 严俊琦,陈哲,黄志球(2017). C程序内存安全的运行时检测方法研究和实现. 《小型微型计算机系统》.
  234. 司佳,沈国华,黄志球,王梓,潘诚(2017). 一种工具支撑的动态故障树定量分析方法. 《小型微型计算机系统》.
  235. 李昕,陈哲,王哲民,黄志球(2017). 嵌套模式模板在运行时验证中的应用. 《小型微型计算机系统》.
  236. 张弛,黄志球,丁泽文(2017). 支持抽象解释的静态分析方法的形式化体系研究. 《计算机科学》.
  237. 柯昌博,黄志球,肖甫(2017). 基于本体概念相似度的软件构件检索方法. 《计算机科学》.
  238. 王进,黄志球(2017). 面向超媒体链接的RESTful服务隐私建模方法. 《计算机研究与发展》.
  239. Haibo Ye, Kai Dong, Tao Gu, Zhiqiu Huang (2017). SMinder: Detect a Left-behind Phone using Sensor-based Context Awareness. Mobile Networks and Applications.DOI
  240. Shuanglong Kan, Zhiqiu Huang (2017). Detecting safety‐related components in statecharts through traceability and model slicing. Software Practice and Experience.DOI
  241. Yong Wang, Zhiqiu Huang, Yong Li, Bingwu Fang (2017). Lightweight fault localization combined with fault context to improve fault absolute rank. Science China Information Sciences.DOI
  242. Senzhang Wang, Xiaoming Zhang, Cao Jianping, Lifang He, Leon Stenneth, Philip S. Yu, Zhoujun Li, Zhiqiu Huang (2017). Computing Urban Traffic Congestions by Incorporating Sparse GPS Probe Data and Social Media Data. ACM Transactions on Information Systems.DOI
  243. Shuanglong Kan, Zhiqiu Huang (2017). Partial Order Reduction for the full Class of State/Event Linear Temporal Logic. The Computer Journal.DOI
  244. Yu Zhou, Ruihang Gu, Taolue Chen, Zhiqiu Huang, Sebastiano Panichella, Harald C. Gall (2017). Analyzing APIs Documentation and Code to Detect Directive Defects. IEEE/ACM International Conference on Software Engineering (ICSE).DOI
  245. Yong Li, Zhiqiu Huang, Yong Wang, Bingwu Fang (2017). Evaluating Data Filter on Cross-Project Defect Prediction: Comparison and Improvements. IEEE Access.DOI
  246. Changbo Ke, Zhiqiu Huang, Xiaohui Cheng (2017). Privacy Disclosure Checking Method Applied on Collaboration Interactions Among SaaS Services. IEEE Access.DOI
  247. Changbo Ke, Zhiqiu Huang, Fu Xiao, Linyuan Liu (2017). Privacy Data Decomposition and Discretization Method for SaaS Services. Mathematical Problems in Engineering.DOI
  248. Weiwei Li, Shuanglong Kan, Zhiqiu Huang (2017). A Better Translation From LTL to Transition-Based Generalized Büchi Automata. IEEE Access.DOI
  249. 王思琪,黄志球,黄传林,陈光颖,潘诚(2016). 一种基于状态事件故障树的软件安全性分析方法研究. 《小型微型计算机系统》.
  250. 杨志斌,黄志球(2016). 面向安全关键嵌入式软件工程的“编译原理”课程教学探索. 《工业和信息化教育》.
  251. 朱云龙,陈哲,王哲民,李绪蓉,黄志球(2016). 针对C语言的面向方面语言设计与实现. 《小型微型计算机系统》.
  252. 陆陈,黄志球,阚双龙,曹德建,黄传林(2016). 基于八边形抽象域的襟缝翼控制系统安全性分析. 《小型微型计算机系统》.
  253. 房丙午,黄志球(2016). 云计算中能耗和性能感知的虚拟机优化部署算法. 《计算机工程与科学》.
  254. 曹德建,黄志球,陆陈,陈光颖,仵志鹏(2016). 将故障信息扩展到功能模型的安全性分析方法研究. 《小型微型计算机系统》.
  255. 王哲民,陈哲,朱云龙,黄志球(2016). 参数化运行时验证研究和工具实现. 《小型微型计算机系统》.
  256. 房丙午,黄志球,李勇,王勇(2016). 基于贝叶斯网络的复杂系统动态故障树定量分析方法. 《电子学报》.
  257. Yong Wang, Zhiqiu Huang, Yong Li, Bingwu Fang (2016). Lightweight Fault Localization Combining with Fault-Context.DOI
  258. Yi Zhu, Zhiqiu Huang, Guangquan Zhang, Hang Zhou, Fangxiong Xiao (2016). Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra. International Journal of Software Engineering and Knowledge Engineering.DOI
  259. Yi Zhu, Zhiqiu Huang, Hang Zhou (2016). Modeling and verification of Web services composition based on model transformation. Software Practice and Experience.DOI
  260. Senzhang Wang, Lifang He, Leon Stenneth, Philip S. Yu, Zhoujun Li, Zhiqiu Huang (2016). Estimating Urban Traffic Congestions with Multi-sourced Data. Proceedings/IEEE International Conference on Mobile Data Management.DOI
  261. Bingwu Fang, Zhiqiu Huang, Li Yong, Yong Wang (2016). υ-Support vector machine based on discriminant sparse neighborhood preserving embedding. Pattern Analysis and Applications.DOI
  262. Yinling Liu, Guohua Shen, Zhiqiu Huang, Zhibin Yang (2016). Quantitative risk analysis of safety–critical embedded systems. Software Quality Journal.DOI
  263. Zi Wang, Guohua Shen, Zhiqiu Huang, Jia Si, Cheng Pan (2016). A Simulation Approach for SIGNAL Time Model Concern on Multi-clock System. Communications in computer and information science.DOI
  264. Shuanglong Kan, Zhiqiu Huang, Zhe Chen (2016). Partial Order Reduction for State/Event Systems. Lecture notes in computer science.DOI
  265. Zewen Ding, Zhiqiu Huang, Chi Zhang (2016). An Abstract Domain Based on Two-Interval Difference-Bound Matrices. Communications in computer and information science.DOI
  266. 刘雪,胡军,黄志球,马金晶,程桢,石娇洁(2015). 模型驱动的嵌入式系统设计安全性验证方法研究. 《计算机工程与科学》.
  267. 石娇洁,胡军,刘雪,马金晶,黄志球,程桢(2015). 一种嵌入式系统模型的安全性分析验证方法. 《计算机技术与发展》.
  268. 李文明,陈哲,李绪蓉,黄志球(2015). C程序数组越界的运行时验证技术研究与实现. 《计算机工程与应用》.
  269. 朱羿全,沈国华,黄志球,康达周,阚双龙(2015). 云计算环境中支持语义的安全策略匹配研究. 《小型微型计算机系统》.
  270. 马银雪,陈哲,黄志球,黄吴丹(2015). 使用模型检验自动化验证路由协议. 《小型微型计算机系统》.
  271. 刘博,黄志球,王珊珊(2015). 一种隐私需求驱动的服务协调方法. 《小型微型计算机系统》.
  272. 曹德建,黄志球,阚双龙,黄传林(2015). 基于故障扩展SysML活动图的软件安全性分析方法研究. 《小型微型计算机系统》.
  273. 彭焕峰,黄志球,范大娟(2015). 一种面向服务组合的隐私保护方法. 《小型微型计算机系统》.
  274. 黄传林,黄志球,胡军,徐丙凤,曲长亮(2015). 基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究. 《小型微型计算机系统》.
  275. 柯昌博,黄志球(2015). 云计算环境下隐私需求的描述与检测方法. 《计算机研究与发展》.
  276. 王进,黄志球(2015). 云计算中隐私需求的建模与一致性检测. 《计算机研究与发展》.
  277. Youwen Zhu, Zhiqiu Huang, Tsuyoshi Takagi (2015). Secure and controllable k -NN query over encrypted cloud data with key confidentiality. Journal of Parallel and Distributed Computing.DOI
  278. Chunpeng Ge, Willy Susilo, Jiandong Wang, Zhiqiu Huang, Liming Fang, Yongjun Ren (2015). A Key-Policy Attribute-Based Proxy Re-Encryption Without Random Oracles: Table 1. The Computer Journal.DOI
  279. Weiwei Li, Zhiqiu Huang, Xiuyi Jia, Xinye Cai (2015). Neighborhood based decision-theoretic rough set models. International Journal of Approximate Reasoning.DOI
  280. Zhe Chen, Wei Ou, Zhiqiu Huang, Hongwei Xi (2015). Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control. International Symposium on Theoretical Aspects of Software Engineering (TASE).DOI
  281. Yonglong Zhang, Bin Li, Zhiqiu Huang, Jin Wang, Junwu Zhu (2015). SGAM: strategy‐proof group buying‐based auction mechanism for virtual machine allocation in clouds. Concurrency and Computation Practice and Experience.DOI
  282. Yu Zhou, Yankai Huang, Ou Wei, Zhiqiu Huang (2015). Verifying specifications with associated attributes in graph transformation systems. Frontiers of Computer Science.DOI
  283. Zhiqiu Huang, Xingming Sun, Junzhou Luo, Jian Wang (2015). Cloud Computing and Security. Lecture notes in computer science.DOI
  284. Chuanlin Huang, Zhiqiu Huang, Jun Hu, WU Zhi-peng, Siqi Wang (2015). A MDE-Based Approach to the Safety Verification of Extended SysML Activity Diagram. Journal of Software.DOI
  285. 曲长亮,胡军,徐丙凤,黄志球(2014). 一种基于操作表达式模型的关键软件安全性验证方法研究. 《小型微型计算机系统》.
  286. Yonglong Zhang, Bin Li, Zhiqiu Huang, Jin Wang, Junwu Zhu, Huanfeng Peng (2014). Strategy-Proof Auction Mechanism with Group Price for Virtual Machine Allocation in Clouds. International Conference on Advanced Cloud and Big Data.DOI
  287. Guohua Shen, Yinling Liu, Fei Wang, Jia Si, Zi Wang, Zhiqiu Huang, Dazhou Kang (2014). OMReasoner: combination of multi-matchers for ontology matching: results for OAEI 2014.
  288. Youwen Zhu, Zhiqiu Huang, Liusheng Huang, Tsuyoshi Takagi (2014). On the Security of A Privacy-Preserving Product Calculation Scheme. IEEE Transactions on Dependable and Secure Computing.DOI
  289. Qiang Ge, Guohua Shen, Zhiqiu Huang, Changbo Ke (2014). The Application of SWRL Based Ontology Inference for Privacy Protection. Journal of Software.DOI
  290. Changbo Ke, Zhiqiu Huang, Weiwei Li, Yi Sun, Fangxiong Xiao (2014). Service Outsourcing Character Oriented Privacy Conflict Detection Method in Cloud Computing. Journal of Applied Mathematics.DOI
  291. Yi Sun, Zhiqiu Huang, Changbo Ke (2014). Obtaining P3P Privacy Policies for Composite Services. The Scientific World JOURNAL.DOI
  292. Dajuan Fan, Zhiqiu Huang, Lei Tang (2014). A Correctness Assurance Approach to Automatic Synthesis of Composite Web Services. IEICE Transactions on Information and Systems.DOI
  293. 徐丙凤,黄志球,胡军,魏欧,肖芳雄(2013). 一种状态事件故障树的定量分析方法. 《电子学报》.
  294. Bingfeng Xu, Zhiqiu Huang, Jun Hu, Ou Wei, Yu Zhou (2013). Minimal cut sequence generation for state/event fault trees.DOI
  295. Zhe Chen, Yi Gu, Zhiqiu Huang, Jun Long Zheng, Chang Liu, Ziyi Liu (2013). Model checking aircraft controller software: a case study. Software Practice and Experience.DOI
  296. Changbo Ke, Zhiqiu Huang, Mei Tang (2013). Supporting negotiation mechanism privacy authority method in cloud computing. Knowledge-Based Systems.DOI
  297. Yi Zhu, Hang Zhou, Zhiqiu Huang, Guangquan Zhang (2013). An Approach for Transforming LOTOS Specifications into MARTE Models. International Journal of Advancements in Computing Technology.DOI
  298. Weiwei Li, Zhiqiu Huang, Xiuyi Jia (2013). Two-Phase Classification Based on Three-Way Decisions. Lecture notes in computer science.DOI
  299. Zhiqiu Huang (2013). The System Level SFMEA Methodology Based on SPIN. Machine Design and Manufacturing Engineering.
  300. Zhiqiu Huang (2013). Hybrid P2P Based Metadata Model for Massive Small File. Computer and Digital Engineering.
  301. 肖芳雄,李燕,黄志球,曹子宁,陈哲,范大娟(2012). 基于时间概率代价进程代数的Web服务组合建模和分析. 《计算机学报》.
  302. 朱小栋,肖芳雄,黄志球,沈国华,靳玲(2012). 基于描述逻辑的扩展预测模型标记语言EPMML. 《计算机学报》.
  303. 郑军,胡军,柯昌博,黄志球(2012). 综合模块化航电软件系统测试方法研究综述. 《计算机应用与软件》.
  304. Changbo Ke, Zhiqiu Huang, Lin-Yuan LIU, Zining Cao (2012). Research on Constraint-Oriented Web Service Discovery. Journal of Software.DOI
  305. Guohua Shen, Changbao Tian, Qiang Ge, Zhu Yi-quan, Lili Liao, Zhiqiu Huang, Dazhou Kang (2012). OMReasoner: using multi-matchers and reasoner for ontology matching: results for OAEI 2012.
  306. Yu Zhou, Xuefeng Yan, Zhiqiu Huang (2012). A Graph Transformation Based Approach for Modeling Component-Level Migration in Mobile Environments. IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW).DOI
  307. Min YUAN, Zhiqiu Huang, Jun Hu (2012). Modeling and Verification of Cross-Organizational Multi-Business Transactions. Journal of Software.DOI
  308. Changbo Ke, Zhiqiu Huang (2012). Self-adaptive semantic web service matching method. Knowledge-Based Systems.DOI
  309. Xinye Cai, Wei Ou, Zhiqiu Huang (2012). Evolutionary Approaches for Multi-Objective Next Release Problem.
  310. Zhiqiu Huang, Jun Hu, Bingfeng Xu, Xiaofeng Yu (2012). Model-driven Safety Dependence Verification for Component-based Airborne Software Supporting Airworthiness Certification. Acta Aeronautica Et Astronautica Sinica.
  311. Linyuan Liu, Haibin Zhu, Zhiqiu Huang (2011). Analysis of the minimal privacy disclosure for web services collaborations with role mechanisms. Expert Systems With Applications, Vol. 38, No. 4.DOI
  312. 刘春勇,黄志球,王进,徐丙凤(2011). 基于SLA的动态云体系结构. 《计算机工程》.
  313. 袁敏,黄志球,李祥(2011). 支持业务事务验证的服务协调模型. 《小型微型计算机系统》.
  314. 刘绍翰,王箭,黄志球(2011). 改进的向量质心模型在实时信息检索中的应用研究. 《计算机应用与软件》.
  315. 肖芳雄,黄志球,曹子宁,屠立忠,祝义(2011). Web服务组合功能与QoS的形式化统一建模和分析. 《软件学报》.
  316. Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Li-Zhong TU, Yi Zhu (2011). Unified Formal Modeling and Analyzing both Functionality and QoS of Web Services Composition. Journal of Software.DOI
  317. Guohua Shen, Lantao Jin, Ziyue Zhao, Zhe Jia, Wenmin He, Zhiqiu Huang (2011). OMReasoner: using reasoner for ontology matching : results for OAEI 2011. International Conference on Ontology Matching.
  318. Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Simon Hu, Linyuan Liu, Min Yuan (2011). Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS. International Journal of Web Services Research.DOI
  319. Jun Long Zheng, Dajuan Fan, Zhiqiu Huang, Qing Li (2011). Conformance checking of component-based systems for scenario-based specifications. IEEE International Conference on Software Engineering and Service Science (ICSESS).DOI
  320. Linyuan Liu, Zhiqiu Huang, Haibin Zhu (2011). A Privacy Access Control Framework for Web Services Collaboration with Role Mechanisms. Communications in computer and information science.DOI
  321. Jun Jia Zheng, Zhiqiu Huang, Simon Hu, Wei Ou, Linyuan Liu (2011). Trust-Based Privacy Authorization Model for Web Service Composition. Communications in computer and information science.DOI
  322. Junhua Zhang, Zhiqiu Huang, Zining Cao (2011). On the Controller Synthesis for Markov Decision Process of Conflict Tolerant Specification. Communications in computer and information science.DOI
  323. Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Simon Hu, Linyuan Liu, Min Yuan (2011). Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS 1. International Journal of Web Services Research.DOI
  324. Ou Wei, Yong Yuan, Xinye Cai, Zhiqiu Huang, XU Bing-Feng (2011). Cycle Symmetry Reduction and Its Extension on Three-Valued Models. Journal of Software.DOI
  325. 徐丙凤,胡军,曹东,黄志球,郭丽娟,张剑(2010). T-CBESD:一个构件化嵌入式软件设计模型验证工具. 《小型微型计算机系统》.
  326. 于瑞强,黄志球(2010). 利用时间约束Petri网进行项目绩效分析. 《小型微型计算机系统》.
  327. 赵晓非,黄志球(2010). 基于描述逻辑的元数据存储库系统的结构完整性检测. 《小型微型计算机系统》.
  328. 刘亚萍,黄志球,祝义(2010). 基于元建模的实时系统模型转换方法研究. 《小型微型计算机系统》.
  329. 祝义,黄志球,曹子宁,周航,刘亚萍(2010). 一种基于形式化规约生成软件体系结构模型的方法. 《软件学报》.
  330. Bingfeng Xu, Zhiqiu Huang, Wei Ou (2010). Making Architectural Decisions Based on Requirements: Analysis and Combination of Risk-Based and Quality Attribute-Based Methods.DOI
  331. Linyuan Liu, Haibin Zhu, Zhiqiu Huang, Dongqing Xie (2010). Minimal privacy authorization in web services collaboration. Computer Standards & Interfaces.DOI
  332. Linyuan Liu, Zhiqiu Huang, Fangxiong Xiao, Guohua Shen, Haibin Zhu (2010). Verification of Privacy Requirements in Web Services Composition.DOI
  333. Min Yuan, Zhiqiu Huang, Xiang Li, Yan Yan (2010). Towards a Formal Verification Approach for Business Process Coordination. IEEE International Conference on Web Services (ICWS).DOI
  334. Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan (2010). An MDE Based Approach for Generating Software Architecture Models from Formal Specifications. Proceedings of the ... International Conference on Quality Software/Proceedings.DOI
  335. Lizhong Tu, Fangxiong Xiao, Zhiqiu Huang (2010). Modeling Service Composition Using Priced Probabilistic Process Algebra. IEEE International Symposium on Service-Oriented System Engineering (SOSE).DOI
  336. Xiaofei Zhao, Zhiqiu Huang (2010). Inconsistency checking and resolving of CWM metadata based on Description Logics.DOI
  337. Yuankang Fang, Zhiqiu Huang (2010). An Improved Algorithm for Session Identification on Web Log. Lecture notes in computer science.DOI
  338. Hua Zhou, Zhiqiu Huang, Guoan Zhao (2010). A service-centric solution for wireless sensor networks. International ICST Conference on Communications and Networking in China.DOI
  339. Xiaofei Zhao, Zhiqiu Huang (2010). A quality evaluation approach for OLAP metadata of multidimensional OLAP data.DOI
  340. Yuankang Fang, Ziyang Zhen, Zhiqiu Huang, Chao Zhang (2010). Multi-objective Fuzzy Clustering Method for Image Segmentation Based on Variable-Length Intelligent Optimization Algorithm. Lecture notes in computer science.DOI
  341. Xiaofei Zhao, Zhiqiu Huang (2010). Checking Structural Integrity for Metadata Repository Systems by Means of Description Logics. Lecture notes in computer science.DOI
  342. 苏焕程,黄志球,刘林源(2009). 基于接口自动机的BPEL4WS Web服务组合形式化模型. 《计算机应用研究》.
  343. 朱小栋,黄志球,沈国华(2009). 基于描述逻辑的数据挖掘元数据的一致性检验. 《小型微型计算机系统》.
  344. 陈圣青,黄志球,朱小栋,王珊珊(2009). 一种以领域知识为中心的知识发现过程模型. 《计算机应用研究》.
  345. YU Rui-qiang, Zhiqiu Huang, Lin Wang (2009). Modeling and Analyzing Project Performance with Timing Constraint Petri Net. International Conference on Computer Engineering and Technology.DOI
  346. Yuping Zhang, Xiaodong Zhu, Zhiqiu Huang (2009). Fuzzy Sets Based Granular Logics for Granular Computing.DOI
  347. Junhua Zhang, Jun Hua Zhao, Zhiqiu Huang, Zining Cao (2009). Model Checking Interval Probabilistic Timed Automata.DOI
  348. Yi Zhu, Zhiqiu Huang, Guangquan Zhang (2009). Modeling and Analysis of Real-Time Software Based on Resource Communicating Sequential Process. International Conference on Information Engineering and Computer Science.DOI
  349. Linyuan Liu, Zhiqiu Huang, Dongqing Xie (2009). A Role-Based Model for Web Services Privacy Delegation.DOI
  350. Feng Huang, Zhiqiu Huang, Linyuan Liu (2009). A DL-based method for access control policy conflict detecting. Asia-Pacific Symposium on Internetware.DOI
  351. Guohua Shen, Zhiqiu Huang, Yuping Zhang, Xiaodong Zhu, Jun Yang (2009). A Semantic Model for Matchmaking of Web Services Based on Description Logics. Fundamenta Informaticae.DOI
  352. Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Simon Hu, LinYuan Liu (2009). Modeling Cost-Aware Web Services Composition Using PTCCS. IEEE International Conference on Web Services (ICWS).DOI
  353. Min Yuan, Zhiqiu Huang, Fangxiong Xiao (2009). Modeling and Analysis of Flexible Transaction for Web Services. IEEE International Conference on Web Services (ICWS).DOI
  354. Min Yuan, Zhiqiu Huang, Shouping Gao (2009). Building Multi-business Processes Coordination Model in Pi-Calculus.DOI
  355. Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, Jun Yang (2009). Reasoning about Web Services with Dynamic Description Logics.DOI
  356. Linyuan Liu, Zhiqiu Huang, Haibin Zhu (2009). Role-based consistency verification for privacy-aware Web services. International Symposium on Collaborative Technologies and Systems (CTS).DOI
  357. Min Yuan, Zhiqiu Huang, Jian Hua Zhao, Xiang Li (2009). Modeling and Verification of Automatic Multi-business Transactions.
  358. Min Yuan, Zhiqiu Huang, Simon Hu, Xiang Li, Yi Zhu (2009). Ensuring Coordination of Multi-business Interactions. IEEE International Conference on Services Computing.DOI
  359. 沈国华,黄志球,朱小栋,王磊,曾云峰(2008). 一种应用描述逻辑推理实现本体映射的方法. 《小型微型计算机系统》.
  360. Hang Zhou, Zhiqiu Huang, Yi Zhu (2008). Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL.DOI
  361. Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao (2008). Counterexample for Timed Probabilistic Reachability in Uniform CTMDP.DOI
  362. Fangxiong Xiao, Zhiqiu Huang, Simon Hu, Min Yuan, Junhua Zhang (2008). Support Web Services Composition with Optimal Cost Using PPA. IEEE International Conference on Web Services (ICWS).DOI
  363. Hang Zhou, Zhiqiu Huang, Li Wang, Liang Chen (2008). Automated metrics for industrial applications software polymorphic interactions. IEEE Conference on Industrial Electronics and Applications (ICIEA).DOI
  364. Xiaodong Zhu, Zhiqiu Huang, Guohua Shen (2008). Description Logic Based Consistency Checking upon Data Mining Metadata. Springer eBooks.DOI
  365. Xiaodong Zhu, Zhiqiu Huang (2008). Conceptual modeling rules extracting for data streams. Knowledge-Based Systems.DOI
  366. Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao (2008). Counterexample Generation for Probabilistic Timed Automata Model Checking.DOI
  367. Yi Zhu, Zhiqiu Huang, Hang Zhou (2008). A Formal Method Support for Resource Modeling of Web Services Composition. International Symposium on Computer Science and Computational Technology.DOI
  368. Zhiqiu Huang (2008). Research on BPEL test case generation. Jisuanji gongcheng yu sheji.
  369. 袁敏,黄志球,马潇潇(2007). 一种主动式有状态的Web时效索引机制. 《计算机应用研究》.
  370. Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, Lei Wang, Gaoyou Xiang (2007). Using Description Logics Reasoner for Ontology Matching.DOI
  371. Xinghong Ling, Zhiqiu Huang, Quan Liu, Yuchen Fu, Zhiming Cui, Fanzhang Li (2007). Study of Agent Model by Combining Logic and Economics Approach.DOI
  372. Xiaodong Zhu, Zhiqiu Huang, Junhua Zhang, Shuqun Yang (2007). Granular Computing based Intrusion Detection Model upon Network Monitor Data Streams. International Conference on Pervasive Computing and Applications (ICPCA).DOI
  373. Xiaodong Zhu, Zhiqiu Huang, Shuqun Yang, Guohua Shen (2007). Fuzzy Implication Methods in Fuzzy Logic. International Conference on Fuzzy Systems and Knowledge Discovery (FSKD).DOI
  374. 张玉宏,黄志球,杨俊,杜防汛(2006). 分布式系统中性能评估模型的改进方案. 《计算机工程与设计》.
  375. Fang-Ling Du, Zhiqiu Huang, Jun Yang, YuHong Zhang (2006). System’s Run-time Coupling Measure Based on UML Sequence Diagram.
  376. Xiaodong Zhu, Zhiqiu Huang, Hang Zhou (2006). Design of a Multi-agent Based Intelligent Intrusion Detection System. International Symposium on Pervasive Computing and Applications.DOI
  377. Xiaofei Zhao, Zhiqiu Huang (2006). A Formal Framework for Reasoning on Metadata Based on CWM. Lecture notes in computer science.DOI
  378. Xiaofei Zhao, Zhiqiu Huang (2006). Study on Formal Reasoning in Metadata Integration Based on CWM. International Conference on Machine Learning and Cybernetics.DOI
  379. 杨雁莹,王传栋,黄志球(2005). 基于UML的EDWS设计方法研究. 《计算机工程与应用》.
  380. 沈国华,黄志球,柳雪涛,张定会(2004). 基于数据仓库技术的工程数据管理系统的研究与实现. 《小型微型计算机系统》.
  381. 高鹏,黄志球,张定会,左银龙,柳雪涛(2002). 一个实用面向对象软件度量工具的设计与实现. 《小型微型计算机系统》.
  382. 柳雪涛,黄志球,左银龙,高鹏(2002). 数据仓库系统中用户驱动报表工具的设计与实现. 《小型微型计算机系统》.
  383. 李臻峰,黄志球(2001). 通用静态格式报表打印设计. 《计算机工程》.

预印本

  1. Meng Yunfei, Changbo Ke, Zhiqiu Huang, Guohua Shen, Liu, Chunming, Xiaojie Feng (2023). A Practical Runtime Security Policy Transformation Framework for Software Defined Networks. arXiv (Cornell University).DOI
  2. Shenghui Su, Jianhua Zheng, Shuwang Lü, Zhiqiu Huang, Zhoujun Li, Zhenmin Tang (2016). Idology and Its Applications in Public Security and Network Security. arXiv (Cornell University).DOI

书籍章节

  1. Jun Jia Zheng, Zhiqiu Huang, Simon Hu, Wei Ou, Linyuan Liu (2012). Trust-Based Privacy Authorization Model for Web Service Composition. Advances in intelligent and soft computing.DOI

此主页由公开资料整理,尚未经学者本人认领。