| 2026 | EACL | Denoising Concept Vectors with Sparse Autoencoders for Improved Language Model Steering. | Haiyan Zhao, Xuansheng Wu, Fan Yang, Bo Shen, Ninghao Liu, Mengnan Du |
| 2026 | FM | Formal Verification of Functional Correctness for the OpenHarmony LiteOS-M Kernel. | Tianqi Zhao, Qinxiang Cao, Shenghua Feng, Minghui Zhou, Naijun Zhan, Yongzhi Cao, Junfeng Zhao, Haiyan Zhao, Hao Wang, Zhenjiang Hu |
| 2025 | AAAI | DABL: Detecting Semantic Anomalies in Business Processes Using Large Language Models. | Wei Guan, Jian Cao, Jianqi Gao, Haiyan Zhao, Shiyou Qian |
| 2025 | AAAI | A Comprehensive Evaluation on Event Reasoning of Large Language Models. | Zhengwei Tao, Zhi Jin, Yifan Zhang, Xiancai Chen, Haiyan Zhao, Jia Li, Bin Liang, Chongyang Tao, Qun Liu, Kam-Fai Wong |
| 2025 | ACL | Revisit Self-Debugging with Self-Generated Tests for Code Generation. | Xiancai Chen, Zhengwei Tao, Kechi Zhang, Changzhi Zhou, Xinyu Zhang, Wanli Gu, Yuanpeng He, Mengdi Zhang, Xunliang Cai, Haiyan Zhao, Zhi Jin |
| 2025 | COLING | Exploring Concept Depth: How Large Language Models Acquire Knowledge and Concept at Different Layers? | Mingyu Jin, Qinkai Yu, Jingyuan Huang, Qingcheng Zeng, Zhenting Wang, Wenyue Hua, Haiyan Zhao, Kai Mei, Yanda Meng, Kaize Ding, Fan Yang, Mengnan Du, Yongfeng Zhang |
| 2025 | EMNLP | Beyond Input Activations: Identifying Influential Latents by Gradient Sparse Autoencoders. | Dong Shu, Xuansheng Wu, Haiyan Zhao, Mengnan Du, Ninghao Liu |
| 2025 | EMNLP | A Survey on Sparse Autoencoders: Interpreting the Internal Mechanisms of Large Language Models. | Dong Shu, Xuansheng Wu, Haiyan Zhao, Daking Rai, Ziyu Yao, Ninghao Liu, Mengnan Du |
| 2025 | EMNLP | Large Vision-Language Model Alignment and Misalignment: A Survey Through the Lens of Explainability. | Dong Shu, Haiyan Zhao, Jingyu Hu, Weiru Liu, Ali Payani, Lu Cheng, Mengnan Du |
| 2025 | ICLR | Beyond Single Concept Vector: Modeling Concept Subspace in LLMs with Gaussian Distribution. | Haiyan Zhao, Heng Zhao, Bo Shen, Ali Payani, Fan Yang, Mengnan Du |
| 2025 | ISSRE | Reliable Version Merging Based on Deep Semantic and logical Understanding of Critical Context. | Mengdan Fan, Wei Zhang, Haiyan Zhao, Zhi Jin |
| 2025 | NAACL | MALoRA: Mixture of Asymmetric Low-Rank Adaptation for Enhanced Multi-Task Learning. | Xujia Wang, Haiyan Zhao, Shuo Wang, Hanqing Wang, Zhiyuan Liu |
| 2024 | ACL | Integrating Physician Diagnostic Logic into Large Language Models: Preference Learning from Process Feedback. | Chengfeng Dou, Ying Zhang, Zhi Jin, Wenpin Jiao, Haiyan Zhao, Yongqiang Zhao, Zhengwei Tao |
| 2024 | ACL | The Impact of Reasoning Step Length on Large Language Models. | Mingyu Jin, Qinkai Yu, Dong Shu, Haiyan Zhao, Wenyue Hua, Yanda Meng, Yongfeng Zhang, Mengnan Du |
| 2024 | ACL | EVIT: Event-Oriented Instruction Tuning for Event Reasoning. | Zhengwei Tao, Xiancai Chen, Zhi Jin, Xiaoying Bai, Haiyan Zhao, Yiwei Lou |
| 2024 | COLING | Detection, Diagnosis, and Explanation: A Benchmark for Chinese Medial Hallucination Evaluation. | Chengfeng Dou, Ying Zhang, Yanyuan Chen, Zhi Jin, Wenpin Jiao, Haiyan Zhao, Yu Huang |
| 2024 | COLING | Mitigating Shortcuts in Language Models with Soft Label Encoding. | Zirui He, Huiqi Deng, Haiyan Zhao, Ninghao Liu, Mengnan Du |
| 2023 | ACL | SEAG: Structure-Aware Event Causality Generation. | Zhengwei Tao, Zhi Jin, Xiaoying Bai, Haiyan Zhao, Chengfeng Dou, Yongqiang Zhao, Fang Wang, Chongyang Tao |
| 2023 | ACL | UniEvent: Unified Generative Model with Multi-Dimensional Prefix for Zero-Shot Event-Relational Reasoning. | Zhengwei Tao, Zhi Jin, Haiyan Zhao, Chengfeng Dou, Yongqiang Zhao, Tao Shen, Chongyang Tao |
| 2023 | EMNLP | PlugMed: Improving Specificity in Patient-Centered Medical Dialogue Generation using In-Context Learning. | Chengfeng Dou, Zhi Jin, Wenpin Jiao, Haiyan Zhao, Yongqiang Zhao, Zhengwei Tao |
| 2023 | ICML | Does Continual Learning Equally Forget All Parameters? | Haiyan Zhao, Tianyi Zhou, Guodong Long, Jing Jiang, Chengqi Zhang |
| 2023 | ICSOC | Remaining Time Prediction for Collaborative Business Processes with Privacy Preservation. | Jian Cao, Chi Wang, Wei Guan, Shiyou Qian, Haiyan Zhao |
| 2022 | APSEC | Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation. | Jialong Li, Mingyue Zhang, Zhenyu Mao, Haiyan Zhao, Zhi Jin, Shinichi Honiden, Kenji Tei |
| 2022 | GECCO | Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). | Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie |
| 2022 | RE | Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. | Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Linjuan Zhang, Fuyuki Ishikawa |
| 2020 | SMC | Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource Constraints. | Wenjie Chu, Haiyan Zhao, Zhi Jin, Zhenjiang Hu |
| 2019 | ICSE | Modelling and analysing resilient cyber-physical systems. | Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Mller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao |
| 2019 | RE | Environment-Centric Safety Requirements for Autonomous Unmanned Systems. | Yixing Luo, Yijun Yu, Zhi Jin, Haiyan Zhao |
| 2016 | APSEC | Integrating Goal Model into Rule-Based Adaptation. | Tianqi Zhao, Tao Zan, Haiyan Zhao, Zhenjiang Hu, Zhi Jin |
| 2016 | RE | SCCMT: A Stigmergy-Based Collaborative Conceptual Modeling Tool. | Yi Jiang, Shijun Wang, Kai Fu, Wei Zhang, Haiyan Zhao |
| 2016 | RE | A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming. | Weize Zhao, Haiyan Zhao, Zhenjiang Hu |
| 2015 | RE | Goal model driven alternative selection: a quantitative approach. | Tianqi Zhao, Haiyan Zhao, Wei Zhang, Zhi Jin |
| 2014 | ICGSE | Stigmergy-Based Collaborative Conceptual Modeling. | Yi Jiang, Wei Zhang, Haiyan Zhao |
| 2014 | SPLC | TDL: a transformation description language from feature model to use case for automated use case derivation. | Wenjing Yu, Wei Zhang, Haiyan Zhao, Zhi Jin |
| 2013 | APSEC | Analyzing Early Requirements of Cyber-physical Systems through Structure and Goal Modeling. | Chun Liu, Wei Zhang, Haiyan Zhao, Zhi Jin |
| 2013 | COMPSAC | Finding Optimal Solution for Satisficing Non-functional Requirements via 0-1 Programming. | Bin Yin, Zhi Jin, Wei Zhang, Haiyan Zhao, Bo Wei |
| 2013 | ICSR | An Action-Stack Based Selective-Undo Method in Feature Model Customization. | Long Li, Haiyan Zhao, Wei Zhang, Weichao Wang |
| 2013 | SPLC | SmartFixer: fixing software configurations based on dynamic priorities. | Bo Wang, Leonardo Teixeira Passos, Yingfei Xiong, Krzysztof Czarnecki, Haiyan Zhao, Wei Zhang |
| 2012 | APSCC | A Multi-agent Learning Model for Service Composition. | Wenbo Xu, Jian Cao, Haiyan Zhao, Lei Wang |
| 2012 | APSEC | A Problem Oriented Approach to Modeling Feedback Loops for Self-Adaptive Software Systems. | Chun Liu, Wei Zhang, Haiyan Zhao, Zhi Jin |
| 2012 | RE | MbFM: A matrix-based tool for modeling and configuring feature models. | Long Li, Haiyan Zhao, Wei Zhang |
| 2012 | RE | Mining binary constraints in the construction of feature models. | Li Yi, Wei Zhang, Haiyan Zhao, Zhi Jin, Hong Mei |
| 2012 | RE | CoFM: An environment for collaborative feature modeling. | Li Yi, Haiyan Zhao, Wei Zhang, Zhi Jin |
| 2011 | DASC | A Dynamical Optimization Approach for Service Process Library. | Lei Wang, Jian Cao, Haiyan Zhao |
| 2011 | ICSR | Towards a More Fundamental Explanation of Constraints in Feature Models: A Requirement-Oriented Approach. | Wei Zhang, Haiyan Zhao, Zhi Jin, Hong Mei |
| 2011 | ICSR | Binary-Search Based Verification of Feature Models. | Wei Zhang, Haiyan Zhao, Hong Mei |
| 2010 | MODELS | A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. | Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei |
| 2009 | COMPSAC | Dual-Container: Extending the EJB2.x Container to Support EJB3.0. | Ziyou Wang, Minghui Zhou, Donggang Cao, Haiyan Zhao |
| 2009 | ICSR | An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints. | Hua Yan, Wei Zhang, Haiyan Zhao, Hong Mei |
| 2009 | ISPA | A Quality Optimization Method for Service Process Model. | Haiyan Zhao, Jian Cao, Xiaohan Sun |
| 2009 | RE | A Use Case Based Approach to Feature Models' Construction. | Bo Wang, Wei Zhang, Haiyan Zhao, Zhi Jin, Hong Mei |
| 2008 | GPC | A Fuzzy Rule Based Load Balancing Model for a Distributed Service Process Engine. | Jian Cao, Haiyan Zhao, Minglu Li |
| 2008 | GRC | Adaptive and Iterative Least Squares Support Vector Regression based on Quadratic Renyi Entropy. | Jingqing Jiang, Chuyi Song, Haiyan Zhao, Chunguo Wu, Yanchun Liang |
| 2008 | GRC | License Plate Recognition System based on Morphology and LS-SVM. | Haiyan Zhao, Chuyi Song, Haili Zhao, Shizheng Zhang |
| 2008 | ICSR | A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization. | Wei Zhang, Hua Yan, Haiyan Zhao, Zhi Jin |
| 2006 | ICSE | Modeling of component based systems. | Weizhong Shao, Gang Huang, Haiyan Zhao |
| 2006 | RE | Identification of Crosscutting Requirements Based on Feature Dependency Analysis. | Kun Chen, Haiyan Zhao, Wei Zhang, Hong Mei |
| 2005 | RE | An Approach to Constructing Feature Models Based on Requirements Clustering. | Kun Chen, Wei Zhang, Haiyan Zhao, Hong Mei |
| 2005 | RE | A Feature-Oriented Approach to Modeling Requirements Dependencies. | Wei Zhang, Hong Mei, Haiyan Zhao |
| 2004 | ICFEM | A Propositional Logic-Based Method for Verification of Feature Models. | Wei Zhang, Haiyan Zhao, Hong Mei |
| 2002 | DIS | A Compositional Framework for Mining Longest Ranges. | Haiyan Zhao, Zhenjiang Hu, Masato Takeichi |
| 2001 | APLAS | A Compositional Framework for Querying Optimized Ranges. | Haiyan Zhao, Zhenjiang Hu, Masato Takeichi |
| 2000 | APLAS | Mining Optimized Ranges. | Haiyan Zhao, Zhenjiang Hu, Masato Takeichi |