Xiao He

Orcid: 0000-0002-3000-0795

Affiliations:
  • University of Science and Technology Beijing, School of Computer and Communication Engineering, China
  • Peking University, School of Electronics Engineering and Computer Science, Key Laboratory of High Confidence Software Technologies, Beijing, China


According to our database1, Xiao He authored at least 32 papers between 2007 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Fusing Direct Manipulations into Functional Programs.
Proc. ACM Program. Lang., January, 2024

BIT: A template-based approach to incremental and bidirectional model-to-text transformation.
J. Syst. Softw., 2024

Validity-Preserving Delta Debugging via Generator.
CoRR, 2024

2023
Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects.
Proc. ACM Program. Lang., April, 2023

2022
Policy-driven Data Sharing over Attribute-Based Encryption supporting Dual Membership.
J. Syst. Softw., 2022

A theoretic framework of bidirectional transformation between systems and models.
Sci. China Inf. Sci., 2022

Accelerating similarity-based model matching using on-the-fly similarity preserving hashing.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

MerGen: A Smart Code Merging Approach for Automatically Generated Code.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2020
Inferring and Applying Def-Use Like Configuration Couplings in Deployment Descriptors.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Testing high performance numerical simulation programs: experience, lessons learned, and open issues.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019
Template-based model generation.
Softw. Syst. Model., 2019

Toward Supporting Unplanned Dynamic Changes of Service-Based Business Processes.
IEEE Access, 2019

2018
Testing bidirectional model transformation using metamorphic testing.
Inf. Softw. Technol., 2018

Putback-based bidirectional model transformations.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Analysis of the Evolution of the UML Metamodel.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

An Approach to Modeling Microservice Solutions.
Proceedings of the Information Science and Applications 2018, 2018

SPESC: A Specification Language for Smart Contracts.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

An Efficient Retrograde Storage for Self-Destructing Messages on Frequently Colliding Hash Table.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017
Runtime Model Based Approach to Smart Home System Development.
CoRR, 2017

Towards Variability Management in Bidirectional Model Transformation.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
A transformation-based approach to testing concurrent programs using UML activity diagrams.
Softw. Pract. Exp., 2016

An MDE performance testing framework based on random model generation.
J. Syst. Softw., 2016

Towards Parallel Model Generation for Random Performance Testing of Model-Oriented Operations.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015
Towards Model-Driven Variability-Based Flexible Service Compositions.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
A bidirectional-transformation-based framework for software visualization and visual editing.
Sci. China Inf. Sci., 2014

Randomized Model Generation for Performance Testing of Model Transformations.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Detect and Analyze Flu Outlier Events via Social Network.
Proceedings of the Web Technologies and Applications, 2014

2013
Assessing the quality of metamodels.
Frontiers Comput. Sci., 2013

2011
VisTML: A Visual Modeling Language for Model Transformation.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2009
A Model Driven Development Platform for Service-Oriented Applications.
Proceedings of the 2009 IEEE World Congress on Services, Part II, 2009

On Model Transformation Reuse.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2007
A metamodel for the notation of graphical modeling languages.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007


  Loading...