Yi Qin

14 papers C 2Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
NexuSym: Marrying symbolic path finders with large language models.
Autom. Softw. Eng.
Jiayi Wang, Ping Yu, Yi Qin, Yanyan Jiang, Yuan Yao, Xiaoxing Ma
2025 J jnl
SEPAL: A Consistency-Driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation.
J. Comput. Sci. Technol.
Shu-hui Zhang, Rong Yang, Lingyu Zhang, Han Li, Ming-Xiao Wang, Mingchen Gao, Hao-Ming Hu, Hui-Yan Wang, Yi Qin, Chang Xu
2024 J jnl
Active Monitoring Mechanism for Control-Based Self-Adaptive Systems.
Proc. ACM Softw. Eng.
Yi Qin, Yanxiang Tong, Yifei Xu, Chun Cao, Xiaoxing Ma
2022 J jnl
Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments.
J. Comput. Sci. Technol.
Jin-Chi Chen, Yi Qin, Huiyan Wang, Chang Xu
2021 — conf
Timely and accurate detection of model deviation in self-adaptive software-intensive systems.
ESEC/SIGSOFT FSE
Yanxiang Tong, Yi Qin, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma
2020 J jnl
CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software.
IEEE Trans. Reliab.
Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu
2020 — conf
Overwhelming Uncertainty in Self-adaptation: An Empirical Study on PLA and CobRA.
Internetware
Jingxin Fan, Yanxiang Tong, Yi Qin, Xiaoxing Ma
2020 — conf
Simulated or Physical? An Empirical Study on Input Validation for Context-aware Systems in Different Environments.
Internetware
Jinchi Chen, Yi Qin, Huiyan Wang, Chang Xu
2019 J jnl
An index structure supporting rule activation in pervasive applications.
World Wide Web
Yi Qin, XianPing Tao, Yu Huang, Jian Lu
2019 — conf
Generating Environmental Models for Testing Self-adaptive Systems.
Internetware
Zhengchuan Liang, Yi Qin
2018 J jnl
CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software.
CoRR
Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu
2018 C conf
SynEva: Evaluating ML Programs by Mirror Program Synthesis.
QRS
Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, Jian Lu
2016 J jnl
SIT: Sampling-based interactive testing for self-adaptive apps.
J. Syst. Softw.
Yi Qin, Chang Xu, Ping Yu, Jian Lu
2014 C conf
Supporting groupware communication with topology-enhanced content-based network.
APNOMS
Yi Qin, XianPing Tao, Jian Lv