Mining Optimized Ranges. - Haiyan Zhao 001; Zhenjiang Hu; Masato Takeichi (APLAS, 2000)

A Compositional Framework for Querying Optimized Ranges. - Haiyan Zhao 001; Zhenjiang Hu; Masato Takeichi (APLAS, 2001)

A Compositional Framework for Mining Longest Ranges. - Haiyan Zhao 001; Zhenjiang Hu; Masato Takeichi (Discovery Science, 2002)

A Propositional Logic-Based Method for Verification of Feature Models. - Wei Zhang 004; Haiyan Zhao 001; Hong Mei 001 (ICFEM, 2004)

An Approach to Constructing Feature Models Based on Requirements Clustering. - Kun Chen; Wei Zhang 004; Haiyan Zhao 001; Hong Mei 001 (RE, 2005)

A Feature-Oriented Approach to Modeling Requirements Dependencies. - Wei Zhang 004; Hong Mei 001; Haiyan Zhao 001 (RE, 2005)

Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach. - Wei Zhang 004; Hong Mei 001; Haiyan Zhao 001; Jie Yang 014 (MoDELS, 2005)

Modeling of component based systems. - Weizhong Shao; Gang Huang 001; Haiyan Zhao 001 (ICSE, 2006)

Identification of Crosscutting Requirements Based on Feature Dependency Analysis. - Kun Chen; Haiyan Zhao 001; Wei Zhang 004; Hong Mei 001 (RE, 2006)

A software architecture centric engineering approach for Internetware. - Hong Mei 001; Gang Huang 001; Haiyan Zhao 001; Wenpin Jiao (Sci. China Ser. F Inf. Sci., 2006)

Feature-driven requirement dependency analysis and high-level software design. - Wei Zhang 004; Hong Mei 001; Haiyan Zhao 001 (Requir. Eng., 2006)

A metamodel for modeling system features and their refinement, constraint and interaction relationships. - Hong Mei 001; Wei Zhang 004; Haiyan Zhao 001 (Softw. Syst. Model., 2006)

Towards automatic model synchronization from model transformations. - Yingfei Xiong 001; Dongxi Liu; Zhenjiang Hu; Haiyan Zhao 001; Masato Takeichi; Hong Mei 001 (ASE, 2007)

A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization. - Wei Zhang 004; Hua Yan; Haiyan Zhao 001; Zhi Jin (ICSR, 2008)

An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints. - Hua Yan; Wei Zhang 004; Haiyan Zhao 001; Hong Mei 001 (ICSR, 2009)

A problem-driven scenario-based approach to collaborative requirement elicitation. - Haiyan Zhao 001; Li Yi; Wei Zhang 004; Hong Mei 001 (Internetware, 2009)

A Use Case Based Approach to Feature Models' Construction. - Bo Wang 050; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin; Hong Mei 001 (RE, 2009)

Supporting automatic model inconsistency fixing. - Yingfei Xiong 001; Zhenjiang Hu; Haiyan Zhao 001; Hui Song; Masato Takeichi; Hong Mei 001 (ESEC/SIGSOFT FSE, 2009)

A problem-driven collaborative approach to eliciting requirements of internetwares. - Bo Wang 050; Haiyan Zhao 001; Wei Zhang 004; Zhi Jin; Hong Mei 001 (Internetware, 2010)

CoFM: a web-based collaborative feature modeling system for internetware requirements' gathering and continual evolution. - Li Yi; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin; Hong Mei 001 (Internetware, 2010)

Tolerating Inconsistency in Feature Models. - Bo Wang 050; Zhenjiang Hu; Yingfei Xiong 001; Haiyan Zhao 001; Wei Zhang 004; Hong Mei 001 (LWI@ASE, 2010)

A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. - Bo Wang 050; Yingfei Xiong 001; Zhenjiang Hu; Haiyan Zhao 001; Wei Zhang 004; Hong Mei 001 (MoDELS (1), 2010)

A concern-based approach to generating formal requirements specifications. - Ying Jin 002; Jing Zhang 005; Weiping Hao; Pengfei Ma; Yan Zhang; Haiyan Zhao 001; Hong Mei 001 (Frontiers Comput. Sci. China, 2010)

Towards a More Fundamental Explanation of Constraints in Feature Models: A Requirement-Oriented Approach. - Wei Zhang 004; Haiyan Zhao 001; Zhi Jin; Hong Mei 001 (ICSR, 2011)

Binary-Search Based Verification of Feature Models. - Wei Zhang 004; Haiyan Zhao 001; Hong Mei 001 (ICSR, 2011)

A Problem Oriented Approach to Modeling Feedback Loops for Self-Adaptive Software Systems. - Chun Liu 008; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin (APSEC, 2012)

MbFM: A matrix-based tool for modeling and configuring feature models. - Long Li; Haiyan Zhao 001; Wei Zhang 004 (RE, 2012)

Mining binary constraints in the construction of feature models. - Li Yi; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin; Hong Mei 001 (RE, 2012)

CoFM: An environment for collaborative feature modeling. - Li Yi; Haiyan Zhao 001; Wei Zhang 004; Zhi Jin (RE, 2012)

Analyzing Early Requirements of Cyber-physical Systems through Structure and Goal Modeling. - Chun Liu 008; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin (APSEC (1), 2013)

Finding Optimal Solution for Satisficing Non-functional Requirements via 0-1 Programming. - Bin Yin; Zhi Jin; Wei Zhang 004; Haiyan Zhao 001; Bo Wei (COMPSAC, 2013)

An Action-Stack Based Selective-Undo Method in Feature Model Customization. - Long Li; Haiyan Zhao 001; Wei Zhang 004; Weichao Wang (ICSR, 2013)

A preliminary study on requirements modeling methods for self-adaptive software systems. - Tianqi Zhao; Haiyan Zhao 001; Wei Zhang 004 (Internetware, 2013)

SmartFixer: fixing software configurations based on dynamic priorities. - Bo Wang 050; Leonardo Teixeira Passos; Yingfei Xiong 001; Krzysztof Czarnecki 001; Haiyan Zhao 001; Wei Zhang 004 (SPLC, 2013)

Feature-oriented stigmergy-based collaborative requirements modeling: an exploratory approach for requirements elicitation and evolution based on web-enabled collective intelligence. - Wei Zhang 004; Li Yi; Haiyan Zhao 001; Zhi Jin (Sci. China Inf. Sci., 2013)

Supporting feature model refinement with updatable view. - Bo Wang 050; Zhenjiang Hu; Qiang Sun; Haiyan Zhao 001; Yingfei Xiong 001; Wei Zhang 004; Hong Mei 001 (Frontiers Comput. Sci., 2013)

Stigmergy-Based Collaborative Conceptual Modeling. - Yi Jiang; Wei Zhang 004; Haiyan Zhao 001 (ICGSE Workshops, 2014)

User preference based autonomic generation of self-adaptive rules. - Tianqi Zhao; Haiyan Zhao 001; Wei Zhang 004; Zhi Jin (Internetware, 2014)

TDL: a transformation description language from feature model to use case for automated use case derivation. - Wenjing Yu; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin (SPLC, 2014)

Interactive Inconsistency Fixing in Feature Modeling. - Bo Wang 050; Yingfei Xiong 001; Zhenjiang Hu; Haiyan Zhao 001; Wei Zhang 004; Hong Mei 001 (J. Comput. Sci. Technol., 2014)

A Recommendation Algorithm for Collaborative Conceptual Modeling Based on Co-occurrence Graph. - Kai Fu; Shijun Wang; Haiyan Zhao 001; Wei Zhang 004 (APRES, 2015)

An Entropy-based Approach to the Crowd Entity Resolution. - Yi Jiang; Wei Zhang 004; Haiyan Zhao 001 (Internetware, 2015)

A Feature-Driven Approach to Automated Class Diagram Construction. - Wenjing Yu; Haiyan Zhao 001; Wei Zhang 004; Zhi Jin (Internetware, 2015)

Goal model driven alternative selection: a quantitative approach. - Tianqi Zhao; Haiyan Zhao 001; Wei Zhang 004; Zhi Jin (MoDRE, 2015)

互联网环境中基于环境激发效应的协同式概念建模 (Stigmergy-based Collaborative Conceptual Modeling in Web Environment). - Yi Jiang; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin (计算机科学, 2015)

Stigmergy-Based Construction of Internetware Artifacts. - Wei Zhang 004; Haiyan Zhao 001; Yi Jiang; Zhi Jin (IEEE Softw., 2015)

Integrating Goal Model into Rule-Based Adaptation. - Tianqi Zhao; Tao Zan; Haiyan Zhao 001; Zhenjiang Hu; Zhi Jin (APSEC, 2016)

A collaborative conceptual modeling tool based on stigmergy mechanism. - Yi Jiang; Shijun Wang; Kai Fu; Wei Zhang 004; Haiyan Zhao 001 (Internetware, 2016)

SCCMT: A Stigmergy-Based Collaborative Conceptual Modeling Tool. - Yi Jiang; Shijun Wang; Kai Fu; Wei Zhang 004; Haiyan Zhao 001 (RE, 2016)

A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming. - Weize Zhao; Haiyan Zhao 001; Zhenjiang Hu (RE Workshops, 2016)

Eliciting Activity Requirements from Crowd Using Genetic Algorithm. - Chunhui Wang; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin (APRES, 2017)

A Reinforcement Learning-Based Framework for the Generation and Evolution of Adaptation Rules. - Tianqi Zhao; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin (ICAC, 2017)

Requirements-Driven Dynamic Adaptation to Mitigate Runtime Uncertainties for Self-Adaptive Systems. - Zhuoqun Yang; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin (CoRR, 2017)

Solving Pictorial Jigsaw Puzzle by Stigmergy-inspired Internet-based Human Collective Intelligence. - Bo Shen; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin; Yanhong Wu (CoRR, 2018)

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; et al. (SEAMS@ICSE, 2019)

Environment-Centric Safety Requirements for Autonomous Unmanned Systems. - Yixing Luo; Yijun Yu; Zhi Jin; Haiyan Zhao 001 (RE, 2019)

IntelliMerge: a refactoring-aware software merging technique. - Bo Shen; Wei Zhang 004; Haiyan Zhao 001; Guangtai Liang; Zhi Jin; Qianxiang Wang (Proc. ACM Program. Lang., 2019)

Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource Constraints. - Wenjie Chu; Haiyan Zhao 001; Zhi Jin; Zhenjiang Hu (SMC, 2020)

Towards a fictional collective programming scenario: an approach based on the EIF loop. - Chunhui Wang; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin (Empir. Softw. Eng., 2020)

A Meta Reinforcement Learning-based Approach for Self-Adaptive System. - Mingyue Zhang 002; Jialong Li 001; Haiyan Zhao 001; Kenji Tei; Shinichi Honiden; Zhi Jin (ACSOS, 2021)

Cross-language Code Coupling Detection: A Preliminary Study on Android Applications. - Bo Shen; Wei Zhang 004; Ailun Yu; Zhao Wei; Guangtai Liang; Haiyan Zhao 001; Zhi Jin (ICSME, 2021)

Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. - Yixing Luo; Xiao-Yi Zhang 005; Paolo Arcaini; Zhi Jin; Haiyan Zhao 001; Fuyuki Ishikawa; Rongxin Wu; Tao Xie 001 (ASE, 2021)

SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically. - Bo Shen; Wei Zhang 004; Ailun Yu; Yifan Shi; Haiyan Zhao 001; Zhi Jin (ASE, 2021)

SmartCommit: a graph-based interactive assistant for activity-oriented commits. - Bo Shen; Wei Zhang 004; Christian Kästner; Haiyan Zhao 001; Zhao Wei; Guangtai Liang; Zhi Jin (ESEC/SIGSOFT FSE, 2021)

Massive Self-Assembly in Grid Environments. - Wenjie Chu; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin; Hong Mei 001 (CoRR, 2021)

Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation. - Jialong Li 001; Mingyue Zhang 002; Zhenyu Mao; Haiyan Zhao 001; Zhi Jin; Shinichi Honiden; Kenji Tei (APSEC, 2022)

Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). - Yixing Luo; Xiao-Yi Zhang 005; Paolo Arcaini; Zhi Jin; Haiyan Zhao 001; Fuyuki Ishikawa; Rongxin Wu; Tao Xie 001 (GECCO Companion, 2022)

A Taxonomy for Architecting Safe Autonomous Unmanned Systems. - Yixing Luo; Haiyan Zhao 001; Zhi Jin (Internetware, 2022)

Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. - Yixing Luo; Xiao-Yi Zhang 005; Paolo Arcaini; Zhi Jin; Haiyan Zhao 001; Linjuan Zhang; Fuyuki Ishikawa (RE, 2022)

Massive self-organized shape formation in grid environments. - Wenjie Chu; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin; Hong Mei 001 (Sci. China Inf. Sci., 2022)

Online adaptation for autonomous unmanned systems driven by requirements satisfaction model. - Yixing Luo; Yuan Zhou 005; Haiyan Zhao 001; Zhi Jin; Tianwei Zhang 004; Yang Liu 003; Danny Barthaud; Yijun Yu (Softw. Syst. Model., 2022)

Fine-Grained Scene Graph Generation with Overlap Region and Geometrical Center. - Yongqiang Zhao; Zhi Jin; Haiyan Zhao 001; F. Zhang; Z. W. Tao; Chengfeng Dou; Xinhai Xu; Donghong Liu (Comput. Graph. Forum, 2022)

SEAG: Structure-Aware Event Causality Generation. - Zhengwei Tao; Zhi Jin; Xiaoying Bai; Haiyan Zhao 001; Chengfeng Dou; Yongqiang Zhao; Fang Wang 011; Chongyang Tao (ACL (Findings), 2023)

UniEvent: Unified Generative Model with Multi-Dimensional Prefix for Zero-Shot Event-Relational Reasoning. - Zhengwei Tao; Zhi Jin; Haiyan Zhao 001; Chengfeng Dou; Yongqiang Zhao; Tao Shen 001; Chongyang Tao (ACL (1), 2023)

PlugMed: Improving Specificity in Patient-Centered Medical Dialogue Generation using In-Context Learning. - Chengfeng Dou; Zhi Jin; Wenpin Jiao; Haiyan Zhao 001; Yongqiang Zhao; Zhengwei Tao (EMNLP (Findings), 2023)

Plug-and-Play Medical Dialogue System. - Chengfeng Dou; Zhi Jin; Wenping Jiao; Haiyan Zhao 001; Zhenwei Tao; Yongqiang Zhao (CoRR, 2023)

EvEval: A Comprehensive Evaluation of Event Semantics for Large Language Models. - Zhengwei Tao; Zhi Jin; Xiaoying Bai; Haiyan Zhao 001; Yanlin Feng; Jia Li 012; Wenpeng Hu (CoRR, 2023)

Enhancing the Spatial Awareness Capability of Multi-Modal Large Language Model. - Yongqiang Zhao; Zhenyu Li; Zhi Jin; Feng Zhang; Haiyan Zhao 001; Chengfeng Dou; Zhengwei Tao; Xinhai Xu; Donghong Liu (CoRR, 2023)

Massive Shape Formation in Grid Environments. - Wenjie Chu; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin; Hong Mei 001 (IEEE Trans Autom. Sci. Eng., 2023)

Integrating Physician Diagnostic Logic into Large Language Models: Preference Learning from Process Feedback. - Chengfeng Dou; Ying Zhang; Zhi Jin; Wenpin Jiao; Haiyan Zhao 001; Yongqiang Zhao; Zhengwei Tao (ACL (Findings), 2024)

EVIT: Event-Oriented Instruction Tuning for Event Reasoning. - Zhengwei Tao; Xiancai Chen; Zhi Jin; Xiaoying Bai; Haiyan Zhao 001; Yiwei Lou (ACL (Findings), 2024)

Detection, Diagnosis, and Explanation: A Benchmark for Chinese Medial Hallucination Evaluation. - Chengfeng Dou; Ying Zhang; Yanyuan Chen; Zhi Jin; Wenpin Jiao; Haiyan Zhao 001; Yu Huang (LREC/COLING, 2024)

Focused: An Approach to Framework-Oriented Cross-Language Link Specification and Detection. - Ailun Yu; Yifan Shi; Bo Shen; Wei Zhang 004; Haiyan Zhao 001; Guangtai Liang; Tianyong Wu; Zhi Jin (ICSME, 2024)

Detect Hidden Dependency to Untangle Commits. - Mengdan Fan; Wei Zhang 004; Haiyan Zhao 001; Guangtai Liang; Zhi Jin (ASE, 2024)

GraphCoder: Enhancing Repository-Level Code Completion via Coarse-to-fine Retrieval Based on Code Context Graph. - Wei Liu 189; Ailun Yu; Daoguang Zan; Bo Shen; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin; Qianxiang Wang (ASE, 2024)

MHRE: Multivariate link prediction method for medical hyper-relational facts. - Weiguang Wang; Xuanyi Zhang; Juan Zhang; Wei Cai; Haiyan Zhao 001; Xia Zhang (Appl. Intell., 2024)

Perception field based imitation learning for unlabeled multi-agent pathfinding. - Wenjie Chu; Ailun Yu; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin (Sci. China Inf. Sci., 2024)

Integrating Physician Diagnostic Logic into Large Language Models: Preference Learning from Process Feedback. - Chengfeng Dou; Zhi Jin; Wenpin Jiao; Haiyan Zhao 001; Yongqiang Zhao; Zhenwei Tao (CoRR, 2024)

MEEL: Multi-Modal Event Evolution Learning. - Zhengwei Tao; Zhi Jin; Junqiang Huang; Xiancai Chen; Xiaoying Bai; Haiyan Zhao 001; Yifan Zhang 004; Chongyang Tao (CoRR, 2024)

A Comprehensive Evaluation on Event Reasoning of Large Language Models. - Zhengwei Tao; Zhi Jin; Yifan Zhang 004; Xiancai Chen; Xiaoying Bai; Yue Fang; Haiyan Zhao 001; Jia Li 003; Chongyang Tao (CoRR, 2024)

GraphCoder: Enhancing Repository-Level Code Completion via Code Context Graph-based Retrieval and Language Model. - Wei Liu 189; Ailun Yu; Daoguang Zan; Bo Shen; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin; Qianxiang Wang (CoRR, 2024)

A new approach for encoding code and assisting code understanding. - Mengdan Fan; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin (CoRR, 2024)

Exploring LLM-based Data Annotation Strategies for Medical Dialogue Preference Alignment. - Chengfeng Dou; Ying Zhang; Zhi Jin; Wenpin Jiao; Haiyan Zhao 001; Yongqiang Zhao; Zhengwei Tao (CoRR, 2024)

GABoost: Graph Alignment Boosting via Local Optimum Escape. - Wei Liu 189; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin (Proc. ACM Manag. Data, 2024)

Mdpg: a novel multi-disease diagnosis prediction method based on patient knowledge graphs. - Weiguang Wang; Yingying Feng; Haiyan Zhao 001; Xin Wang 030; Ruikai Cai; Wei Cai; Xia Zhang (Health Inf. Sci. Syst., 2024)

A Comprehensive Evaluation on Event Reasoning of Large Language Models. - Zhengwei Tao; Zhi Jin; Yifan Zhang 004; Xiancai Chen; Haiyan Zhao 001; Jia Li 003; Bin Liang 004; Chongyang Tao; Qun Liu 001; Kam-Fai Wong (AAAI, 2025)

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 001; Zhi Jin (ACL (1), 2025)

Revisit Self-Debugging with Self-Generated Tests for Code Generation. - Xiancai Chen; Zhengwei Tao; Kechi Zhang; Changzhi Zhou; Wanli Gu; Yuanpeng He; Mengdi Zhang; Xunliang Cai; Haiyan Zhao 001; Zhi Jin (CoRR, 2025)

Enhancing LLM Generation with Knowledge Hypergraph for Evidence-Based Medicine. - Chengfeng Dou; Ying Zhang; Zhi Jin; Wenpin Jiao; Haiyan Zhao 001; Yongqiang Zhao; Zhengwei Tao (CoRR, 2025)

PROPHET: An Inferable Future Forecasting Benchmark with Causal Intervened Likelihood Estimation. - Zhengwei Tao; Zhi Jin; Bincheng Li; Xiaoying Bai; Haiyan Zhao 001; Chengfeng Dou; Xiancai Chen; Jia Li 003; Linyu Li 001; Chongyang Tao (CoRR, 2025)

C*: Unifying Programming and Verification in C. - Yiyuan Cao; Jiayi Zhuang; Houjin Chen; Jinkai Fan; Wenbo Xu; Zhiyi Wang; Di Wang 017; Qinxiang Cao; Yingfei Xiong 001; Haiyan Zhao 001; Zhenjiang Hu (CoRR, 2025)

Towards Structure-aware Model for Multi-modal Knowledge Graph Completion. - LinYu Li 001; Zhi Jin; Yichi Zhang; Dongming Jin; Chengfeng Dou; Yuanpeng He; Xuan Zhang 002; Haiyan Zhao 001 (CoRR, 2025)

Multi-View Riemannian Manifolds Fusion Enhancement for Knowledge Graph Completion. - LinYu Li 001; Zhi Jin; Xuan Zhang 002; Haoran Duan 002; Jishu Wang; Zhengwei Tao; Haiyan Zhao 001; Xiaofeng Zhu 001 (IEEE Trans. Knowl. Data Eng., 2025)