Xiaohong Chen

28 papers A* 1B 4C 3Misc 1Journal 9Unranked 10
YearRankTypeTitle / Venue / Authors
2026 B conf
$\mathbb {K}$ Definitions as Matching Logic Theories, Formally.
FoSSaCS
Xiaohong Chen, Horatiu Cheval, Dorel Lucanu, Grigore Rosu
2026 — conf
Actors and Blockchains, Together.
Concurrent Programming, Open Systems and Formal Methods
Xiaohong Chen, Grigore Rosu
2025 J jnl
FastSet: Parallel Claim Settlement.
CoRR
Xiaohong Chen, Grigore Rosu
2024 — conf
A Logical Treatment of Finite Automata.
TACAS (1)
Nishant Rodrigues, Mircea Sebe, Xiaohong Chen, Grigore Rosu
2023 J jnl
Capturing constrained constructor patterns in matching logic.
J. Log. Algebraic Methods Program.
Xiaohong Chen, Dorel Lucanu, Grigore Rosu
2023 J jnl
Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier.
Proc. ACM Program. Lang.
Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, Grigore Rosu
2022 — conf
Mechanizing Matching Logic in Coq.
FROM
Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil
2022 C conf
Towards a Unifying Logical Framework for Neural Networks.
ICTAC
Xiyue Zhang, Xiaohong Chen, Meng Sun
2021 J jnl
Matching logic explained.
J. Log. Algebraic Methods Program.
Xiaohong Chen, Dorel Lucanu, Grigore Rosu
2021 — conf
The K Vision for the Future of Programming Language Design and Analysis.
Formal Methods in Outer Space
Xiaohong Chen, Grigore Rosu
2021 — conf
Towards a Trustworthy Semantics-Based Language Framework via Proof Generation.
CAV (2)
Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu
2020 J jnl
A general approach to define binders using matching logic.
Proc. ACM Program. Lang.
Xiaohong Chen, Grigore Rosu
2020 — conf
Connecting Constrained Constructor Patterns and Matching Logic.
WRLA
Xiaohong Chen, Dorel Lucanu, Grigore Rosu
2020 B conf
Matching logic: the foundation of the K framework (invited talk).
CPP
Grigore Rosu, Xiaohong Chen
2020 J jnl
Towards a unified proof framework for automated fixpoint reasoning using matching logic.
Proc. ACM Program. Lang.
Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu
2019 — conf
$\mathbb {K}$ - A Semantic Framework for Programming Languages and Formal Analysis.
SETSS
Xiaohong Chen, Grigore Rosu
2019 B conf
Matching mu-Logic: Foundation of K Framework (Invited Paper).
CALCO
Xiaohong Chen, Grigore Rosu
2019 A* conf
Matching μ-Logic.
LICS
Xiaohong Chen, Grigore Rosu
2018 — conf
A Language-Independent Approach to Smart Contract Verification.
ISoLA (4)
Xiaohong Chen, Daejun Park, Grigore Rosu
2018 — conf
A Language-Independent Program Verification Framework.
ISoLA (2)
Xiaohong Chen, Grigore Rosu
2018 J jnl
Automated Prototype Generation from Formal Requirements Model.
CoRR
Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen
2017 C conf
Improving Probability Estimation Through Active Probabilistic Model Learning.
ICFEM
Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin
2016 J jnl
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems.
Sensors
Esther Palomar, Xiaohong Chen, Zhiming Liu, Sabita Maharjan, Jonathan P. Bowen
2016 B conf
Towards Concolic Testing for Hybrid Systems.
FM
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
2016 J jnl
Towards Concolic Testing for Hybrid Systems.
CoRR
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
2015 Misc conf
A Framework for Off-Line Conformance Testing of Timed Connectors.
TASE
Shaodong Li, Xiaohong Chen, Yiwu Wang, Meng Sun
2014 C conf
A Hybrid Model of Connectors in Cyber-Physical Systems.
ICFEM
Xiaohong Chen, Jun Sun, Meng Sun
2014 — conf
Model-Driven Design of Object and Component Systems.
SETSS
Zhiming Liu, Xiaohong Chen