Xiaohong Chen

According to our database1, Xiaohong Chen authored at least 16 papers between 2014 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
A general approach to define binders using matching logic.
Proc. ACM Program. Lang., 2020

Towards a unified proof framework for automated fixpoint reasoning using matching logic.
Proc. ACM Program. Lang., 2020

Connecting Constrained Constructor Patterns and Matching Logic.
Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020

Matching logic: the foundation of the K framework (invited talk).
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019
$\mathbb {K}$ - A Semantic Framework for Programming Languages and Formal Analysis.
Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019

Matching μ-Logic.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Matching mu-Logic: Foundation of K Framework (Invited Paper).
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018
Automated Prototype Generation from Formal Requirements Model.
CoRR, 2018

A Language-Independent Program Verification Framework.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

A Language-Independent Approach to Smart Contract Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017
Improving Probability Estimation Through Active Probabilistic Model Learning.
Proceedings of the Formal Methods and Software Engineering, 2017

2016
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems.
Sensors, 2016

Towards Concolic Testing for Hybrid Systems.
Proceedings of the FM 2016: Formal Methods, 2016

2015
A Framework for Off-Line Conformance Testing of Timed Connectors.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

2014
Model-Driven Design of Object and Component Systems.
Proceedings of the Engineering Trustworthy Software Systems - First International School, 2014

A Hybrid Model of Connectors in Cyber-Physical Systems.
Proceedings of the Formal Methods and Software Engineering, 2014


  Loading...