Xiaohong Chen

According to our database, Xiaohong Chen authored at least 31 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A Logical Treatment of Finite Automata.

Nishant Rodrigues, Mircea Sebe, Xiaohong Chen, Grigore Rosu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier.

Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, Grigore Rosu

Proc. ACM Program. Lang., April, 2023

Capturing constrained constructor patterns in matching logic.

Xiaohong Chen, Dorel Lucanu, Grigore Rosu

J. Log. Algebraic Methods Program., 2023

2022

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier.

Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, Grigore Rosu

Dataset, December, 2022

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier.

Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, Grigore Rosu

Dataset, December, 2022

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier.

Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, Grigore Rosu

Dataset, December, 2022

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier.

Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, Grigore Rosu

Dataset, December, 2022

Mechanizing Matching Logic in Coq.

Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil

Proceedings of the Sixth Working Formal Methods Symposium, 2022

Towards a Unifying Logical Framework for Neural Networks.

Xiyue Zhang, Xiaohong Chen, Meng Sun

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation.

Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu

Dataset, April, 2021

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation.

Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu

Dataset, April, 2021

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation.

Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu

Dataset, April, 2021

Matching logic explained.

Xiaohong Chen, Dorel Lucanu, Grigore Rosu

J. Log. Algebraic Methods Program., 2021

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation.

Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

The K Vision for the Future of Programming Language Design and Analysis.

Xiaohong Chen, Grigore Rosu

Proceedings of the Formal Methods in Outer Space, 2021

2020

A general approach to define binders using matching logic.

Xiaohong Chen, Grigore Rosu

Proc. ACM Program. Lang., 2020

Towards a unified proof framework for automated fixpoint reasoning using matching logic.

Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu

Proc. ACM Program. Lang., 2020

Connecting Constrained Constructor Patterns and Matching Logic.

Xiaohong Chen, Dorel Lucanu, Grigore Rosu

Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020

Matching logic: the foundation of the K framework (invited talk).

Grigore Rosu, Xiaohong Chen

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.

Xiaohong Chen, Grigore Rosu

Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019

Matching μ-Logic.

Xiaohong Chen, Grigore Rosu

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

Matching mu-Logic: Foundation of K Framework (Invited Paper).

Xiaohong Chen, Grigore Rosu

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018

Automated Prototype Generation from Formal Requirements Model.

Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen

CoRR, 2018

A Language-Independent Program Verification Framework.

Xiaohong Chen, Grigore Rosu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

A Language-Independent Approach to Smart Contract Verification.

Xiaohong Chen, Daejun Park, Grigore Rosu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

Improving Probability Estimation Through Active Probabilistic Model Learning.

Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin

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.

Esther Palomar, Xiaohong Chen, Zhiming Liu, Sabita Maharjan, Jonathan P. Bowen

Sensors, 2016

Towards Concolic Testing for Hybrid Systems.

Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang

Proceedings of the FM 2016: Formal Methods, 2016

2015

A Framework for Off-Line Conformance Testing of Timed Connectors.

Shaodong Li, Xiaohong Chen, Yiwu Wang, Meng Sun

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

2014

Model-Driven Design of Object and Component Systems.

Zhiming Liu, Xiaohong Chen

Proceedings of the Engineering Trustworthy Software Systems - First International School, 2014

A Hybrid Model of Connectors in Cyber-Physical Systems.

Xiaohong Chen, Jun Sun, Meng Sun

Proceedings of the Formal Methods and Software Engineering, 2014