Xiaohong Chen

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 22

Top Topics

Logical Framework

Top Venues

Proc. ACM Program. Lang.

J. Log. Algebraic Methods Program.

Publications

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