A Hybrid Model of Connectors in Cyber-Physical Systems. - Xiaohong Chen 002; Jun Sun 001; Meng Sun 002 (ICFEM, 2014)

Model-Driven Design of Object and Component Systems. - Zhiming Liu 001; Xiaohong Chen 002 (SETSS, 2014)

A Framework for Off-Line Conformance Testing of Timed Connectors. - Shaodong Li; Xiaohong Chen 002; Yiwu Wang; Meng Sun 002 (TASE, 2015)

Towards Concolic Testing for Hybrid Systems. - Pingfan Kong; Yi Li 010; Xiaohong Chen 002; Jun Sun 001; Meng Sun 002; Jingyi Wang 004 (FM, 2016)

Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems. - Esther Palomar; Xiaohong Chen 002; Zhiming Liu 001; Sabita Maharjan; Jonathan P. Bowen (Sensors, 2016)

Improving Probability Estimation Through Active Probabilistic Model Learning. - Jingyi Wang 004; Xiaohong Chen 002; Jun Sun 001; Shengchao Qin (ICFEM, 2017)

A Language-Independent Approach to Smart Contract Verification. - Xiaohong Chen 002; Daejun Park 001; Grigore Rosu (ISoLA (4), 2018)

A Language-Independent Program Verification Framework. - Xiaohong Chen 002; Grigore Rosu (ISoLA (2), 2018)

Automated Prototype Generation from Formal Requirements Model. - Yilong Yang 001; Xiaoshan Li; Zhiming Liu 001; Wei Ke 001; Quan Zu; Xiaohong Chen 002 (CoRR, 2018)

Matching mu-Logic: Foundation of K Framework (Invited Paper). - Xiaohong Chen 002; Grigore Rosu (CALCO, 2019)

Matching μ-Logic. - Xiaohong Chen 002; Grigore Rosu (LICS, 2019)

$ mathbb {K}$ - A Semantic Framework for Programming Languages and Formal Analysis. - Xiaohong Chen 002; Grigore Rosu (SETSS, 2019)

Matching logic: the foundation of the K framework (invited talk). - Grigore Rosu; Xiaohong Chen 002 (CPP, 2020)

Connecting Constrained Constructor Patterns and Matching Logic. - Xiaohong Chen 002; Dorel Lucanu; Grigore Rosu (WRLA@ETAPS, 2020)

Towards a unified proof framework for automated fixpoint reasoning using matching logic. - Xiaohong Chen 002; Minh-Thai Trinh; Nishant Rodrigues; Lucas Peña; Grigore Rosu (Proc. ACM Program. Lang., 2020)

A general approach to define binders using matching logic. - Xiaohong Chen 002; Grigore Rosu (Proc. ACM Program. Lang., 2020)

The K Vision for the Future of Programming Language Design and Analysis. - Xiaohong Chen 002; Grigore Rosu (Formal Methods in Outer Space, 2021)

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. - Xiaohong Chen 002; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu (CAV (2), 2021)

Matching logic explained. - Xiaohong Chen 002; Dorel Lucanu; Grigore Rosu (J. Log. Algebraic Methods Program., 2021)

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. - Xiaohong Chen 002; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu (Zenodo, 2021)

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. - Xiaohong Chen 002; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu (Zenodo, 2021)

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. - Xiaohong Chen 002; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu (Zenodo, 2021)

Towards a Unifying Logical Framework for Neural Networks. - Xiyue Zhang 001; Xiaohong Chen 002; Meng Sun 002 (ICTAC, 2022)

Mechanizing Matching Logic in Coq. - Péter Bereczky; Xiaohong Chen 002; Dániel Horpácsi; Tamás Bálint Mizsei; Lucas Peña; Jan Tusil (FROM, 2022)

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. - Zhengyao Lin; Xiaohong Chen 002; Minh-Thai Trinh; John Wang; Grigore Rosu (Zenodo, 2022)

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. - Zhengyao Lin; Xiaohong Chen 002; Minh-Thai Trinh; John Wang; Grigore Rosu (Zenodo, 2022)

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. - Zhengyao Lin; Xiaohong Chen 002; Minh-Thai Trinh; John Wang; Grigore Rosu (Zenodo, 2022)

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. - Zhengyao Lin; Xiaohong Chen 002; Minh-Thai Trinh; John Wang; Grigore Rosu (Zenodo, 2022)

Capturing constrained constructor patterns in matching logic. - Xiaohong Chen 002; Dorel Lucanu; Grigore Rosu (J. Log. Algebraic Methods Program., 2023)

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. - Zhengyao Lin; Xiaohong Chen 002; Minh-Thai Trinh; John Wang; Grigore Rosu (Proc. ACM Program. Lang., 2023)

A Logical Treatment of Finite Automata. - Nishant Rodrigues; Mircea Sebe; Xiaohong Chen 002; Grigore Rosu (TACAS (1), 2024)

FastSet: Parallel Claim Settlement. - Xiaohong Chen 002; Grigore Rosu (CoRR, 2025)