He, Xiao,Zhu, Yan.SpeSC+: An End-User Readable Domain-Specific Language For Smart Legal Contracts.ACM Trans. Softw. Eng. Methodol (TOSEM),

He, Xiao,BIT: A template-based approach to incremental and bidirectional model-to-text transformation.Journal of Systems and Software,

Hexiao,Zhang, Yifan,Liu, Kai.Accelerating Similarity-Based Model Matching With Subtree Equivalence.Information and Software Technology,

Accelerating similarity-based model matching using dual hashing.Software & Systems Modeling,

Accelerating Similarity-Based Model Matching Using On-The-Fly Similarity Preserving Hashing.[C].ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems,

A Theoretic Framework of Bidirectional Transformation between Systems and Models.[J].SCIENCE CHINA Information Sciences,

Putback-Based Bidirectional Model Transformations.[C].26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'18),

Testing Bidirectional Model Transformation Using Metamorphic Testing.[J].Information and Software Technology,

Testing High Performance Numeric Simulation Programs: Experience, Lessons Learned, and Open Issues.[C].29th ACM SIGSOFT International Symposium on Software Testing and Analysis,