Supporting groupware communication with topology-enhanced content-based network. - Yi Qin 002; XianPing Tao; Jian Lv 001 (APNOMS, 2014)

SIT: Sampling-based interactive testing for self-adaptive apps. - Yi Qin 002; Chang Xu 001; Ping Yu 004; Jian Lu 001 (J. Syst. Softw., 2016)

SynEva: Evaluating ML Programs by Mirror Program Synthesis. - Yi Qin 002; Huiyan Wang 001; Chang Xu 001; Xiaoxing Ma; Jian Lu 001 (QRS, 2018)

CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software. - Yi Qin 002; Tao Xie 001; Chang Xu 001; Angello Astorga; Jian Lu 001 (CoRR, 2018)

Generating Environmental Models for Testing Self-adaptive Systems. - Zhengchuan Liang; Yi Qin 002 (Internetware, 2019)

An index structure supporting rule activation in pervasive applications. - Yi Qin 002; Xianping Tao; Yu Huang 002; Jian Lu 001 (World Wide Web, 2019)

Simulated or Physical? An Empirical Study on Input Validation for Context-aware Systems in Different Environments. - Jinchi Chen; Yi Qin 002; Huiyan Wang 001; Chang Xu 001 (Internetware, 2020)

Overwhelming Uncertainty in Self-adaptation: An Empirical Study on PLA and CobRA. - Jingxin Fan; Yanxiang Tong; Yi Qin 002; Xiaoxing Ma (Internetware, 2020)

CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software. - Yi Qin 002; Tao Xie 001; Chang Xu 001; Angello Astorga; Jian Lu 001 (IEEE Trans. Reliab., 2020)

Timely and accurate detection of model deviation in self-adaptive software-intensive systems. - Yanxiang Tong; Yi Qin 002; Yanyan Jiang 001; Chang Xu 001; Chun Cao; Xiaoxing Ma (ESEC/SIGSOFT FSE, 2021)

Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments. - Jin-Chi Chen; Yi Qin 002; Huiyan Wang 001; Chang Xu 001 (J. Comput. Sci. Technol., 2022)

Active Monitoring Mechanism for Control-Based Self-Adaptive Systems. - Yi Qin 002; Yanxiang Tong; Yifei Xu; Chun Cao; Xiaoxing Ma (Proc. ACM Softw. Eng., 2024)

NexuSym: Marrying symbolic path finders with large language models. - Jiayi Wang; Ping Yu 004; Yi Qin 002; Yanyan Jiang 001; Yuan Yao 001; Xiaoxing Ma (Autom. Softw. Eng., 2025)