A metamodel for the notation of graphical modeling languages. - Xiao He 005; Zhiyi Ma; Weizhong Shao; Ge Li 001 (COMPSAC (1), 2007)

On Model Transformation Reuse. - Xiao He 005; Zhiyi Ma; Yan Zhang; Weizhong Shao (COMPSAC (1), 2009)

A Model Driven Development Platform for Service-Oriented Applications. - Zhiyi Ma; Xiao He 005; Lianghuan Kang (SERVICES II, 2009)

VisTML: A Visual Modeling Language for Model Transformation. - Xiao He 005; Zhiyi Ma; Yi Liu; Hongjie Chen 002; Weizhong Shao (APSEC, 2011)

Assessing the quality of metamodels. - Zhiyi Ma; Xiao He 005; Chao Liu (Frontiers Comput. Sci., 2013)

Detect and Analyze Flu Outlier Events via Social Network. - Quanquan Fu; Changjun Hu; Wenwen Xu; Xiao He 005; TieShan Zhang (APWeb Workshophs, 2014)

Randomized Model Generation for Performance Testing of Model Transformations. - Xiao He 005; Tian Zhang 001; Zhiyi Ma; Weizhong Shao (COMPSAC, 2014)

A bidirectional-transformation-based framework for software visualization and visual editing. - Xiao He 005; Changjun Hu; Zhiyi Ma; Weizhong Shao (Sci. China Inf. Sci., 2014)

Towards Model-Driven Variability-Based Flexible Service Compositions. - Xiao He 005; Yanmei Fu; Chang-Ai Sun; Zhiyi Ma; Weizhong Shao (COMPSAC, 2015)

Towards Parallel Model Generation for Random Performance Testing of Model-Oriented Operations. - Xiao He 005; Wenfeng Li; Tian Zhang 001; Yi Liu (TASE, 2016)

An MDE performance testing framework based on random model generation. - Xiao He 005; Tian Zhang 001; Changjun Hu; Zhiyi Ma; Weizhong Shao (J. Syst. Softw., 2016)

A transformation-based approach to testing concurrent programs using UML activity diagrams. - Chang-Ai Sun; Yan Zhao; Lin Pan; Xiao He 005; Dave Towey (Softw. Pract. Exp., 2016)

Towards Variability Management in Bidirectional Model Transformation. - Xiao He 005; Zhenjiang Hu; Yi Liu (COMPSAC (1), 2017)

Runtime Model Based Approach to Smart Home System Development. - Kaidong Wu; Xiao He 005; Xing Chen 002; Gang Huang 001 (CoRR, 2017)

An Efficient Retrograde Storage for Self-Destructing Messages on Frequently Colliding Hash Table. - Yan Zhu 010; Shuai Yang; Guohua Gan; Xiao He 005 (COMPSAC (1), 2018)

SPESC: A Specification Language for Smart Contracts. - Xiao He 005; Bohan Qin; Yan Zhu 010; Xing Chen 002; Yi Liu (COMPSAC (1), 2018)

An Approach to Modeling Microservice Solutions. - Zhiyi Ma; Jinyang Liu 003; Xiao He 005 (ICISA, 2018)

Analysis of the Evolution of the UML Metamodel. - Zhiyi Ma; Huihong He; Jinyang Liu 003; Xiao He 005 (MODELSWARD, 2018)

Putback-based bidirectional model transformations. - Xiao He 005; Zhenjiang Hu (ESEC/SIGSOFT FSE, 2018)

Testing bidirectional model transformation using metamorphic testing. - Xiao He 005; Xing Chen 002; Sibo Cai; Ying Zhang 012; Gang Huang 001 (Inf. Softw. Technol., 2018)

Toward Supporting Unplanned Dynamic Changes of Service-Based Business Processes. - Chang-Ai Sun; Zhen Wang; Zaixing Zhang; Pan Wang; Xiao He 005; Jun Han 004 (IEEE Access, 2019)

Template-based model generation. - Xiao He 005; Tian Zhang 001; Minxue Pan; Zhiyi Ma; Changjun Hu (Softw. Syst. Model., 2019)

Testing high performance numerical simulation programs: experience, lessons learned, and open issues. - Xiao He 005; Xingwei Wang 005; Jia Shi; Yi Liu (ISSTA, 2020)

Inferring and Applying Def-Use Like Configuration Couplings in Deployment Descriptors. - Chengyuan Wen; Yaxuan Zhang; Xiao He 005; Na Meng 001 (ASE, 2020)

MerGen: A Smart Code Merging Approach for Automatically Generated Code. - Xiao He 005; Letian Tang; Yi Liu (COMPSAC, 2022)

Accelerating similarity-based model matching using on-the-fly similarity preserving hashing. - Xiao He 005; Letian Tang; Yutong Li (MoDELS, 2022)

A theoretic framework of bidirectional transformation between systems and models. - Xiao He 005; Zhenjiang Hu; Na Meng 001 (Sci. China Inf. Sci., 2022)

Policy-driven Data Sharing over Attribute-Based Encryption supporting Dual Membership. - Hai Lu; Ruyun Yu; Yan Zhu 010; Xiao He 005; Kaitai Liang; William Cheng-Chung Chu (J. Syst. Softw., 2022)

Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects. - Xing Zhang; Guanchen Guo; Xiao He 005; Zhenjiang Hu (Proc. ACM Program. Lang., 2023)

Validity-Preserving Delta Debugging via Generator. - Luyao Ren; Xing Zhang; Ziyue Hua; Yanyan Jiang 001; Xiao He 005; Tao Xie 001 (CoRR, 2024)

BIT: A template-based approach to incremental and bidirectional model-to-text transformation. - Xiao He 005; Tao Zan (J. Syst. Softw., 2024)

Fusing Direct Manipulations into Functional Programs. - Xing Zhang; Ruifeng Xie; Guanchen Guo; Xiao He 005; Tao Zan; Zhenjiang Hu (Proc. ACM Program. Lang., 2024)

Validity-Preserving Delta Debugging via Generator Trace Reduction. - Luyao Ren; Xing Zhang; Ziyue Hua; Yanyan Jiang 001; Xiao He 005; Yingfei Xiong 001; Tao Xie 001 (ACM Trans. Softw. Eng. Methodol., 2025)

Accelerating similarity-based model matching using dual hashing. - Xiao He 005; Yi Liu; Huihong He (Softw. Syst. Model., 2025)