Xiaohong Chen - RankMe

28 papers A* 1B 4C 3Misc 1Journal 9Unranked 10

Year	Rank	Type	Title / 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